Non-deterministic finite automaton
Input Number =
Logic
0
1
> a
ab
a
b
c
ϕ
* c
ϕ
ϕ
0
1
> a
ab
a
ab
abc
a
* abc
abc
a