G(VT,VN,P,S) AVN , : {α | A*α, αVT*} = , , .
, , , . , .
. Yi. , , G.
1. Y0=, i:=1.
2. Yi= { | (α), α(Yi-1VT)*} Yi-1.
3. YiYi-1, i:= i+1 2, 4.
4. VN = Yi, VT = VT, P , (VTYi), S = S.
3.3.5. -
- ( ) , AVN.
G(VT,VN,P,S) -, (), AS (S)P, , L(G), S .
L(G), G -. - -. Wi.
-
1. W0={A:(A)P}, i:=l.
2. Wi=Wi-1 {A: (Aα)P, Wi-1*}.
3. WiWi-1, i:= i+1 2, 4.
4. VN = VN, VT = VT, P , .
5. (α) α Wi, α {α} α Wi, α В.
6. SWi, L(G), VN S, G, В : S|S; S = S.
, .
|
|
( ) G(VT,VN,P,S) *, AVN. , . - .
, - , A,BVN. , .
- G(VT,VN,P,S), XVN Nx, . VN.
1. VN 14, 5.
2. NX0={X}, i:=1.
3. NXi= NXi-1{: (AB)P, NXi-1}.
4. NXi NXi-1, i:=i+1 2, NX= NXi{x} 1.
5. VN = VN, VT = VT, В , , S=S.
6. (α)В, BN, BA, В α.
, -, , .