, -, , -, ( ), -, . .
"" . . () , .
ST S
A T
*
D
-
QT Q* Q
. 1.
(. 1) S , ( ) , . ST, .
, Q* QT, * T. (, , .) ( ) (.. ) T-. T * QT (T-) * QT, * QT.
, , : (* - (T-)) * QT, (T - *) * QT. *(-) TA* . .
. , .
, , . , G . , G (. 2).
S SG
PG+G
E G
P*
|
|
G A
D
Q* QG Q
. 2.
Q* QG * G. , . ((G+G)-*) * QG, (* - G) * QG .
, . G , .
, , . : ("") ("") . , ( " " , , , *) , , , - QD QS, , , "" S/ (. 3).
S
PD
P* E
P A S/ D
QS Q* QD Q
. 3.
" " () ; , , , , , . , "" . QS D . , , . , . , , "" , .. , " ". ( ) ( ), (. 4).
|
|
S/ S
PD
P*
P A S D
QS Q/ Q* QD Q
. 4.
(, , .) S/ D " ". , - , . , *, Q/ QS "" Q Q *. , "-" . , (QD-QS).
(""). (, ) . "" (. 5).
S
P* E
A S D
QD Q* QS Q
. 5
QS QD QS - QD .
. , , QD , , , - . , "" *, , (, ). - .
, , "", "", , (,, , , ) QD.
"" , , , , .
, , , , , , . . , .
|
|
. , , , , - . , , , . , q, , * (. 6).
ST S
S/
Pq
P
P*
D
Qq Q* Q
. 6.
, . , "", , , , . , , , , Pq, - *.
, Q* Qq * q , ( = Pq-P*), ST. , -, , -, , Qq * (q-*). , .
(, ) . , "" (, ) , q, "" q , (. 6) S ST. " ". , Q Q* (. 7).
|
|
, . , , , G=- , S S.
" ". , " ", , . -, - .
S S
P
P*
D
Q* Q Q
. 7.