1610906281-b4c22a7d10a0805f74d79a443e5391a5 (824380)

Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла

Öåëü: îïðåäåëèòü ÊÐ(m, x, 0) è Reg(m, x, 0) ñîâìåñòíîéðåêóðñèåé â âèäå:ÊÐ(m, x, 0) = g0(m, x) Reg(m, x, 0) = g1 (m, x) ÊÐ(m, x, t + 1) = h0 (m, x, ÊÐ(m, x, t), Reg(m, x, t))Reg(m, x, 0) = h1 (m, x, ÊÐ(m, x, t), Reg(m, x, t))Ïåðåä íà÷àëîì ðàáîòû ñîäåðæèìîå êîìàíäíîãî ðåãèñòðà ðàâíîíóëþ:ÊÐ(m, x, 0) = 0.ÊÐ(m, x, t + 1):Ñîêðàùåíèå: cm(m, x, t) äëÿ (m)ÊÐ(m,x,t): êîä êîìàíäû,êîòîðóþ òðåáóåòñÿ âûïîëíèòü íà øàãå t .Åñëè êîìàíäà äëÿ èñïîëíåíèÿ íà øàãå t èìååò âèä,íàïðèìåð, goto ... (ò.å.

(cm(m, x, t))0 = 5), òîÊÐ(m, x, t + 1) ïî îïðåäåëåíèþ áóäåò ðàâíî (cm(m, x, t))1.Åñëè êîìàíäà äëÿ èñïîëíåíèÿ íà øàãå t èìååò âèäóñëîâíîãî ïåðåõîäà if ...goto..., (ò.å.(cm(m, x, t))0 = 4), è âûïîëíåíî óñëîâèå äëÿ ýòîãîïåðåõîäà, ò.å. (Reg(m, x, t))(c(m,x,t)) = 0, òîÊÐ(m, x, t + 1) áóäåò ðàâíî (cm(m, x, t))2. îñòàëüíûõ ñëó÷àÿõ: âûïîëíèòü ñëåäóþùóþ ïî ñïèñêóêîìàíäó, ò.å. ÊÐ(m, x, t + 1) = ÊÐ(m, x, t) + 1.1ÊÐ(m, x, t + 1):åñëè(cm(m, x, t))2 ,(cm(m, x, t))0 = 4 ∧∧ (Reg(m, x, t))(cm(m,x,t))1 = 0ÊÐ(m, x, t +1) =  (cm(m, x, t))1, åñëè (cm(m, x, t))0 = 5ÊÐ(m, x, t) + 1, â îñòàëüíûõ ñëó÷àÿõ.Reg(m, x, 0):Çàìå÷àíèå: åñëè x = hx0 , .

. . , xk−1 i, òî èç êîíêðåòíîãîîïðåäåëåíèÿ ôóíêöèè (·)i ñëåäóåò, ÷òî (x)i = xi , ïðèi < k = `h (x), è äàëåå ïðè i > k âûïîëíåíî (x)i = 0.Åñëè [R0], [S0], . . . [Rm ][Sm ] ñîäåðæèìûå ñîîòâåòñòâóþùèõðåãèñòðîâ ïåðåä çàïóñêîì, è m íîìåð ìàøèíû, òî(x)0 +1 1 (x)1 +1 1p3 p4p5 . . . .Reg(m, x, 0) = h[R0 ], [S0 ], . . . [Rm ][Sm ]i = p01 p11 p2: ñòåïåíü ïðîñòîãî pi â ïîñëåäíåì ïðîèçâåäåíèè:(1, åñëè i íå÷¼òíî èëè i = 0G (i, x) =(x)t + 1 åñëè i = 2t + 2.G (i, x)Reg(m, x, 0): âèäå ðàçáîðà ñëó÷àåâ: 1, åñëè i íå÷¼òíî èëè i = 0G (i, x) = (x)h i + 1 â îñòàëüíûõ ñëó÷àÿõ.i −̇22ÒåïåðüReg(m, x, 0) =îòêóäà Reg(m, x, 0) ðåêóðñèâíà.2m−̇1Yi=0G (i,x)pi,Reg(m, x, t + 1):Ðàçáîð ñëó÷àåâ:Ñëó÷àè:0. (cm(m, x, t))0 = 0 (êîìàíäà èìååò âèä H:=k)1. (cm(m, x, t))0 = 1 (êîìàíäà èìååò âèä H:=G)2. (cm(m, x, t))0 = 2 (êîìàíäà èìååò âèä inc H)3.

(cm(m, x, t))0 = 3 (êîìàíäà èìååò âèä dec H)4. (cm(m, x, t))0 = 4, è ñîäåðæèìîå ðåãèñòðà ñ êîäîì(c(m, x, t))1 ðàâíî 0, ò.å. (Reg(m, x, t))(cm(m,x,t)) = 0(êîìàíäà èìååò âèä if F=0 goto ..., è ïðè ýòîì F = 0)5. (cm(m, x, t))0 = 4, è ñîäåðæèìîå ðåãèñòðà ñ êîäîì(cm(m, x, t))1 íå ðàâíî 0, ò.å.

(Reg(m, x, t))(cm(m,x,t)) 6= 0(êîìàíäà èìååò âèä if F=0 goto ..., è ïðè ýòîì F 6= 0)6. (cm(m, x, t))0 = 5 (êîìàíäà èìååò âèä goto ...)7. Âñå îñòàëüíûå ñëó÷àè.11 ñëó÷àå 0: íóæíî çàìåíèòü â ðàçëîæåíèè íà ïðîñòûåñîìíîæèòåëè ÷èñëà Reg(m, x, t) ñòåïåíü ïðîñòîãî ÷èñëà(cm(m,x,t)) +1p(cm(m,x,t)) íà p(cm(m,x,t)) , ò.å. ìîæíî ïîëîæèòü211Reg(m, x, t +1) = Reg(m, x, t)ex((cm(m,x,t)) ,Reg(m,x,t))p(cm(m,x,t))1 1 ·p (cm(m,x,t))2 +1(cm(m,x,t))1 ñëó÷àå 2: ïðèáàâèòü ê ñîäåðæèìîìó ðåãèñòðà ñ íîìåðîì(cm(m, x, t))1 åäèíèöó è ïîñ÷èòàòü íîâûé êîä ñîñòîÿíèÿðåãèñòðîâ.

Äëÿ ýòîãî äîñòàòî÷íî ïðîñòî óìíîæèòü ÷èñëîReg(m, x, t) íà p(cm(m,x,t)) , ò.å. ïîëîæèòü1Reg(m, x, t + 1) = Reg(m, x, t) · p(cm(m,x,t))1 ñëó÷àå 3: . . . "#(cm(m,x,t)) +1Reg(m,x,t)· p(cm(m,x,t))12 ,ex((cm(m,x,t))1 ,Reg(m,x,t))p(cm(m,x,t))1(cm(m, x, t))0 = 0åñëèReg(m, x, t+1) =åñëè...,(cm(m, x, t))0 = 1Reg(m, x, t) · p(cm(m,x,t))1(cm(m, x, t))0 = 2...,(cm(m, x, t))0 = 3Reg(m, x, t),åñëèåñëèâ îñòàëüíûõ ñëó÷àÿõ.

Характеристики

Тип файла PDF

PDF-формат наиболее широко используется для просмотра любого типа файлов на любом устройстве. В него можно сохранить документ, таблицы, презентацию, текст, чертежи, вычисления, графики и всё остальное, что можно показать на экране любого устройства. Именно его лучше всего использовать для печати.

Например, если Вам нужно распечатать чертёж из автокада, Вы сохраните чертёж на флешку, но будет ли автокад в пункте печати? А если будет, то нужная версия с нужными библиотеками? Именно для этого и нужен формат PDF - в нём точно будет показано верно вне зависимости от того, в какой программе создали PDF-файл и есть ли нужная программа для его просмотра.

Список файлов лекций