PrintForm Definitions automata 5 Sections AutomataTheory Doc

At: min auto sound 1

1. Alph: Type
2. St: Type
3. Auto: Automata(Alph;St)
4. l: Alph*

Auto(l) A(l.Auto(l))(l)

By:
RWH (AddrC [2;1] (UnfoldC `accept_list`)) 0
THEN
Reduce 0


Generated subgoal:

1 Auto(l) FinalState(Auto)(Result(Auto)Result(A(l.FinalState(Auto)(Result(Auto)l)))l)


About:
assertlambdauniverselistapply