2. St: Type
3. Auto: Automata(Alph;St)
4. x: Alph*
5. y: Alph*
6. z: Alph*
7. (Result(Auto)x) = (Result(Auto)y)
(Result(Auto)z @ x) = (Result(Auto)z @ y) 
Alph,St:Type, Auto:Automata(Alph;St), x,y,z:Alph*.
(Result(Auto)x) = (Result(Auto)y) 
(Result(Auto)z @ x) = (Result(Auto)z @ y)| 1 | 1. Alph: Type 2. St: Type 3. Auto: Automata(Alph;St) 4. x: Alph* 5. y: Alph* 6. z: Alph* 7. (Result(Auto)x) = (Result(Auto)y) (Result(Auto)z @ x) = (Result(Auto)z @ y) |
About:
 |  |  |  |  |