PrintForm
Definitions
exponent
Sections
AutomataTheory
Doc
At:
fun
enumer
1
1
2
1
2
1
1.
n:
b:
(n
0).
a:(
0
n). (
z.0)(a) = b
By:
Analyze 0
Generated subgoal:
1
2.
b:
(n
0)
a:(
0
n). (
z.0)(a) = b
About:
(n
0)
a:(0
n). (
z.0)(a) = b 
b:(n0). a:(0n). (z.0)(a) = b(n0) a:(0n). (z.0)(a) = b
