-. . , , , , , . , : (1) (2) . ? , , . : ? , .
, ( ) . () (). : , : . , : , , J, .
. . :
) () (). : S ├ S - ( ├ ). , : - . , () (), : .
) () (). : S ├ S - . : , , .
) (J) (). : S ├ S - . : , , .
) () (J). : S ├ S - . : , , .
|
|
, , (), :
1. ;
2. .
() .
. : . :
) () (J), .. : (.. ). , , , , . : S ├ P S. : , , - ; , - .
) () (). : S ├ S. : , , ; . , .
) (J) (J). : S ├ S. : , , - .
) () . , , , .
, , S , : S. , . . (S ) , . , .
, , , .
: , .
. . , , , . , S , :
|
|
(1) ( S ) ( S),
(2) ( S ) J ( S),
(3) ( S ) J ( S).
(J) .
: , .
, , : - , , - . () (S) () (S, ). , , .. (, S). , , .. J (P, S).
: - , , , (S, P), ( P, S). , .. : (S, P) (S, ) ( ), ( , S) . , , .
, () , , (. . III, .3). , , , , .
, - , , , . - - (), , - (~ ), (. .). , () (J), .. , : (), , (), , . .
: , , , , , (~ ), (), , (J) , , .. , .