2. St: Type
3. Auto: Automata(Alph;St)
4. c: St
Alph*5. (
q:St. (Result(Auto)c(q)) = q) & Fin(Alph) & Fin(St)
Surj(St; x,y:Alph*//(x LangOf(Auto)-induced Equiv y); c) Alph,St:Type, Auto:Automata(Alph;St), c:(StAlph*).
(q:St. (Result(Auto)c(q)) = q) & Fin(Alph) & Fin(St) 
Surj(St; x,y:Alph*//(x LangOf(Auto)-induced Equiv y); c)| 1 | 1. Alph: Type 2. St: Type 3. Auto: Automata(Alph;St) 4. c: St Alph*5. ( q:St. (Result(Auto)c(q)) = q) & Fin(Alph) & Fin(St) Surj(St; x,y:Alph*//(x LangOf(Auto)-induced Equiv y); c) |
About:
 |  |  |  |  |
 |  |  |  |