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