check if array numbers binary representation included in (1|0)*00 language
Array length =
NFA Non-deterministic finite automation
0
1
> a
ab
a
b
c
ϕ
* c
ϕ
ϕ
DFA deterministic finite automation
0
1
> a
ab
a
ab
abc
a
* abc
abc
a