PrintForm
Definitions
myhill
nerode
Sections
AutomataTheory
Doc
At:
mn
23
1
1.
n:
{1...}
2.
A:
Type
3.
L:
LangOver(A)
L
A*
Prop
By:
Unfold `languages` 3
Generated subgoals:
None
About:
L 
A*
Prop
