, . , . , , . , . , , ( ) ( ) - . . . - . . , .. - .
. ( ), .
.
:
- ;[5]
, (, ½ , ..), . , (.. ) ;
.
, .., , .[6]
r p(r). [7]
|
|
:
S :
< <
L(s-1) L(s).
: L(s-1) < < L(s).
, .
:
S | R | P(r) | |||||
k >k | k >k | 0,0 |
r P(r) , r 0 1 , P(r)=0. S ( ) r. , 3- , . 8 , , .. . [8]
, .. , [9] , .
, (. . 6.1), ( ), . , , ( , ). , . , .
, .6.1 6.2, , ( ), .