Non-deterministic finite automaton
w =
F =
NFA
0
1
> a
ab
a
b
c
ϕ
* c
ϕ
ϕ
DFA
0
1
> q
p
q
p
s
q
* s
s
q