: , , .
, .
- , . :
) , :
S → S -
, - >- . : ;
) :
S - → S
, .
: → ; → ; I→; → I.
, , - , .
: , , . , , , , , . , , , , . , , .
- , .
: , . , , :
S → S
: →, , - .
S → S
: → .
S → S
: - → - .
. , : →I; → ; I→ I
|
|
: , , , .
- , , , , . , :
- S л, S -;
- , , , - S.
, , . :
S → - S
, → .
S → - S
, → .
S → - S
, → - .
.
, , , , . , , , .
- , , , , I, . . , . :
: - ; - ;? - .
.
, : . :
1) - - ;
2) I - - ;
3) - - .
, . , , , , .