:
: ( + , + )
: + +
:
, ( )
- , ( )
1 ,
:
-> ( ) -> (+) -> ( - , + + ) -> > ( , )
,
: ( ) -> + + + -> ( )
: (. + ) -> -> ( . )
: (. ) -> + + -> ( + . ) -> -> .
: ( ) -> -> ( ) -> -> ( ) ->
: -> -> ( )
(VT, VN, P, S),
VT ()
VN (, VT)
P (VN U VN)+ X (VT U VN)*; (a, b) a -> b;
S () , S VN
,
, G = (VT. VN, P, S), L(G) {a} VT: a S.
7.
G1 G2 , L(G1) = L(G2).
G1 G2 , , , .
|
|
0: 0 , . ( 1 )
1: ) : |a| <= |b|; a +, b *
b) a -> b: a = w1 A w2; b = w1 B w2; w1, w2 *
2: a) a -> b: a , b
b) : a -> b: a , b
3: a) : A -> tB || A -> t, A, B VN, t VT
b) : A -> Bt|| A -> t,
=
= ,
, = 0
=
=
. 1.
, + 1
= , - .
= 1, 1
1 = 0
: , . G = (VT, VN, P, S), :
S, VT, ( ), VN
A VN , , a1, , an, ai (VT U VN), A -> a1an P
A VN , , .
G , w L(G), .