: ( ) . .
.
)
, , . , . . , (t). S0 S1 (. 4-19):
. 4-19.
( P1 P2) ( q1 q2). P1E1M P2E2M. P1E1N PtFN.
, . . , , , . p2, (t), E2F=P2Pt. , Pt ., .
, - P2E2E1P1 ( P1E1M - P2E2M), P1E1FPt (P1E1N - PtFN). (T), , (t), , (q2): T=t*q2. . 4-19 P2E2FPt.
, ( E2E1F) . .. . - , .
?
, , , , . : , . , , , . , (. . 4-19). , .
|
|
, , . , ( , ..). , .. . (. 4-20), , , .
. (-, , -). , , , .. - ( , , ). (. 4-20). , :
. 4-20.
. .
, ( , - ). : , . .
)
. , S0 S1 (. 4-21). P0 P1, q0 q1:
. 4-21.
.
)
(. 4-22). , , . (Pg) , .
, q* qs. , , q* qd. (qd - qs) :
. 4-22.
:
1. . - S1 (. 4-22) , , . , , , . , : .
2. . - , , . , (. 4-22), . , , , .
|
|
3. , : - . : ? , - . ? ( 1, . 1). , , , , . , , , (, , ..). , ( ), , .
4. . , - , - , , .
. , 2006 . , 2008 . . , .[3] .
. , , . , , , , , , : , .. , .. S1 (. 4-23):
. 4-23.
: , . , , , (P¢ P*), - (q¢ q*), . , . - ( P¢E¢BA). E¢EB .
: , ? , (. . 3). , , . . 11, . 4.
)
: - . - . , , . (Pg) (P*), (. 4-24). (qs - qd):
|
|
. 4-24.
. , , - S1 , , . .
., ., .; ., .