GitHub
w =
F =
Non-deterministic finite automaton
NFA
0
1
> A
AB
A
B
C
ϕ
* C
ϕ
ϕ
DFA
0
1
> A
B
A
B
C
A
* C
C
A