PrintForm
Definitions
myhill
nerode
Sections
AutomataTheory
Doc
At:
lang
rel
tran
A:Type, L:LangOver(A). Trans x,y:A*. x L-induced Equiv y
By:
UnivCD
Generated subgoal:
1
1.
A:
Type
2.
L:
LangOver(A)
Trans x,y:A*. x L-induced Equiv y
About: