2. St: Type
3. Auto: Automata(Alph;St)
4. l: x,y:Alph*//((Result(Auto)x) = (Result(Auto)y))
Auto(l)
2. 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)).
Auto(l) | 1 | 1. Alph: Type 2. St: Type 3. Auto: Automata(Alph;St) 4. l: x,y:Alph*//((Result(Auto)x) = (Result(Auto)y)) Auto(l) |
| 2 | 1. Alph: Type 2. St: Type 3. Auto: Automata(Alph;St) EquivRel x,y:Alph*. (Result(Auto)x) = (Result(Auto)y) |
About:
 |  |  |  |  |  |  |