2.5. (S).
. , , , .
, .
(S) , .
(S) (D) ( 2.6).
2.6. .
Ø :
QS = f(P),
QS ,
.
,
Ø , :
* ;
* ;
* ;
* ;
* , ;
* (, , );
* .
(S).
(S) (S1), (S2) ( 2.7).
2.7. .
(S) S → S1 S ← S 2 , . , , , , (S) ( , ) (. 2.8).
2.8. .
,
.
2.9. .
- ;
Q - , ;
D - ;
S - ;
- D S, () (Q).
(D) (S) () ( 2.9).
(D) (S) (Q). (), , .
г
г () , 䳿 .
, , ( ) ; , , , ( ), (. 2.10).
|
|
2.10. .
- ;
Q - ;
- ;
c - ;
Q - ;
n - , ;
Q1, Q2 - , .
г , , , ; . (D) (S). () , .
, , . ' (, , , ) . , . , ( , , ), .
, . . .
-, . ..
. , . . , , ( . , - ) (. 2.11).
2.11. :
. ( .);
. ( .).
. , . ; . , . - .
, , . .
. , . , ' .