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:
1
3.
C:
St
Alph* List
4.
i:
(||C||-1). ||2of(C[i])|| > 0
2of(hd(C))
Alph*
About: