:
|
-
- , (e - ), A e, e - . . , - -.
4.6. - S e, .
. , , , .
-, , . S - G. G X i, i , Zi. .
X0 = { A | $ A e }, Z0 = X0
X1 = { A | $ A x, xÎ X0 }, Z1 = X1\ X0
....................................................................
X i = { A | $ A x, xÎ X j }, Z i = X i\ X i-1
- Z i Æ . S Ï X j, , e Ï L(G) S e . , S S1, S G S e ½ S1.
A e . , , . k , , , 2k , ( ) .
B j 1 A 1 j 2 A 2 j 3 ... j k A k j k+1,
A i ( ) - . :
B j 1 j 2 A 2 j 3 ... j k A k j k+1, A 1
B j 1 A 1 j 2 j 3 ... j k A k j k+1, A 2
..................................
B j 1 A 1 j 2 A 2 j 3 ... j k j k+1, A k
B j 1 j 2 j 3 ... j k A k j k+1, A 1, A 2
..................................
B j 1 j 2 j 3 ... j k j k+1, A 1, A 2,... A k .
, , 2k . , A, B aAA B aAA ½ aA ½ a, A .
, , e - , , .
, , 4.1 4.3.
, , , . A e A, , , .
-, , , , . - (-).
4.5. - < >.
< > < > < .>. < .>
< > + ½ - ½ e
< .> < .> < > ½ e
< .> < .>
< > 0 ½ 1 ½...½ 8 ½ 9 .
, .
X0 = { < >, < .> },
X1 = { < .> },
X2 = Æ Z2 = Æ.
X - < > , ,
< > e .
, , e - .
< > < > < .>. < .> ½ < .>. < .> ½
< >. < .> ½ < > < .>. ½. < .> ½
< .>. ½ < >. ½.
< .> < .> < > ½ < >
< .> < .>
< > 0 ½ 1 ½...½ 8 ½ 9
. 4.2 +.9 (. 4.2 ()) (. 4.2 ()) .
. - A B, A, B Î N.
4.7. - .
. A B A ¹ S (A - ). C aAb C aBb, A B . A = S B B j 1 ½ ... ½ j n, S j 1 ½ ... ½ j n , S B .
4.1 - 4.3 A B. , .
, . , ( 1.1).
4.6. -
S aBa
B A ½ Bc
A aA ½ bb.
B A , 4.2,
S aBa
B aA ½ bb ½ Bc
A aA ½ bb
- G=(N, S, P, S) , A Þ + A AÎ N. - G , , .
e - , . , ( ) . , , , , , . -.
4.8. L - -, L=L(G) - G.
. -, L, 4.5 - 4.7.
|