2. St: Type
3. Auto: Automata(Alph;St)
4. l: x,y:Alph*//((Result(Auto)x) = (Result(Auto)y))
(Result(Auto)l) 
St2. St: Type
3. Auto: Automata(Alph;St)
EquivRel x,y:Alph*. (Result(Auto)x) = (Result(Auto)y) 
Alph,St:Type, Auto:Automata(Alph;St), l:x,y:Alph*//((Result(Auto)x) = (Result(Auto)y)).
(Result(Auto)l) St| 1 | 1. Alph: Type 2. St: Type 3. Auto: Automata(Alph;St) 4. l: x,y:Alph*//((Result(Auto)x) = (Result(Auto)y)) (Result(Auto)l) St |
| 2 | 1. Alph: Type 2. St: Type 3. Auto: Automata(Alph;St) EquivRel x,y:Alph*. (Result(Auto)x) = (Result(Auto)y) |
About:
 |  |  |  |  |  |