Ensayo de aplicaciones de

autmatas finitos

Cuando un Ingeniero en Sistemas escucha hablar sobre un autmata finito
automticamente lo relaciona con un compilador, especficamente el analizador lxico
sin embargo existen diversas reas de aplicacin muchas de las cuales no forman parte
de las reas de la computacin, en este breve documento ser posible apreciar algunas
de las aplicaciones tanto de las rea de la computacin como de otras ms.
Hopcroft (1993) nos hace mencin de algunas aplicaciones analizadores lxicos y
tambin la sustitucin de cadenas de los editores de texto.
Sobre analizadores lxicos nos dice Un cierto nmero de generadores de analizadores
de lxico toman como entrada una secuencia de expresiones regulares que describen
a los tokens y producen un solo autmata finito que reconoce a cualquier token. Nos
dice tambin que se genera primeramente un AFN con sus respectivas transiciones
para en seguida pasar a un AFD.
Sobre los Editores de texto nos da por ejemplo el Editor de texto UNIX en su funcin de
sustitucin de cadenas, nos poner por ejemplo:
s/*b*b*b*/*b/
EL cual sustituira por un solo espacio en blanco la primera cadena de dos o ms
espacios en blanco de una lnea dada.
Es importante tener en cuenta lo que Brookshear (2000) nos dice El concepto de
autmata finito determinista no se restringe al ambiente de computadores
tradicional: estos autmatas estn en todas partes Nos pone por ejemplo una
maquina vendedora que entrega a una persona un caramelo despus de recibir un
total de 30 centavos en monedas de 5,10 y 25 centavos. En donde el alfabeto del
autmata consiste en tres tamaos de monedas distintos un estado de la maquina es
la cantidad de total de dinero que ha recibido desde que se entreg el ultimo
caramelo, el estado inicial es no haber recibido ningn caramelo un estado de
aceptacin es recibir al menos 30 centavos.
Siguiendo de lado los ejemplos fuera del rea de la computacin el ingeniero Rentera
Ayquipa nos da como ejemplo una embotelladora automtica de gaseosas,
especficamente su funcionamiento, es decir que secuencia de operaciones realiza.
Tambin plantea como ejemplo el estado civil de una persona que puede ser: soltera,
casada, viuda, divorciada, etc.
Del cual nos da la siguiente explicacin De uno de estos estados se puede pasar a
otro al ocurrir un evento o accin, que es el segundo concepto bsico de la
modelacin discreta. As, por ejemplo, del estado soltero se puede pasar al estado
casado al ocurrir el evento boda. Similarmente, se puede pasar de casado a
divorciado mediante el evento divorcio. En estos modelos se supone que se
permanece en los estados un cierto tiempo, pero por el contrario, los eventos son
instantneos. Esto puede ser ms o menos realista, dependiendo de la situacin que
se est modelando. Por ejemplo, en el medio rural hay bodas que duran una semana,
pero desde el punto de vista de la duracin de una vida humana, este tiempo puede
considerarse despreciable. En el caso del evento divorcio, pudiera ser inadecuado
considerarlo como instantneo, pues hay divorcios que duran aos. En este caso, el
modelo puede refinarse definiendo un nuevo estado divorcindose, al que se llega
desde casado mediante el evento inicio divorcio.

Otra aplicacin de los autmatas finitos se encuentra en los semforos en los cuales de
un estado puede pasar a otro, los elevadores que son capaces de memorizar las
diferentes llamadas a cada piso y optimizar los descensos y ascensos. Tambin cabe
mencionar en el entretenimiento, en videojuegos los BOTS que son capaces de
realizar diversas acciones dentro del juego como si fuesen un jugador ms. Una de las
aplicaciones ms populares dentro de los juegos es el juego de la vida El
planteamiento es tan simple que se puede jugar con lpiz y papel algo que de
hecho es ms que recomendable al principio. Las celdas viven o mueren segn las
reglas de tan peculiar universo bidimensional, creando con el paso del tiempo una
especie de pelcula animada en la que ciertas estructuras crecen, otras desaparecen y
otras evolucionan durante miles de generaciones sin que se sepa muy bien qu va a
suceder.(Alvy 2013)
Los autmatas tambin son utilizados para la validacin de protocolos de
comunicacin, o tambin protocolos de procesamiento de informacin.

Con los ejemplos anteriores podemos darnos cuenta que los autmatas tienen
diversas reas de aplicacin, y que algunas de ellas son tareas cotidianas con las que
interactuamos frecuentemente. Como su nombre lo dice los autmatas se encuentran
en diversos sistemas automatizados, por lo cual no sera extrao que cada vez sea ms
comn percatarse de nuevas reas de aplicacin para ellos.










Referencias
Alvy. (05 de Noviembre de 2013). Microsiervos. Obtenido de el dia 10 de marzo del 2014
http://www.microsiervos.com/archivo/ordenadores/juego-de-la-vida-epico.html
Brokshear, J. (1993). Teoria de la Computacion. Mexico: Ediciones Addison-Wesley
Iberoamericana.
Hopcroft, J. (1993). Introduccin a la Teora de Autmatas y lenguajes de Computacin.
Mexico: Editorial Continental.
Lahoz, R. (2004). Bioinformtica: Simulacin, vida artificial e inteligencia artificial. MADRID:
Diaz de Santos.
Manazano, G. (s.f.). Facultad de Contadura y Administracin. Obtenido de Facultad de
Contadura y Administracin el dia 10 de marzo del 2014:
http://fcasua.contad.unam.mx/apuntes/interiores/docs/2005/informatica/1/1164.pdf
Rentera, R. (s.f.). TEORA DE COMPILADORES. UNIVERSIDAD TECNOLGICA DE LOS ANDES.
VENEZUELA, U. d. (s.f.). RedULA Web del Profesor. Obtenido de RedULA Web del Profesor el
dia 10 de marzo del 2014:
http://webdelprofesor.ula.ve/ingenieria/hyelitza/materias/preteoria/apuntes/Unidad
1-tema2-Automatasconsalida-Aplicaciones.pdf