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