MAQUINAS DE ESTADO FINITO

ANDREA ZAPATA ROJAS DANIEL FERNANDO NOY DAIRO RIVERA ISRAEL ORLANDO RODRIGUEZ

CORPORACION UNIVERSITARIA REMINGTON INGENERIA DE SISTEMAS

CONCEPTO
modelos de comportamiento de un sistema o un objeto complejo, con un nmero limitado de modos o condiciones predefinidos, donde existen transiciones de modo. modelo matemtico que realiza computos de forma automtica sobre una entrada para producir una salida.

 Modelo que posee sintaxis y semntica formales y que sirve para

representar aspectos dinmicos que no se expresan en otros diagramas.

una herramienta muy til para especificar aspectos relacionados con

tiempo real, puede ser electrnico o computacional o de otro tipo como circuitos, arquitecturas de software, etc.

PORQUE ESTA CONFORMADA? Este modelo est conformado por un alfabeto, un conjunto de estados y un conjunto de transiciones entre dichos estados. Su funcionamiento se basa en una funcin de transicin, que recibe a partir de un estado inicial una cadena de caracteres pertenecientes al alfabeto (la entrada), y que va leyendo dicha cadena a medida que el autmata se desplaza de un estado a otro, para finalmente detenerse en un estado final o de aceptacin, que representa la salida. CUAL ES SU FINALIDAD?

La finalidad de los autmatas finitos es la de reconocer lenguajes regulares, que corresponden a los lenguajes formales ms simples segn la Jerarqua de Chomsky.

DEFINICION FORMAL

Las mquinas de estado finito se descirben como:

M = (S,, A , sk)
S = {s1, s2, .,sm } es un conjunto finito de nodos es un alfabeto infinito de etiquetas A es un conjunto de aristas etiquetadas que unen los

nodos sk es el estado inicial

CLASES DE AUTMATAS FINITO

AUTMATA FINITO DETERMINISTA:

(abreviado AFD) es un autmata finito que adems es un sistema determinista; es decir, para cada estado q Q en que se encuentre el autmata, y con cualquier smbolo a del alfabeto ledo, existe siempre a lo ms una transicin posible (q,a). En un AFD no pueden darse ninguno de estos dos casos: Que existan dos transiciones del tipo (q,a)=q1 y (q,a)=q2, siendo q1 q2; Que existan transiciones del tipo (q,), salvo que q sea un estado final, sin transiciones hacia otros estados. Un ejemplo interesante de autmatas finitos deterministas son los tries.

AUTMATA FINITO DETERMINISTA:

Un autmata finito no determinista (abreviado AFND) es aquel que, a diferencia de los autmatas finitos deterministas, posee al menos un estado q Q, tal que para un smbolo a del alfabeto, existe ms de una transicin (q,a) posible. Haciendo la analoga con los AFDs, en un AFND puede darse cualquiera de estos dos casos: Que existan transiciones del tipo (q,a)=q1 y (q,a)=q2, siendo q1 q2; Que existan transiciones del tipo (q,), siendo q un estado no-final, o bien un estado final pero con transiciones hacia otros estados.

EQUIVALENCIAS ENTRE AUTOMATAS FINITOS

Se dice que dos autmatas finitos son equivalentes, si ambos reconocen el mismo lenguaje regular. Toda expresin regular (que define a su vez un lenguaje regular) puede ser expresada como un autmata finito determinista,[8] y viceversa.[9] Dada una expresin regular, es posible construir un AFND- que reconozca dicho lenguaje, por ejemplo mediante el algoritmo de Thompson. Luego, todo AFND- puede transformarse en un AFND equivalente, as como todo AFND puede transformarse en un AFD equivalente, mediante el mtodo llamado construccin de conjunto potencia. As, por transitividad, para cualquier autmata finito no determinista siempre existe un autmata finito determinista equivalente, y viceversa. Normalmente en el diseo de autmatas finitos, lo primero que se hace es construir un AFND-, que es el ms sencillo de construir, por poseer menos restricciones en su funcin de transiciones. Luego dicho autmata se reduce a un AFND, y finalmente a un AFD, el cual por sus caractersticas deterministas ya puede ser implementado sin problemas utilizando un lenguaje de programacin.

VENTAJAS DE UNA FSM

Su simplicidad hace fcil para los desarrolladores sin experiencia realizar la implementacin con poco o nada de conocimiento extra (fcil entrada) Predictibilidad (en FSM deterministas), dado un grupo de entradas y un estado actual conocido, puede predecirse la transicin de estados, facilitando la tarea de verificacin Dada su simplicidad, los FSM son rpidos de disear, rpidos e implementar y rpidos de ejecutar FSM en una tcnica antigua de representacin de conocimiento y modelado de sistemas, y ha sido usados desde hace tiempo, como tal ha sido verificado como una tcnica de inteligencia artificial, con muchos ejemplos de los que aprender Las FSM son relativamente flexibles. Existen varias maneras de implementar un sistema basado en FSM en trminos de su topologa, y es fcil incorporar muchas otras tcnicas. La transferencia desde una representacin abstracta del conocimiento a una implementacin es fcil Bajo uso del procesador; apropiado para dominios donde el tiempo de ejecucin est compartido entra varios mdulos o subsistemas. Solo el cdigo del estado actual ha de ser ejecutado, adems de un poco de lgica para determinar el estado actual. Es fcil determinar si se puede llegar o no a un estado, en las representaciones abstractas, resulta obvio si se puede o no llegar a un estado desde otro, y que requerimientos existen para hacerlo.

DESVENTAJAS DE UNA FSM

La naturaleza predecible de las FSM deterministas puede no resultar conveniente en algunos dominios como los juegos por ordenador (la solucin pasa por implementar una FSM no determinista) Si se implementa un sistema grande usando FSMs puede ser difcil de administrar y mantener sin un buen diseo. Las transiciones entre estados pueden causar cierto grado de "factor espagetti" al intentar seguir una linea de ejecucin. No es apropiado para todos los dominios de problema, solo debe ser usado cuando el comportamiento de un sistema puede ser descompuesto en estados separados con condiciones bien definidas para las transiciones. Esto significa que todos los estados, transiciones y condiciones deben ser conocidos y estar bien definidos. Las condiciones para las transiciones entre estados son rgidas, significando que estn fijadas (puede superarse usando una FuSM)

CONCLUSIONES
Empezamos con una definicin de mquina de estados finitos, aprendiendo que puede ser usada como tcnica de control en un sistema, describiendo los estados o comportamientos de ese sistema, y definiendo reglas o condiciones que gobiernan transiciones del estado actual del sistema a otro estado. La seccin uno muestra que una mquina de estados finitos es considerada determinista lo que significa que sus acciones son predecibles. Algunas extensiones de las mquinas de estados finitos como la seleccin aleatoria de transiciones, y mquinas de estados difusas nos muestran otro tipo comn de FSM llamado no determinista donde las acciones del sistema no son predecibles, dando una mejor apariencia de inteligencia.