2. St: Type
3. Auto: Automata(Alph;St)
4. Fin(Alph)
5. Fin(St)
6. s: St
Dec(
w:Alph*. (Result(Auto)w) = s) 
Alph,St:Type, Auto:Automata(Alph;St).
Fin(Alph) 
Fin(St) (s:St. Dec(w:Alph*. (Result(Auto)w) = s))| 1 | 1. Alph: Type 2. St: Type 3. Auto: Automata(Alph;St) 4. Fin(Alph) 5. Fin(St) 6. s: St Dec(w:Alph*. (Result(Auto)w) = s) |
About:
 |  |  |  |  |  |