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