PrintForm
Definitions
action
sets
Sections
AutomataTheory
Doc
At:
n0n1
wf
n:
. n0n1(n)
*
By:
Analyze 0
Generated subgoal:
1
1.
n:
n0n1(n)
*
About:
n0n1(n) 
* 
n:. n0n1(n) * n0n1(n) *
