PrintForm Definitions det automata Sections AutomataTheory Doc

At: compute list wf 1 2
1. Alph: Type
2. St: Type
3. A: Automata(Alph;St)
4. l: Alph*
5. u: Alph
6. v: Alph*
7. (Result(A)v) St

(Result(A)u.v) St
By: RecCaseSplit `compute_list`
Generated subgoals:

None

About:
memberconsuniverselist