←
AutomataViz
MODE
DFA
NFA
ε-NFA
DPDA
NPDA
DTM
NTM
LBA
Mealy
Moore
Büchi
Timed
▶ Start
◀
▶|
⏩ Run
⏹
⚡ NFA→DFA
Ready
☰
Press enter or space to select a node. You can then use the arrow keys to move the node around. Press delete to remove it and escape to cancel.
Press enter or space to select an edge. You can then press delete to remove it or escape to cancel.
+ Add Node
🗑 Delete
↩ Undo
↪ Redo
▶
M = (Q, Σ, δ, q₀, F)
Description
Q
: {}
Σ
: {}
δ
:
q₀
: —
F
: {}
Transition Table
State