PrintForm
Definitions
nfa
1
Sections
AutomataTheory
Doc
At:
nd
comp
length
wf
1
1.
Alph:
Type
2.
St:
Type
3.
C:
NComp(Alph;St)
||C||
By:
Analyze 3
THEN
Analyze 3
Generated subgoal:
1
3.
C:
(St
Alph*)*
4.
||C|| > 0
5.
i:
(||C||-1). ||2of(C[i])|| > 0
||C||
About:
Alph*)*
i:
(||C||-1). ||2of(C[i])|| > 0
||C|| 
||C|| Alph*)*i:(||C||-1). ||2of(C[i])|| > 0 ||C|| 
