|
| also means OR
W[0] is the initial case...
So you have to accept: any number in the 0-1 range, or a number divisible by 3 but only if its the initial number...
so:
Init: Nmod3 -> Acceptor
.......0<N<1 -> Acceptor
......else -> fail and no other states
Transitions: 0<N<1 -> Acceptor
N<0|N>1 -> Fail and no other state
Something like that?
|