( . ). n () . , . , . :
,
- i t ( = / );
- i - ;
- () ;
- ( i, j);
- i, j;
- j.
, .
( ). : 1) ; 2) - .
F Y () K L:
P=S(c,q) , .. , q.
. D - , S - , P - , P* - , X - , X* - . P* X* .
. , . , , . ,
;
.
, , .
. (1)
,
. (2)
(1) (2), ,
. (3)
; - . (3) , . .
, , ( ), , c ( ). a=b .
. , , , ..
.
(1) , .
, , , ( ). . , t , , .. , , . , , .
|
|
. , .
t . t -1 t . , , , - . , , - .
. , -, .
, (4)
, (5)
, (6)
- ; Y - , C - , K - , - . , Y - , , (.. ); C - , ; K - ( ).
(4) , , : = - + . , sY - , , s - , A - ( , , ).
(5) . .
1. DK - . , - , - -. (5) , .
2. , , :
,
P - , r - , c - . (7) (5).
(6) - ( = = Y). . () + ( DK) - (Y) - (, , ).
0. Y, C K :
, (8)
. (9)
, .. , . , - (4)-(5)-(6)-(8)-(9), . Y: 1) ( ); 2) ; 3) ; 4) , .
|
|
- .
, . (4)-(6) . . (4)
, (10)
- , .
. (6)
, (11)
, (12)
, (13)
- , + , S - . (11) , . ( (10) (11) .)
-, . (11)-(13)
I - , T - , E - , G - .
(14) , , , .. (10) .
, C - , , DK . G.
(16) (11) G+E-I, .. DY - , , (.. (C) + (DK) + (E) + (G)) , ( (Y) + (I)).
(17) , , : 1) C; 2) ( ) DK; 3) G; 4) E.
(18) , (Y+I) (C+DK+G+E).
(19) , - .
(20) , - , - . , B, , - , .. , .
(14)-(20) , , .
. , , , , , . , , .
:
L - ;
- ;
p - ;
w - ;
r - ;
- ;
- ;
m - ;
s - .
.
(21) , = + . (22) - , (7). (23) , . (24) , , , . , . (25) . (26) , ( wL, ) . (27) - , . , Y r. (28) , . , , , . (29) , . (30) , .
|
|
, , , s, K Y, , K Y m - .
. (30)
- , - , - .
, (21)-(29), (31) :
C - ;
K - ;
sY - .
- , , , s :
- . s : 1) ; 2) ; 3) . , .
. () - . : 1) - ( ); 2) , ( ).
Y - , , , , . , F - L - . , - Y, - F, - L ..., .. .