Non-deterministic finite automaton
w =
F =
Deterministic finite automaton
w =
F =
Non-deterministic Logic
0
1
> a
ab
a
b
c
ϕ
* c
ϕ
ϕ
Deterministic Logic
0
1
> D
E
D
E
F
D
* F
F
D