LOGO

Proyecto IntegradorTemas Selectos de I.A

8va Entrega

Maquinas de estado finitos

Las máquinas de estado finitos son:

Modelos de comportamiento de un sistema o un objeto

complejo, con un número limitado de modos o condiciones

predefinidos, donde existen transiciones de modo.

Modelo matemático que realiza computos de forma

automática sobre una entrada para producir una salida.

Modelo que posee sintaxis y semántica formales y que sirve

para representar aspectos dinámicos que no se expresan en

otros diagramas.

Es una herramienta muy útil para especificar aspectos

relacionados con tiempo real, puede ser electrónico o

computacional o de otro tipo como circuitos, arquitecturas de

software, etc.

Las Máquinas de estados finitos, también llamados autómatas de estados finitos (singular: autómata) o sólo autómatas finitos, son mucho más restrictivas en sus capacidades que las máquinas de Turing.

No es posible para una máquina de estado finito determinar si la entrada se compone de un número primo de símbolos. Idiomas más simples, tales como las secuencias de cadenas de paréntesis equilibrados, tampoco se pueden reconocer por maquinas de estados finitos.

Sin embargo, aun existen las siguientes Aplicaciones: Las formas simples de coincidencia de patrones (con

precisión los patrones definibles por "expresiones regulares", como veremos).

Modelos de circuitos lógicos secuenciales, de la clase en la que todos los ordenadores de hoy en día y muchos controladores de dispositivo se basa.

Una relación íntima con grafos dirigidos que tienen arcos etiquetados con

símbolos del alfabeto de entrada.

Finite State Machine Editor

Es una herramienta en la que puedes dibujar diagramas de las maquinas de estado finito, y luego compilarlas en el modulo de pyhton. El modulo puede ser usado para construir y describir autómatas de estados finitos con graficas DOT.

Tutorial :http://fsme.sourceforge.net/doc/tutorial.html

FSA - Finite State Automation in PythonContiene todo para poder crear una maquina de estado finito.