Estado atual
e1
Demo pública: o simulador funciona sem login, mas progresso e métricas não são persistidos.
Defina máquina, linguagem e palavra com presets e atalhos de símbolo.
Ação principal automática com suporte de execução passo a passo.
e1
0/0
—
queued
Sem execução registrada.
Diagrama e matriz δ sincronizados com o passo atual.
| δ | a | b | c |
|---|---|---|---|
| e1 | — | — | — |
| e2 | — | — | — |
| e3 | — | — | — |
c é reconhecida por M₁?abc é reconhecida por M₁?ababc é reconhecida por M₁?Remoção de inalcançáveis + refinamento de partições.
queued
—
—
—
| Palavra | Original | Minimizado | Status |
|---|
Construção por subconjuntos com epsilon-fecho.
queued
—
—
| Palavra | AFN | AFD | Status |
|---|