Dibuja tu propia máquina de estados finitos.
Esta aplicación implementa un algoritmo para reducir una máquina de estados finitos.
Una máquina de estados finitos (FSM) o un autómata de estados finitos (plural: autómatas), o simplemente una máquina de estados, es un modelo matemático de computación que se utiliza para diseñar programas de computadora y circuitos lógicos secuenciales. Se concibe como una máquina abstracta que puede estar en uno de un número finito de estados. La máquina se encuentra únicamente en un estado a la vez; el estado en el que se encuentra en un momento dado se llama estado actual. Puede cambiar de un estado a otro cuando lo inicia un evento o condición desencadenante; esto se llama transición. Un FSM particular se define mediante una lista de sus estados y la condición desencadenante de cada transición.
El comportamiento de las máquinas de estados se puede observar en muchos dispositivos de la sociedad moderna que realizan una secuencia predeterminada de acciones dependiendo de una secuencia de eventos que se les presentan. Ejemplos sencillos son las máquinas expendedoras que dispensan productos cuando se deposita la combinación adecuada de monedas, los ascensores que dejan a los usuarios en los pisos superiores antes de bajar, los semáforos que cambian de secuencia cuando los coches están esperando y las cerraduras de combinación que requieren la introducción de números de combinación en el orden adecuado.
Las máquinas de estados finitos pueden modelar una gran cantidad de problemas, entre los que se encuentran la automatización del diseño electrónico, el diseño de protocolos de comunicación, el análisis de lenguajes y otras aplicaciones de ingeniería. En la investigación en biología e inteligencia artificial, las máquinas de estados o jerarquías de máquinas de estados se han utilizado para describir sistemas neurológicos y en lingüística, para describir las gramáticas de los lenguajes naturales.
Leer más
