: .
G(VT,VN,P,S), V = VNVT : γ γ, A,BVN, γVT*.
, G(VT,VN,P,S), V= VNVT : γ γ, ,VN, γVT*.
, . , , , ; , , , .
, : , . , , , .
. .
G(VT,VN,P,S), V = VNVT : ABt At, A,BVN, tVT.
G(VT,VN,P,S), V = VNVT : AtB At, A,BVN, tVT.
: , , . , .
, . , , , , ( ).
, S, S . S . , G, : L(G). , , . , , , S .
|
|
, . . , .
2.1.2.
G(VT,VN,P,S), G(VT,VN,P,S). , ( ).
:
1. VN G VN G.
2. G.
ABa1, ,VN, 1VT Aa1, AVN, a1VT, В G .
12n, n>1, A,BVN, n>i>0: aiVT, VN G A1, A2,..., An-1, В G :
n-1n
n-1n-2n-1
212
1B1
12n, n > 1, AVN, n > i > 0: aiVT, VN G A1, A2,..., An-1, В G :
n-1n
n-1n-2n-1
212
11
, В G .
3. В G. .
, В G. , , , , , , A,B,CVN, aVT ( , , - G, ). В.
, В G. , , A,BVN, aVT ( , , - G, ). В.
4. 3 В G, 3, 5.
|
|
5. S G S.
3 4 , ( ) ( -). . .