PrintForm Definitions nfa 1 Sections AutomataTheory Doc

At: nd compute list wf 1 2 1 1 1 1
1. Alph: Type
2. St: Type
3. NDA: NDA(Alph;St)
4. l: Alph*
5. u: Alph
6. v: Alph*
7. q:St. NDA(v)q Prop
8. q: St
9. t: St

NDA(v)t Prop
By: Witness7 t
Generated subgoals:

None

About:
memberpropuniverselistall