: ? , "" , . [5]. ; , , ( -) / :
(3.20)
, . , . 3.3.
. 3.3.
- , 1, , 1. , . . m , , a , . c () (" ") (" ") [5].
. , ( - 2- ), ( - 1- ). . 2- , 2- = 1. , ( , 1 - = 0).
- [15]
3.2
, - . , , , , , ,
(3.22)
, ,
, , . f() . f()=1 ( ), 1 - . , .
|
|
, S. f(). , f()=0 ( ), 2- . , . (3.20) :
: . Q0 Q1 , Q , , f - , Q . :
,
, , .
, - = 0, , . , .