PrintForm
Definitions
nfa
1
Sections
AutomataTheory
Doc
At:
nd
comp
init
wf
1
2
2
1
1.
Alph:
Type
2.
St:
Type
3.
q:
St
4.
||[ < q,nil > ]||
5.
i:
(||[ < q,nil > ]||-1)
||2of([ < q,nil > ][i])|| > 0
By:
Analyze 5
Generated subgoal:
1
5.
i:
6.
0
i < ||[ < q,nil > ]||-1
||2of([ < q,nil > ][i])|| > 0
About:
i < ||[ < q,nil > ]||-1
||2of([ < q,nil > ][i])|| > 0
(||[ < q,nil > ]||-1) ||2of([ < q,nil > ][i])|| > 0 i < ||[ < q,nil > ]||-1 ||2of([ < q,nil > ][i])|| > 0
