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