.
16- , 8- , 8- . :
: (15-0):= (7-0) (7-0),
() .
, , , .
. .
, , :
R2AK: (15-0):= (1-0) (15-2) PC;
L1AK: (15-0):= (14-0) 0 ;
R2AK(15-0): (15-0):= (15) (15) (15-2) - .
:
Rn(A) n , n ;
Ln(A) n , n .
:
(15-0):= R2(PC(l-0) );
(15-0):= Ll(AK-O);
PC (15-0):= R2(AK(s) AK(s) ).
: +1: := + 1.
: : := + .
, (
), (
), (
) :
: := PrY; 2: := 0 PrY.
n- 2n- . , . , 1, A = an-1, an-2,...,0:
: := decod ().
. . ,
+1:= := + 1 < >.
, [21]. . S1, S2, S3, S4 S. S1:= φ1(S2) S3:= φ2(S4) , S1 ∩ S2 = , . , , .
|
|
|
. , - , , . .
- () . , ( ) , . ():
;
;
;
;
;
;
.
. , ( ), , , .
:
;
.
. , . .
, , , (). () . : := 0[()].
, . , 1, 2 , , . . , . , . . , 16- , 8- , :
|
|
|
: (15-8):=0[()];
+1: := + 1;
: (7-0):=0[()].
- . , , . : +1: := + 1.
, , , . ( , . .), . , , .
, . :
;
;
, ( );
, .
, , , := decod(Ko). , , .
, , , .
.
, , . , , . , .
. , . , .
. , . . 3.1 .
, . , , .
|
|
|
(. . 3.1), , 0.
. 3.1, . 3.2. , , 100, 200. 5.
3.2.
3.2.
, , 100.
, , , . , , , .
. , . :
: := , : := 0[()];
, : := <0:= (), := ()>.
, . , ( ), . , , , .
. , := decod(Ko). , , . , ( BRZ), .
. - , , . : +1: := + 1.
, .
. . , .
. LD 200 200, , :
, ( ) ;
|
|
|
200 ;
.
:
: := (); ::= 0[200];
: := .
. ADD 201 201 ( ). . :
, ;
201 ;
2 ; AkkPY, PY , ; , PY, , ( );
O .
:
: := (), ::= 0[201];
: := , AkkPY: PY:= , := + PY;01: :=0.
. () () , BRZ 104. . () , , . ( ) , , (+1: := + 1). ( ) . , , . : := (). , .
. OUT 5 (), 5. , /. :
: := ();
: 5:= .
. HLT . , , .
. . , - , , . , . , ( ), , . , , , . , .
, . 3.1, :
: := (), : := 0[()]; : ():= .
, , , . .
, / ( ) , .
|
|
|
. , , . , . . , . , /, .
. , , . . , , , ( ). , , . . 3.5.
. , , . , . :
1. , . . , . .
2. .
. 3.5.
:
: := ; -1: := - 1 <3 >;
: := ; , : 0[()]:= := ;
: := ; -1: := - 1 <3 >;
: := ; , : [()]:= := ;
: := ; -1: := - 1 <3 >;
: := ; , : 0[()]:= := ;
:= <3 >.
. ( ) . , , . ( ) . ( , ).
: :=, : :=0[()] < >;
+1: := + 1; : := ;
: := , : := 0[()] < >;
+1: := + 1; : := ;
: := , : := 0[()] < >;
+1: := + 1; : := .
. 3.6, , [36]:
. 3.6. : ;
;
[36] (. 3.7).
. 3.7.
. , . :
. , .
. .
. .
. , , .
. .
. , .
. .
/. . , , , , , , .
, , . , ( ) ( ), / . .
, , . : , , [25]. , .
: .
. . τ ,
. ,
; N , .
, i - ; l (i = 1, 2, , i); τ i i - .
:
(3.1)
(3.2) N:
(3.3)
i - (3.3) 
:
(3.4)
(3.4) {τ1, τ2, , τl} , {q1, q2, , ql}, , .
