Check equivalence of DFA here!
DFA 1:
a b c → * s₀ s₁ s₀ s₂ s₁ s₂ s₁ s₁ * s₂ s₂ s₂ s₂
DFA 2:
a b c → * x z x y * y y y y z y a a a y z a
Check!


Check equivalence of NFA here!
NFA 1:
a b c → s₀ {s₀} {s₁} {s₀ s₂} s₁ {} {s₃} {s₂} s₂ {} {s₁} {s₄} s₃ {s₄} {} {s₃} * s₄ {} {s₄} {}
NFA 2:
ε a b → s₀ {} {s₁} {s₀ s₂} s₁ {s₂} {s₄} {s₃} s₂ {} {s₁ s₄} {s₃} s₃ {s₅} {s₄ s₅} {} s₄ {s₃} {} {s₅} * s₅ {} {s₅} {s₅}
Check!


Convert NFA to DFA here!
NFA:
ε a b → s₀ {} {s₁} {s₀ s₂} s₁ {s₂} {s₄} {s₃} s₂ {} {s₁ s₄} {s₃} s₃ {s₅} {s₄ s₅} {} s₄ {s₃} {} {s₅} * s₅ {} {s₅} {s₅}
Convert!
Result:
Convert an NFA and the DFA will appear here

Minimize DFA here!
DFA:
a b c → * x z x y * y y y y z y a a a y z a
Minimize!
Result:
Minimize a DFA and the result will appear here

Convert Regex to NFA here!
NFA:
(ab)+c
Convert!
Result:
Convert a Regex and the result will appear here

Visualize NFA here!
NFA:
ε a b → s₀ {} {s₁} {s₀ s₂} s₁ {s₂} {s₄} {s₃} s₂ {} {s₁ s₄} {s₃} s₃ {s₅} {s₄ s₅} {} s₄ {s₃} {} {s₅} * s₅ {} {s₅} {s₅}
Visualize!