PrintForm Definitions nfa 1 Sections AutomataTheory Doc

At: nd comp car wf 1 1
1. Alph: Type
2. St: Type
3. C: NComp(Alph;St)

2of(hd(C)) Alph*
By: Analyze 3
Generated subgoal:

13. C: StAlph* List
4. i:(||C||-1). ||2of(C[i])|| > 0
2of(hd(C)) Alph*

About:
memberlistuniverse