, . L (G) G, S .
a = a1 a2 a3... an. (8.1)
, , . , , , , , , , , . 8.1.
8.1
:
;
;
;
.
:
;
.
, .
, , . , () ().
, . , . , , , , . . . , , , . . . , , . , .
. G:
G8 = ({ S }, { a, +, *}, P, S), (8.2)
P :
1. S (r) a
2. S (r) S + S
3. S (r) S * S
, , a, + *. . , a + a * a + a :
|
|
1. S Þ S+S Þ a+S Þ a+S*S Þ a+ a*S Þ a+a*S+S Þ
a+a*a+S Þ a+a*a+a (8.3)
2. S Þ S+S Þ S+a Þ S*S+a Þ S*a+a Þ S+S*a+a Þ
S+a*a+a Þ a+a*a+a (8.4)
3. S Þ S*S Þ S+S*S Þ S+S*S+S Þ a+ S*S+S Þ
a+a*S+S Þ a+a*S+a Þ a+a*a+a (8.5)
. , . , . 8.2, 8.3 8.4. , .
8.2
8.2 ()
8.3
8.4
, , , , . . , , . , , , .
. , , , . 8.5, 8.6 8.7 G6 , (8.3-8.5). , .
8.5
8.5 ()
8.6
8.6 ()
8.7
8.7 ()
, . , . , . , , . , , ( 8.8).
|
|
8.8 ,