: .
, , , , .
, . .
- , .
S+-(3) - (S), .
(R) :
S+ (3) - + R → R-3 + .
:
:
;
, ;
;
β - ;
;
;
.
, 3 , , . : . 12 .
: , , . , - , , . .
12
12 (, ) . , . 12 3 . :
();
;
.
.
, .
: (, ) (, , ) , ( ), .
|
|
β - N- .
9 ,
- 1 .
. , ( , - ).
. , . , , , , .
. - , () .
.... .
...... . , . , , . .
,
, . ( , - , . .). (, ) .
,
, .
19