10. Ðåãèñòðîâûå ìàøèíû
Ðåãèñòðîâàÿ ìàøèíà èìååò êîíå÷íîå êîëè÷åñòâî ðåãèñòðîâ
n
R1, . . . ,R êàæäûé èç êîòîðûõ ìîæåò ñîäåðæàòü ïðîèçâîëüíî
áîëüøîå íàòóðàëüíîå ÷èñëî. Ìàøèíà âûïîëíÿåò ïðîãðàììó
ñîñòîÿùóþ èç êîíå÷íîãî ÷èñëà èíñòðóêöèé ñíàáæåííûõ
ìåòêàìè m
S1, . . . ,S . Êîãäà ìàøèíà âûïîëíÿåò èíñòðóêöèþ ñ
k
ìåòêîé S , ìû ãîâîðèì, ÷òî ìàøèíà íàõîäèòñÿ â ñîñòîÿíèè k S .
11. Ðåãèñòðîâûå ìàøèíû
Ðåãèñòðîâàÿ ìàøèíà èìååò êîíå÷íîå êîëè÷åñòâî ðåãèñòðîâ
n
R1, . . . ,R êàæäûé èç êîòîðûõ ìîæåò ñîäåðæàòü ïðîèçâîëüíî
áîëüøîå íàòóðàëüíîå ÷èñëî. Ìàøèíà âûïîëíÿåò ïðîãðàììó
ñîñòîÿùóþ èç êîíå÷íîãî ÷èñëà èíñòðóêöèé ñíàáæåííûõ
ìåòêàìè m
S1, . . . ,S . Êîãäà ìàøèíà âûïîëíÿåò èíñòðóêöèþ ñ
k
ìåòêîé S , ìû ãîâîðèì, ÷òî ìàøèíà íàõîäèòñÿ â ñîñòîÿíèè k S .
Èíñòðóêöèè áûâàþò òð¼õ òèïîâ:
12. Ðåãèñòðîâûå ìàøèíû
Ðåãèñòðîâàÿ ìàøèíà èìååò êîíå÷íîå êîëè÷åñòâî ðåãèñòðîâ
n
R1, . . . ,R êàæäûé èç êîòîðûõ ìîæåò ñîäåðæàòü ïðîèçâîëüíî
áîëüøîå íàòóðàëüíîå ÷èñëî. Ìàøèíà âûïîëíÿåò ïðîãðàììó
ñîñòîÿùóþ èç êîíå÷íîãî ÷èñëà èíñòðóêöèé ñíàáæåííûõ
ìåòêàìè m
S1, . . . ,S . Êîãäà ìàøèíà âûïîëíÿåò èíñòðóêöèþ ñ
k
ìåòêîé S , ìû ãîâîðèì, ÷òî ìàøèíà íàõîäèòñÿ â ñîñòîÿíèè k S .
Èíñòðóêöèè áûâàþò òð¼õ òèïîâ:
k
I. S : R + +;S i
13. Ðåãèñòðîâûå ìàøèíû
Ðåãèñòðîâàÿ ìàøèíà èìååò êîíå÷íîå êîëè÷åñòâî ðåãèñòðîâ
n
R1, . . . ,R êàæäûé èç êîòîðûõ ìîæåò ñîäåðæàòü ïðîèçâîëüíî
áîëüøîå íàòóðàëüíîå ÷èñëî. Ìàøèíà âûïîëíÿåò ïðîãðàììó
ñîñòîÿùóþ èç êîíå÷íîãî ÷èñëà èíñòðóêöèé ñíàáæåííûõ
ìåòêàìè m
S1, . . . ,S . Êîãäà ìàøèíà âûïîëíÿåò èíñòðóêöèþ ñ
k
ìåòêîé S , ìû ãîâîðèì, ÷òî ìàøèíà íàõîäèòñÿ â ñîñòîÿíèè k S .
Èíñòðóêöèè áûâàþò òð¼õ òèïîâ:
k
I. S : R + +;S i
II. Sk : R − −; S ;Si j
14. Ðåãèñòðîâûå ìàøèíû
Ðåãèñòðîâàÿ ìàøèíà èìååò êîíå÷íîå êîëè÷åñòâî ðåãèñòðîâ
n
R1, . . . ,R êàæäûé èç êîòîðûõ ìîæåò ñîäåðæàòü ïðîèçâîëüíî
áîëüøîå íàòóðàëüíîå ÷èñëî. Ìàøèíà âûïîëíÿåò ïðîãðàììó
ñîñòîÿùóþ èç êîíå÷íîãî ÷èñëà èíñòðóêöèé ñíàáæåííûõ
ìåòêàìè m
S1, . . . ,S . Êîãäà ìàøèíà âûïîëíÿåò èíñòðóêöèþ ñ
k
ìåòêîé S , ìû ãîâîðèì, ÷òî ìàøèíà íàõîäèòñÿ â ñîñòîÿíèè k S .
Èíñòðóêöèè áûâàþò òð¼õ òèïîâ:
k
I. S : R + +;S i
II. Sk : R − −; S ;Si j
III. Sk : STOP
79. Íîâûå çíà÷åíèÿ ðåãèñòðîâ
r ,t + 1 = r ,t + +
sk ,t − −
z ,t sk ,t
+
ãäå -ñóììèðîâàíèå âåäåòñÿ ïî âñåì èíñòðóêöèÿì âèäà
Sk : R + +; S , i
−
à -ñóììèðîâàíèå ïî âñåì èíñòðóêöèÿì âèäà
Sk : R i j
− −; S ; S .
80. Íîâûå ñîñòîÿíèÿ
sd ,t+1 = d sk ,t +
+
d z ,t sk ,t +
−
d (1 − z ,t )sk ,t
0
+
ãäå d -ñóììèðîâàíèå âåäåòñÿ ïî âñåì èíñòðóêöèÿì âèäà
Sk : R + +; S ,d
−
d -ñóììèðîâàíèå âåäåòñÿ ïî âñåì èíñòðóêöèÿì âèäà
Sk : R d j
− −; S ; S ,
0
à d -ñóììèðîâàíèå ïî âñåì èíñòðóêöèÿì âèäà
Sk : R i d
− −; S ; S .
81. Ïðîòîêîë
q ... t +1 t ... 0
.
. .
. .
. .
. .
. .
. .
.
. . . . . . .
Sk sk ,q ... sk ,t+1 sk ,t ... sk ,0
.
. .
. .
. .
. .
. .
. .
.
. . . . . . .
.
. .
. .
. .
. .
. .
. .
.
. . . . . . .
R r ,q ... r ,t + 1 r , t ... r ,0
.
. .
. .
. .
. .
. .
. .
.
. . . . . . .
.
. .
. .
. .
. .
. .
. .
.
. . . . . . .
Z z ,q ... z ,t + 1 z , t ... z ,0
.
. .
. .
. .
. .
. .
. .
.
. . . . . . .
82. Ïðîòîêîë
q ... t +1 t ... 0
.
. .
. .
. .
. .
. .
. .
.
. . . . . . .
Sk sk ,q ... sk ,t+1 sk ,t ... sk ,0 sk = q s bt
t = 0 k ,t
.
. .
. .
. .
. .
. .
. .
.
. . . . . . .
.
. .
. .
. .
. .
. .
. .
.
. . . . . . .
R r ,q ... r ,t + 1 r , t ... r ,0
.
. .
. .
. .
. .
. .
. .
.
. . . . . . .
.
. .
. .
. .
. .
. .
. .
.
. . . . . . .
Z z ,q ... z ,t + 1 z , t ... z ,0
.
. .
. .
. .
. .
. .
. .
.
. . . . . . .
83. Ïðîòîêîë
q ... t +1 t ... 0
.
. .
. .
. .
. .
. .
. .
.
. . . . . . .
Sk sk ,q ... sk ,t+1 sk ,t ... sk ,0 s
= k= q s bt
t = 0 k ,t
.
. .
. .
. .
. .
. .
. .
.
. . . . . . .
.
. .
. .
. .
. .
. .
. .
.
. . . . . . .
R r ,q ... r ,t + 1 r , t ... r ,0
.
. .
. .
. .
. .
. .
. .
.
. . . . . . .
.
. .
. .
. .
. .
. .
. .
.
. . . . . . .
Z z ,q ... z ,t + 1 z , t ... z ,0
.
. .
. .
. .
. .
. .
. .
.
. . . . . . .
84. Ïðîòîêîë
q ... t +1 t ... 0
.
. .
. .
. .
. .
. .
. .
.
. . . . . . .
Sk sk ,q ... sk ,t+1 sk ,t ... sk ,0 = k=s q s bt
t = 0 k ,t
.
. .
. .
. .
. .
. .
. .
.
. . . . . . .
.
. .
. .
. .
. .
. .
. .
.
. . . . . . .
R r ,q ... r ,t + 1 r , t ... r ,0 = r = q r bt
t = 0 ,t
.
. .
. .
. .
. .
. .
. .
.
. . . . . . .
.
. .
. .
. .
. .
. .
. .
.
. . . . . . .
Z z ,q ... z ,t + 1 z , t ... z ,0
.
. .
. .
. .
. .
. .
. .
.
. . . . . . .
85. Ïðîòîêîë
q ... t +1 t ... 0
.
. .
. .
. .
. .
. .
. .
.
. . . . . . .
Sk sk ,q ... sk ,t+1 sk ,t ... sk ,0 = k=s q s bt
t = 0 k ,t
.
. .
. .
. .
. .
. .
. .
.
. . . . . . .
.
. .
. .
. .
. .
. .
. .
.
. . . . . . .
R r ,q ... r ,t + 1 r , t ... r ,0 = r = q r bt
t = 0 ,t
.
. .
. .
. .
. .
. .
. .
.
. . . . . . .
.
. .
. .
. .
. .
. .
. .
.
. . . . . . .
Z z ,q ... z ,t + 1 z , t ... z ,0 = z = q z bt
t =0 ,t
.
. .
. .
. .
. .
. .
. .
.
. . . . . . .
86. Íîâûå çíà÷åíèÿ ðåãèñòðîâ
q q q
sk = sk ,t bt r = r ,t bt z = z ,t b t
t =0 t =0 t =0
r ,t + 1 = r ,t + +
sk ,t − −
z ,t sk ,t
87. Íîâûå çíà÷åíèÿ ðåãèñòðîâ
q q q
sk = sk ,t bt r = r ,t bt z = z ,t b t
t =0 t =0 t =0
r ,t + 1 = r ,t + +
sk ,t − −
z ,t sk ,t
88. Íîâûå çíà÷åíèÿ ðåãèñòðîâ
q q q
sk = sk ,t bt r = r ,t bt z = z ,t b t
t =0 t =0 t =0
r ,t + 1 = r ,t + +
sk ,t − −
z ,t sk ,t
89. Íîâûå çíà÷åíèÿ ðåãèñòðîâ
q q q
sk = sk ,t bt r = r ,t bt z = z ,t b t
t =0 t =0 t =0
r ,t + 1 = r ,t + +
sk ,t − −
z ,t sk ,t
90. Íîâûå çíà÷åíèÿ ðåãèñòðîâ
q q q
sk = sk ,t bt r = r ,t bt z = z ,t b t
t =0 t =0 t =0
r ,t + 1 b t + 1 = r ,t b t + 1 + +
sk ,t bt+1 − −
z ,t sk ,t bt+1
91. Íîâûå çíà÷åíèÿ ðåãèñòðîâ
q q q
sk = sk ,t bt r = r ,t bt z = z ,t b t
t =0 t =0 t =0
q −1 q −1
r ,t + 1 b t +1 = r ,t b t + 1 + +
sk ,t bt+1 − −
z ,t sk ,t bt+1
t =0 t =0
92. Íîâûå çíà÷åíèÿ ðåãèñòðîâ
q q q
sk = sk ,t bt r = r ,t bt z = z ,t b t
t =0 t =0 t =0
q −1 q −1
r ,t + 1 b t +1 = r ,t b t + 1 + +
sk ,t bt+1 − −
z ,t sk ,t bt+1
t =0 t =0
93. Íîâûå çíà÷åíèÿ ðåãèñòðîâ
q q q
sk = sk ,t bt r = r ,t bt z = z ,t b t
t =0 t =0 t =0
q −1 q −1
r ,t + 1 b t +1 = r ,t b t + 1 + +
sk ,t bt+1 − −
z ,t sk ,t bt+1
t =0 t =0
r − r ,0 = br + b +
sk − b −
z ∧ sk )
(
94. Íîâûå çíà÷åíèÿ ðåãèñòðîâ
q q q
sk = sk ,t bt r = r ,t bt z = z ,t b t
t =0 t =0 t =0
q −1 q −1
r ,t + 1 b t +1 = r ,t b t + 1 + +
sk ,t bt+1 − −
z ,t sk ,t bt+1
t =0 t =0
r − r ,0 = br + b +
sk − b −
z ∧ sk )
(
r1 − a = br1 + b +sk − b −
(z ∧ sk )
r = br + b +sk − b −
(z ∧ sk ), = 2, . . . , n
95. Íîâûå ñîñòîÿíèÿ
q q
sk = sk ,t bt z = z ,t b t
t =0 t =0
sd ,t+1 =
d sk , t d z ,t sk ,t d (1 − z ,t )sk ,t
+ − 0
= + +
96. Íîâûå ñîñòîÿíèÿ
q q
sk = sk ,t bt z = z ,t b t
t =0 t =0
sd ,t+1 =
d sk , t d z ,t sk ,t d (1 − z ,t )sk ,t
+ − 0
= + +
97. Íîâûå ñîñòîÿíèÿ
q q
sk = sk ,t bt z = z ,t b t
t =0 t =0
sd ,t+1 =
d sk , t d z ,t sk ,t d (1 − z ,t )sk ,t
+ − 0
= + +
98. Íîâûå ñîñòîÿíèÿ
q q
sk = sk ,t bt z = z ,t b t
t =0 t =0
sd ,t+1 =
d sk , t d z ,t sk ,t d (1 − z ,t )sk ,t
+ − 0
= + +
99. Íîâûå ñîñòîÿíèÿ
q q
sk = sk ,t bt z = z ,t b t
t =0 t =0
sd ,t+1bt+1 =
d sk , t b d z ,t sk ,t b d (1 − z ,t )sk ,t b
= + t +1 + − t +1 + 0 t +1
100. Íîâûå ñîñòîÿíèÿ
q q
sk = sk ,t bt z = z ,t b t
t =0 t =0
q−1
sd ,t+1bt+1 =
t =0
q −1
d sk , t b d z ,t sk ,t b d (1 − z ,t )sk ,t b
= + t +1 + − t +1 + 0 t +1
t =0
101. Íîâûå ñîñòîÿíèÿ
q q
sk = sk ,t bt z = z ,t b t
t =0 t =0
q−1
sd ,t+1bt+1 =
t =0
q −1
d sk , t b d z ,t sk ,t b d (1 − z ,t )sk ,t b
= + t +1 + − t +1 + 0 t +1
t =0
102. Íîâûå ñîñòîÿíèÿ
q q
sk = sk ,t bt z = z ,t b t
t =0 t =0
q−1
sd ,t+1bt+1 =
t =0
q −1
d sk , t b d z ,t sk ,t b d (1 − z ,t )sk ,t b
= + t +1 + − t +1 + 0 t +1
t =0
sd − sd ,0 = b d sk + b d (z ∧ sk ) + b d ((e − z ) ∧ sk )
+ + 0
103. Íîâûå ñîñòîÿíèÿ
q q
sk = sk ,t bt z = z ,t b t
t =0 t =0
q−1
sd ,t+1bt+1 =
t =0
q −1
d sk , t b d z ,t sk ,t b d (1 − z ,t )sk ,t b
= + t +1 + − t +1 + 0 t +1
t =0
sd − sd ,0 = b d sk + b d (z ∧ sk ) + b d ((e − z ) ∧ sk )
+ + 0
q−1
e= b
1 · t +1 =
bq − 1
t =0 b−1
104. Èíäèêàòîðû íóëÿ
z ,t = r
0, åñëè ,t = 0
1 â ïðîòèâíîì ñëó÷àå
105. Èíäèêàòîðû íóëÿ
z ,t = r
0, åñëè ,t = 0
1 â ïðîòèâíîì ñëó÷àå
b = 2 c +1 r ,t ≤ 2c − 1
106. Èíäèêàòîðû íóëÿ
z ,t = r
0, åñëè ,t = 0
1 â ïðîòèâíîì ñëó÷àå
b = 2 c +1 r ,t ≤ 2c − 1 = 01 . . . 1
107. Èíäèêàòîðû íóëÿ
z ,t = r
0, åñëè ,t = 0
1 â ïðîòèâíîì ñëó÷àå
b = 2 c +1 r ,t ≤ 2c − 1 = 01 . . . 1
2c − 1 + r ,t =
108. Èíäèêàòîðû íóëÿ
z ,t = r
0, åñëè ,t = 0
1 â ïðîòèâíîì ñëó÷àå
b = 2 c +1 r ,t ≤ 2c − 1 = 01 . . . 1
2c − 1 + r ,t = r
01 . . . 1, åñëè ,t = 0
1 ∗ · · · ∗ â ïðîòèâíîì ñëó÷àå
109. Èíäèêàòîðû íóëÿ
z ,t = r
0, åñëè ,t = 0
1 â ïðîòèâíîì ñëó÷àå
b = 2 c +1 r ,t ≤ 2c − 1 = 01 . . . 1
2c − 1 + r ,t = r
01 . . . 1, åñëè ,t = 0
1 ∗ · · · ∗ â ïðîòèâíîì ñëó÷àå
2c ∧ (2c − 1 + r ,t ) = 2c z ,t
110. Èíäèêàòîðû íóëÿ
z ,t = r
0, åñëè ,t = 0
1 â ïðîòèâíîì ñëó÷àå
b = 2 c +1 r ,t ≤ 2c − 1 = 01 . . . 1
2c − 1 + r ,t = r
01 . . . 1, åñëè ,t = 0
1 ∗ · · · ∗ â ïðîòèâíîì ñëó÷àå
2c ∧ (2c − 1 + r ,t ) = 2c z ,t
q q
(2c ∧ (2c − 1 + r ,t ))bt = 2c z ,t b t
t =0 t =0
111. Èíäèêàòîðû íóëÿ
z ,t = r
0, åñëè ,t = 0
1 â ïðîòèâíîì ñëó÷àå
b = 2 c +1 r ,t ≤ 2c − 1 = 01 . . . 1
2c − 1 + r ,t = r
01 . . . 1, åñëè ,t = 0
1 ∗ · · · ∗ â ïðîòèâíîì ñëó÷àå
2c ∧ (2c − 1 + r ,t ) = 2c z ,t
q q
(2c ∧ (2c − 1 + r ,t ))bt = 2c z ,t b t
t =0 t =0
q
f f r
2c ∧ ((2c − 1) + ) = 2c z f= b
1 · t +1 =
bq+1 − 1
t =0 b−1
114. Âûáîð c
r , t b = 2 c +1 r ,t ≤ 2c − 1 = 01 . . . 1
2c − 1 + r ,t = r
01 . . . 1, åñëè ,t = 0
1 ∗ · · · ∗ â ïðîòèâíîì ñëó÷àå
115. Âûáîð c
r , t b = 2 c +1 r ,t ≤ 2c − 1 = 01 . . . 1
2c − 1 + r ,t = r
01 . . . 1, åñëè ,t = 0
1 ∗ · · · ∗ â ïðîòèâíîì ñëó÷àå
116. Âûáîð c
r , t b = 2 c +1 r ,t ≤ 2c − 1 = 01 . . . 1
2c − 1 + r ,t = r
01 . . . 1, åñëè ,t = 0
1 ∗ · · · ∗ â ïðîòèâíîì ñëó÷àå
2c ∧ r ,t =0
117. Âûáîð c
r , t b = 2 c +1 r ,t ≤ 2c − 1 = 01 . . . 1
2c − 1 + r ,t = r
01 . . . 1, åñëè ,t = 0
1 ∗ · · · ∗ â ïðîòèâíîì ñëó÷àå
2c ∧ r ,t =0
118. Âûáîð c
r , t b = 2 c +1 r ,t ≤ 2c − 1 = 01 . . . 1
2c − 1 + r ,t = r
01 . . . 1, åñëè ,t = 0
1 ∗ · · · ∗ â ïðîòèâíîì ñëó÷àå
2c ∧ r ,t =0
119. Âûáîð c
r , t b = 2 c +1 r ,t ≤ 2c − 1 = 01 . . . 1
2c − 1 + r ,t = r
01 . . . 1, åñëè ,t = 0
1 ∗ · · · ∗ â ïðîòèâíîì ñëó÷àå
q
(2 c ∧ r ,t ) b t = 0
t =0
120. Âûáîð c
r , t b = 2 c +1 r ,t ≤ 2c − 1 = 01 . . . 1
2c − 1 + r ,t = r
01 . . . 1, åñëè ,t = 0
1 ∗ · · · ∗ â ïðîòèâíîì ñëó÷àå
q
(2 c ∧ r ,t ) b t = 0
t =0
q
f r
2c ∧ f= b
1 · t +1 =
b q +1 − 1
=0
t =0 b−1
123. Âñå óñëîâèÿ
b = 2 c +1
r − r ,0 = br + b +
sk − b −
( z ∧ sk )
124. Âñå óñëîâèÿ
b = 2 c +1
r − r ,0 = br + b +
sk − b −
( z ∧ sk )
sd − sd ,0 = b d sk + b d (z ∧ sk ) + b d ((e − z ) ∧ sk )
+ + 0
125. Âñå óñëîâèÿ
b = 2 c +1
r − r ,0 = br + b +
sk − b −
( z ∧ sk )
sd − sd ,0 = b d sk + b d (z ∧ sk ) + b d ((e − z ) ∧ sk )
+ + 0
e = bb − 11
−q
126. Âñå óñëîâèÿ
b = 2 c +1
r − r ,0 = br + b +
sk − b −
( z ∧ sk )
sd − sd ,0 = b d sk + b d (z ∧ sk ) + b d ((e − z ) ∧ sk )
+ + 0
e = bb − 11
−q
z f = b b −− 1
q +1
f f r
2c ∧ ((2c − 1) + ) = 2c
1
127. Âñå óñëîâèÿ
b = 2 c +1
r − r ,0 = br + b +
sk − b −
( z ∧ sk )
sd − sd ,0 = b d sk + b d (z ∧ sk ) + b d ((e − z ) ∧ sk )
+ + 0
e = bb − 11
−q
z f = b b −− 1
q +1
f f r
2c ∧ ((2c − 1) + ) = 2c
1
f r
2c ∧ =0
128. Âñå óñëîâèÿ
b = 2 c +1
r − r ,0 = br + b +
sk − b −
( z ∧ sk )
sd − sd ,0 = b d sk + b d (z ∧ sk ) + b d ((e − z ) ∧ sk )
+ + 0
e = bb − 11
−q
z f = b b −− 1
q +1
f f r
2c ∧ ((2c − 1) + ) = 2c
1
f r
2c ∧ =0 sm = bq
129. Ïðîòîêîë
q ... t +1 t ... 0
.
. .
. .
. .
. .
. .
. .
.
. . . . . . .
Sk sk ,q ... sk ,t+1 sk ,t ... sk ,0 = k=s Q s bt
t = 0 k ,t
.
. .
. .
. .
. .
. .
. .
.
. . . . . . .
.
. .
. .
. .
. .
. .
. .
.
. . . . . . .
R r ,q ... r ,t + 1 r , t ... r ,0 = r = Q r bt
t = 0 ,t
.
. .
. .
. .
. .
. .
. .
.
. . . . . . .
.
. .
. .
. .
. .
. .
. .
.
. . . . . . .
Z z ,q ... z ,t + 1 z , t ... z ,0 = z = Q z bt
t =0 ,t
.
. .
. .
. .
. .
. .
. .
.
. . . . . . .