Máquina de estados
Uma transição por linha, ex.: q0,0,q0 ou q0 -0-> q0 ou q0 0 -> q1. Um NFA pode ter vários destinos, escritos {q1,q2} ou q1|q2; epsilon pode ser e, eps, epsilon, ε ou @.
Tipo de máquina:
Formato de entrada:
Estado inicial:
Estados de aceitação:
Cadeia de teste:
Cadeias para testar:
Alfabeto:
Comprimento máx.:
Rastreio:
Tabela de transições:
:
Separador:
Resultado do cálculo
Baixar CSV
| Nº | Resultado | Estado | Detalhes |
|---|
Apresentação da ferramenta e como usá-la
Simulador de autômato finito: cole uma tabela de transição e simule AFD e AFN, com resultado em tabela e em texto pronto para copiar ou exportar em CSV. Aceita três formatos de linha, símbolos vazios como eps e vários destinos por transição, e ainda aponta estados inalcançáveis e falhas de determinismo.
Como usar
- Cole as transições linha por linha na caixa de entrada.
- Escolha o tipo de autômato e o formato de entrada e informe estado inicial, finais e a cadeia de teste.
- Clique em Executar.
- Confira a tabela de transições, o passo a passo e o resultado do teste; copie ou exporte.
Mural de recados
Todas as mensagens →-
Ninguém falou nada ainda — quer começar?