Simulador de máquina de estados finitos (FSM) online

O que pode fazer com este simulador

Este simulador processa uma cadeia de entrada de acordo com uma tabela de transições determinística. Não possui estados de aceitação, transições épsilon, ramificações não determinísticas, conversão para expressões regulares, minimização ou diagramas. A simulação é feita inteiramente no navegador.

Exemplo concreto

Considere as regras:

q0,0,q0
q0,1,q1
q1,0,q0
q1,1,q1

Com estado inicial q0 e entrada 1011, o caminho percorrido é:

q0 -> q1 -> q0 -> q1 -> q1

O estado final é q1.

Limitações e validação

• O número de regras deve estar entre 1 e 200.
• Os nomes dos estados não podem ser vazios e têm no máximo 50 caracteres.
• Cada símbolo de entrada é exatamente um ponto de código Unicode.
• Não pode haver duas regras com o mesmo par estado-símbolo; duplicados são rejeitados.
• A cadeia de entrada é limitada a 10000 unidades de código UTF-16.
• As vírgulas são estruturais e não podem aparecer em nomes de estados ou símbolos.

Perguntas frequentes

O que acontece se faltar uma transição?

Se não existir uma regra para o par estado-símbolo atual, a simulação para e é apresentado um erro indicando o caractere onde ocorreu.

Como são tratados caracteres fora do plano básico Unicode?

Cada símbolo de entrada é um ponto de código Unicode. Se usar caracteres fora do BMP (por exemplo, U+1F600), deve escrevê-los diretamente no campo de entrada; o simulador processa cada ponto de código como um símbolo.

Posso usar espaços ou outros separadores?

Não. As regras devem usar exatamente vírgulas como separadores. Não são permitidos espaços ou outros delimitadores.