-- , , , , , .
:
S ( ) P → - () S.
, . , () (). ().
.
: S → : - S.
: . , .
: S → I: - S.
: . , .
: S → I: - S.
: . , .
(I) , .
30. , , , :
1. .
2. .
3. .
4. .
5. ().
6. .
7. .
8. , ( ).
9. .
10. .
11. .
31. :
. , , .
, :
(Q) (S+) (C) , (P-). , (Q) , (P+) (C) (S+).
:
: S P → : P S.
, . () () . (1). -- ; , .
|
|
, . (S+) , (+), . :
: S+ P- → : P+ S+.
, . S, (S+), , (-). , S . , , , . :
: S+ P- : P+ S+.
:
(S+) , (P-). , , (P-) (S+).
() (I).
. ( S) ( ). , . .
1. . , .
2. . , .
3. . , .
4. , - ().
5. , , , ().
6. ( ). , , .
7. ., . .
8. II . , , , .
9. , ; , , ( , ). , , , , ; , , , .
10. , , . , , ; , ; , , .
11. , , , , , : , , . , , , . - , , , , , .
|
|
12. , . , (.).
13. , (.). , , .
14.
(.). , , .
15. : - , , , ; , , , . , , , , , , : - , , ; , , , (.. , . ).