PrintForm
Definitions
automata
5
Sections
AutomataTheory
Doc
At:
quo
list
accept
1
1.
Alph:
Type
2.
St:
Type
3.
Auto:
Automata(Alph;St)
4.
EquivRel x,y:Alph*. x LangOf(Auto)-induced Equiv y
l:x,y:Alph*//(x LangOf(Auto)-induced Equiv y). Auto(l)
By:
Analyze 0
Generated subgoal:
1
5.
l:
x,y:Alph*//(x LangOf(Auto)-induced Equiv y)
Auto(l)
About:
Auto(l)
l:x,y:Alph*//(x LangOf(Auto)-induced Equiv y). Auto(l) Auto(l) 
