PrintForm
Definitions
languages
Sections
AutomataTheory
Doc
At:
languages
wf
Alph:Type{i}. LangOver(Alph)
Type{i'}
By:
Analyze 0
Generated subgoal:
1
1.
Alph:
Type{i}
LangOver(Alph)
Type{i'}
About:
LangOver(Alph) 
Type{i'} 
Alph:Type{i}. LangOver(Alph) Type{i'} LangOver(Alph) Type{i'}
