Thm* n:. OddEven#n Automata(n;(2n)) auto_oddeven_wf
In prior sections: det automata myhill nerode automata 4 automata 5
n:
. OddEven#n 
Automata(n;(2
n)) auto_oddeven_wf
AlphStates)
States(States
)
n:. OddEven#n Automata(n;(2n)) auto_oddeven_wf