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