PrintForm
Definitions
myhill
nerode
Sections
AutomataTheory
Doc
At:
nxn
plus
1
ge
0
1
1
1
1.
n:
0
n
n
By:
BackThru
Thm*
a,b:
. 0
a
b
Generated subgoals:
None
About:
0
n
n
a,b:. 0ab
