PrintForm Definitions det automata Sections AutomataTheory Doc

At: accept list qwf 1 1
1. Alph: Type
2. St: Type
3. Auto: Automata(Alph;St)
4. l: x,y:Alph*//((Result(Auto)x) = (Result(Auto)y))

FinalState(Auto)(Result(Auto)l)
By: Analyze
Generated subgoals:

1 FinalState(Auto) St
2 (Result(Auto)l) St

About:
memberboolapplyuniversequotientlistequalfunction