Deterministic and Nondeterminictic finite automaton
Logic
DFA
0
1
> A
B
A
B
C
A
* C
C
A
NFA
0
1
> a
b
a
b
bc
a
* c
ϕ
ϕ