(2
n)3. a:
n
0
((s+(2a)) rem (2n))(2n)3. a:
n ((s+(2a)) rem (2n)) < (2n) 0 < (2n)
OddEven#n 
Automata(n;(2n))| 1 | 2. s: (2n) 3. a: n 0((s+(2a)) rem (2n)) |
| 2 | 2. s: (2n) 3. a: n ((s+(2a)) rem (2n)) < (2n) |
| 3 | 0 < (2n) |
About:
 |  |  |  |  |