Ensayo de Automatas Finitos

 

Iván Ali Rodríguez Vásquez Licenciatura en Informática Informática Grupo: 908

Inteligencia Artificial

Ensayo de Maquinas de Estado Finito Introducción En el siguiente ensayo hablaremos un poco de la historia de los autómatas finitos, definiremos lo que son las máquinas de estado finito, así como también se mencionaran las dos clasificaciones de estas. Las derivaciones de las máq máquinas uinas de estado finito.

Desarrollo Hablando un poco de la historia de los autómatas finitos, nos podemos remontar en el siglo 20 donde se usaron implícitamente en las maquinas electromecánicas. En el año de 1907 el matemático ruso Andrei Markov formo un proceso llamado Cadena de Markov, el cual consistía en el principio de los l os autómatas finitos, es decir, que para entrar a un estado este debe depender del anterior, así como también la palabra presente en la función de transición. Durante 1943 surge una aproximación de los autómatas finitos, que es el modelo Neuronal de McCulloch-Pitts, al final de los 50’s surge  el concepto de autómata no determinístico por parte de Michael O. Rabin y Dana Scott. Las máquinas de estado finito o conocidas también como Autómatas Finitos nos sirven para hacer procesos bien definidos en un lapso determinado de tiempo. Estos reciben una u na entrada, realizan el proceso y entregan un resultado. Otra definición de los autómatas

 

finitos podría ser un modelo computacional que realiza procesos de forma automática sobre una entrada para dar una salida. Los autómatas finitos se pueden clasificar en dos tipos, los autómatas finitos determinísticos (Determinista), el cual consiste en que un autómata reciba una cadena de símbolos secuencialmente y cambie de estado por cada símbolo leído o se detenga en el mismo estado, el estado del autómata nos indica si la cadena es aceptada, si al final de leer todos los símbolos de entrada la maquina está en un estado final, entonces la cadena es aceptada, en caso contrario no. También se clasifican en autómatas finitos no determinísticos, estos autómatas no cuentan con las virtudes de los autómatas determinísticos por lo tanto son una buena herramienta al diseñar un autómata determinístico, por lo tanto por cada autómata no determinístico existe un autómata determinístico que lo representa. Una de las derivaciones de los autómatas finitos son las Maquinas de Estados Finitos Transductoras que entregan un conjunto de símbolos que pertenecen al lenguaje. Y las Maquinas de Estado Finitos Aceptadoras nos indicaran si un conjunto de símbolos pertenecen a un lenguaje o no.

Conclusión   Un ejemplo práctico de un autómata finito es un Sistema de Control de un



Ascensor, como sabemos este sistema tendría 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 botón para elegir el piso al que ira, al seleccionar el piso ocurre la transición 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 transición para cambiarse al estado de Detenido, y viceversa.

 

  Como se pudo observar anteriormente los autómatas finitos se ocupan desde en



sistemas pequeños o en sistemas muy complejos.