PrintForm
Definitions
automata
6
Sections
AutomataTheory
Doc
At:
auto
oddeven
wf
n:
. OddEven#n
Automata(
n;
(2
n))
By:
Analyze 0
Generated subgoal:
1
1.
n:
OddEven#n
Automata(
n;
(2
n))
About:
OddEven#n 
Automata(n;(2
n)) 
n:. OddEven#n Automata(n;(2n)) OddEven#n Automata(n;(2n))
