Desenhe sua própria máquina de estados finitos.
Este aplicativo implementa um algoritmo para reduzir uma máquina de estados finitos.
Uma máquina de estado finito (FSM) ou autômato de estado finito (plural: autômato), ou simplesmente uma máquina de estado, é um modelo matemático de computação usado para projetar programas de computador e circuitos lógicos sequenciais. É concebido como uma máquina abstrata que pode estar em um número finito de estados. A máquina está em apenas um estado por vez; o estado em que se encontra em um determinado momento é chamado de estado atual. Pode mudar de um estado para outro quando iniciado por um evento ou condição desencadeadora; isso é chamado de transição. Um FSM específico é definido por uma lista de seus estados e pela condição de disparo para cada transição.
O comportamento das máquinas de estado pode ser observado em muitos dispositivos da sociedade moderna que executam uma sequência predeterminada de ações dependendo de uma sequência de eventos com os quais são apresentados. Exemplos simples são máquinas de venda automática que distribuem produtos quando a combinação adequada de moedas é depositada, elevadores que deixam os passageiros nos andares superiores antes de descerem, semáforos que mudam de sequência quando os carros estão esperando e fechaduras de combinação que exigem a entrada de números de combinação na ordem correta.
Máquinas de estado finito podem modelar um grande número de problemas, entre os quais automação de projetos eletrônicos, projeto de protocolos de comunicação, análise de linguagem e outras aplicações de engenharia. Na investigação em biologia e inteligência artificial, máquinas de estado ou hierarquias de máquinas de estado têm sido utilizadas para descrever sistemas neurológicos e em linguística – para descrever as gramáticas das línguas naturais.
Leia mais
