Ivn Ali Rodrguez Vsquez

Licenciatura en Informtica
Grupo: 908
Inteligencia Artificial

Ensayo de Maquinas de Estado Finito
Introduccin
En el siguiente ensayo hablaremos un poco de la historia de los autmatas finitos,
definiremos lo que son las mquinas de estado finito, as como tambin se mencionaran
las dos clasificaciones de estas. Las derivaciones de las mquinas de estado finito.

Desarrollo
Hablando un poco de la historia de los autmatas finitos, nos podemos remontar en el
siglo 20 donde se usaron implcitamente en las maquinas electromecnicas. En el ao de
1907 el matemtico ruso Andrei Markov formo un proceso llamado Cadena de Markov, el
cual consista en el principio de los autmatas finitos, es decir, que para entrar a un estado
este debe depender del anterior, as como tambin la palabra presente en la funcin de
transicin.
Durante 1943 surge una aproximacin de los autmatas finitos, que es el modelo
Neuronal de McCulloch-Pitts, al final de los 50s surge el concepto de autmata no
determinstico por parte de Michael O. Rabin y Dana Scott.
Las mquinas de estado finito o conocidas tambin como Autmatas Finitos nos sirven
para hacer procesos bien definidos en un lapso determinado de tiempo. Estos reciben una
entrada, realizan el proceso y entregan un resultado. Otra definicin de los autmatas
finitos podra ser un modelo computacional que realiza procesos de forma automtica
sobre una entrada para dar una salida.
Los autmatas finitos se pueden clasificar en dos tipos, los autmatas finitos
determinsticos (Determinista), el cual consiste en que un autmata reciba una cadena de
smbolos secuencialmente y cambie de estado por cada smbolo ledo o se detenga en el
mismo estado, el estado del autmata nos indica si la cadena es aceptada, si al final de
leer todos los smbolos de entrada la maquina est en un estado final, entonces la cadena
es aceptada, en caso contrario no.
Tambin se clasifican en autmatas finitos no determinsticos, estos autmatas no
cuentan con las virtudes de los autmatas determinsticos por lo tanto son una buena
herramienta al disear un autmata determinstico, por lo tanto por cada autmata no
determinstico existe un autmata determinstico que lo representa.
Una de las derivaciones de los autmatas finitos son las Maquinas de Estados Finitos
Transductoras que entregan un conjunto de smbolos que pertenecen al lenguaje. Y las
Maquinas de Estado Finitos Aceptadoras nos indicaran si un conjunto de smbolos
pertenecen a un lenguaje o no.

Conclusin
Un ejemplo prctico de un autmata finito es un Sistema de Control de un
Ascensor, como sabemos este sistema tendra 3 estados, Yendo Arriba, Yendo
Abajo y Detenido, el estado final del ascensor ser detenido, cuando alguna
persona est dentro del ascensor tendr que pulsar un botn para elegir el piso al
que ira, al seleccionar el piso ocurre la transicin para el cambio de estado, si el
piso nuevo (piso elegido) > piso actual, entonces el estado cambiara a yendo
arriba, una vez llegado al destino ocurrir otra transicin para cambiarse al estado
de Detenido, y viceversa.
Como se pudo observar anteriormente los autmatas finitos se ocupan desde en
sistemas pequeos o en sistemas muy complejos.