At: auto maction 1 2
1. Alph: Type
2. St: Type
3. Auto: Automata(Alph;St)
4. l: Alph*
5. u: Alph
6. v: Alph*
7. (Result(Auto)v) = (Action(Auto):v
InitialState(Auto))
Auto((Result(Auto)v),u) = Auto((Action(Auto):vInitialState(Auto)),u)
By: RWH (HypC 7) 0
Generated subgoals:None
About:
