, , : , . . . . . , : , , . , , . , , .
, , . : [F] (S), [M]. [F]i(S)r[M].
, , , .
i=1; r=0 ; ( , )
i=1; r=1 ; ( , )
i=0 r=0 ; ( , )
i=0 r=1 ; ( , )
, , , .
i=1; r=0 ; ( )
i=1; r=1 ; ( )
i=0 r=0 ; ()
i=0 r=1 ; ( , )
, , , , ; , , , , . : , , , . . .
|
|
. , , , .
, , , , . ( ) , ( ) . , , . , .
, , , , ( ), .
, , .
, , , . () [161].
() , , , . , .
, , . (, ) .
, .
»- »-, »-. »- , , - . -:
[S], -, . , , »- , , . , - , , , , .
|
|
: , ( ) , (). . , .
- .
-, , , , , -, , . ( r=1), ( i=1):
() (, M'revM) , , . , , (, MrevM''). - :
, (V) , -. - (. -) . , . - ( ), , : Re[S]eVe[S]eR , , ([S]) (V). , . . , .
, . , (, ..) »-.
, , , , , , [162]. , . , - , : , , , , , ( ), ( ) ( »-). , , : - , , , , .