2. St: Type
3. Auto: Automata(Alph;St)
4. l: Alph*
(Result(Auto)l) = (Action(Auto):l
InitialState(Auto)) 
Alph,St:Type, Auto:Automata(Alph;St), l:Alph*.
(Result(Auto)l) = (Action(Auto):lInitialState(Auto))| 1 | 1. Alph: Type 2. St: Type 3. Auto: Automata(Alph;St) 4. l: Alph* (Result(Auto)l) = (Action(Auto):lInitialState(Auto)) |
About:
 |  |  |  |