, , .
. , .. , .
.
, . , .. , .
, . D.
, , :
D = P? Q,
;
Q .
. , , . , (DD). , . , , , .. , , . . , , .
:
1) ;
2) ;
3) ( ), .
, , , . , . , , .
.
, , , . , , .
, ( ) ( ).
, ,
, . , . , . , .
|
|
, , . , . , .
,
1. . . , , , .
, , .
2. . . , , . . , .
3. . , , . .
, . , .
4. . , , .
5. . , , .
, : , , , .
.
, , , . , . , , , . , .
D0 , . D0 , . .
. 3
, , .
1. , , , , , , , . .
2. .
3. . .
|
|
4. .
5. , , .
, S0 S1, S2.
.4
, S , ( ):
1. , .
2.
3. . .
4. . . , , , ; . , , , , .
5. .
6. . , ( ) .
7. ( ). , . .
.
- , . , . . , . , . , . .
, . , . . : . , .
, , , , . , , . , , .
, .
. ? , , (, ) . . , .
|
|
, , . , , .
.
, ,
( )
,
().
,
. ( ).
,
( , $
)
,
, . , .
. , , .
(). , .
4 . , 4 . . , . , .
: , . , 6 ., , (20 . .). . . .
, . , , , , , .
.
, . , . , . , . , , . , . .
|
|
. , . , , . , .
, , .
( ).
, , .
, . , . -, , , . , , , , , , , .
. . , , , .
. , .
.
, . , . , , , . , , , .., .
, , . , . , .
. :
1. ;
2. ;
3. .
.
- .