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