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