. "" . . , " ".
, .
.
. 2.6, "" ( ) . . 2.6, P 1 P 2 Q 1 Q 2 - . 2.6, .
, .
, .
. , , (: , ). , , , . , , . , ( "") , , 㳿.
, . , 䳺 , , ' . . , . . 2.7, , , , , .
, : , , , (. 2.7,6). Eo Q K - , Eo, E1. Eo, E2, Q E2 Q K - Q E '. ' , , . .
|
|
, , , ( - -, ). ֳ , , .
(. 2.8) .
, , , Q K - , , .
, , , , - .
, , , , . . 2.9 , .
, , . , (, ), .
, (, ), . .
. 2.10 . S 0 S 0 - , a D 0 D 0 - . , 0 Q K. , D 1 D 1, D 0 D 0. , P 1 , , Q K. S 1 S 1 ( ). 2 2 , 0, , 1, Q 2 , Q K -
|
|
г , . 2.10, . , , , , . , , .