(AD) , , . (), , : , , . . , , (. 10.1).
. 10.1.
:
: (, , , , ), (, , ), ( , ), (, , );
: ( , ); ( , ); ( , ); ( , );
: , ;
: (, , , , ) ( , , ).
( , ) (. . 10.1).
(AS) . , , .. (. 10.2).
AS , . Q , .. , ( ).
|
|
:
(). ( ) . , 0 Q , . , , ( ). , ;
. . Q 1 Q , , .
(). , , , ( ). , , . , .
, , :
. , , .. , , , ;
. , ;
( , ).
. , , (AD > AS), (AS > AD) (. 10.3).
0 Q 1 → Q e ← Q 2