- , -. -, α=a1a2...an, αVT*, |α| = n, - G(VT,VN,P,S). , n*n ( ), .
. - G(VT,VN,P,S) , : α, αVT*, n=|α|: = (n3) = (n2). .
, - (, , ). , -.
3.6.2.
G(VT,VN,P,S) α = 12an, αVT*, |α| = n n*n, , AVN: AT[i,j], , A+ai...ai+j-1. , n*n VN.
S*α ST[1,n].
n*n S*α.
G(VT,VN,P,S) . , , - , .
. , . n*n, , . , .
:
1.
|
|
j 1 n
T[1,j]:= { | j } [1, j] ,
G j.
j.
2.
i 2 n
j 1 ni+1
T[i,j]:=;
k 1 i1
T[i,j]:= T[i,j] {A | , BT[k,j], CT[ik,j+k]}
k
j
i
n*n. ST[1,n].
, . R. , , . : R(i,j,A), AVN.
1. j=1 i, .
2. ( j > 1) k , , BT[k,j], CT[ik,j+k] ( , k). m. m, R(i,k,B), R(ik,j+k,C).
R(1,n,S).
R , , . .
, R, G(VT,VN,P,S) α. , .