PrintForm Definitions det automata Sections AutomataTheory Doc

At: compute list wf

Alph,St:Type, A:Automata(Alph;St), l:Alph*. (Result(A)l) St
By: UnivCD
Generated subgoal:

11. Alph: Type
2. St: Type
3. A: Automata(Alph;St)
4. l: Alph*
(Result(A)l) St

About:
alluniverselistmember