2. St: Type
3. Auto: Automata(Alph;St)
A(
l.Auto(l)
) 
Automata(Alph;x,y:Alph*//(x LangOf(Auto)-induced Equiv y)) 
Alph,St:Type, Auto:Automata(Alph;St).
MinAuto(Auto) Automata(Alph;x,y:Alph*//(x LangOf(Auto)-induced Equiv y))| 1 | 1. Alph: Type 2. St: Type 3. Auto: Automata(Alph;St) A(l.Auto(l)) Automata(Alph;x,y:Alph*//(x LangOf(Auto)-induced Equiv y)) |
About:
 |  |  |  |  |  |