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