PrintForm
Definitions
myhill
nerode
Sections
AutomataTheory
Doc
At:
nxn
plus
1
ge
0
1
1.
n:
n
n+1
By:
Analyze
Generated subgoal:
1
0
n
n+1
About:
n
n+1 
n
