Dibuja tu propia máquina de estado finito.
Esta aplicación implementa un algoritmo para reducir una máquina de estado finito.
Una máquina de estado finito (FSM) o autómata de estado finito (plural: autómata), o simplemente una máquina de estado, es un modelo matemático de cálculo utilizado 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 está en un solo estado a la vez; El estado en el que se encuentra en cualquier momento dado se llama estado actual. Puede cambiar de un estado a otro cuando se inicia por 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 de desencadenación para cada transición.
El comportamiento de las máquinas estatales se puede observar en muchos dispositivos en la sociedad moderna que realizan una secuencia predeterminada de acciones dependiendo de una secuencia de eventos con los que se presentan. Ejemplos simples son las máquinas expendedoras que dispensan productos cuando se deposita la combinación adecuada de monedas, los ascensores que dejan los pasajeros en los pisos superiores antes de bajar, los semáforos que cambian la secuencia cuando los automóviles están esperando, y los bloqueos combinados que requieren la entrada de números de combinación en el orden adecuado.
Las máquinas de estado finito pueden modelar una gran cantidad de problemas, entre los cuales se encuentran la automatización del diseño electrónico, el diseño del protocolo de comunicación, el análisis del lenguaje y otras aplicaciones de ingeniería. En la investigación de biología e inteligencia artificial, se han utilizado máquinas estatales o jerarquías de máquinas estatales para describir los sistemas neurológicos y en la lingüística, para describir las gramáticas de los idiomas naturales.