PrintForm Definitions det automata Sections AutomataTheory Doc

At: compute list wf 1 1 2 1
1. Alph: Type
2. St: Type
3. A: Automata(Alph;St)
4. l: Alph*
5. True

A((Result(A)nil),"?") St
By: Analyze 5
Generated subgoals:

None

About:
memberapplyniltokenuniverselisttrue