Las máquinas de estado finito son modelos matemáticos que realizan cálculos automáticos sobre una entrada para producir una salida usando un número limitado de modos predefinidos y transiciones entre modos. Aunque más restrictivas que las máquinas de Turing, son útiles para especificar sistemas en tiempo real y coincidencias de patrones simples. Herramientas como el Finite State Machine Editor permiten dibujar diagramas de máquinas de estado finito y compilarlas en Python.
2. 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.
3. 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.
4. 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.
5. 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.
6. 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 Python
Contiene todo para poder crear una maquina de estado finito.