Главная » Просмотр файлов » 1626435695-d1df5d2e6d953ce7ad4b4ccb5f4f4e30

1626435695-d1df5d2e6d953ce7ad4b4ccb5f4f4e30 (844296), страница 53

Файл №844296 1626435695-d1df5d2e6d953ce7ad4b4ccb5f4f4e30 (Котов, Сабельфельд 1991 - Теория схем программ) 53 страница1626435695-d1df5d2e6d953ce7ad4b4ccb5f4f4e30 (844296) страница 532021-07-16СтудИзба
Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 53)

АСМ.— 1973.— Х. 20, уй 3.— Р. 489 — 499. (Русский перевод: Ашкрофт Э., Манна Э., Пкуелн А. Раэрежвмые свойства одиоаргумевтпых фувкпионзльпмх схем // Языка и автоматы: Сб. статей.— М.: Мир, 1975.— С. 97 — 108.) 84. В а сЬ а э 1. Сап Рп»бтанпшп6 Ве ШЬегагей Ьеа гЬе тоа Кеашаа Вгу!е? А раис!шва! Вгу!е апй»!э А!ЗеЬга о1 Ргоб»ашэ 0 Соппа. АСМ.— 1978. — Х. 21, Уй 24. — Р. 813 †6. 85. В ! г й М. ТЬе Еца!та)енсе РгоЫеш Ьп' Ве!егапшэИс Тпо — Туре Апгоша!а 0 1. Сеарагег апй Вуэ!еш Вс!.— 1973.— Х.

7, 16 3.— Р. 218 — 236. 86. В ! г й К. Ргобга»пэ аай МасЫпеэ (Ап 1а!гойпсИоп го гЬе ТЬэогу о! Сошрата!!оп).— 1.опйоп: 1о!ш 47!!еу аай Вопэ, 19Ч6.— 214 р. 67. Вгома В., Огюеэ О., Вэушапэй! Т. Ргобппа ВсЬжаеа ачгЬ Рп»Ьйопа В!огсз !l В!АМ 1. Сошраг!пб.— 1973.— Х. 1, 1«! 4.— Р. 242. 68. СЬа ай та А.

К. Оа гЬе Ргорегг!еэ апй АррПсаИопэ о1 Ргсбташ ВсЬешеэ0РЬ. О. ТЬе»Ь.— В!ап(оп(: В!ап?огй (/шт., 1973. 89. С Ь а а й г а А. К. ТЬе Ропег о1 РагаПеПыа апй Коайешгш!шиа !п Ргобгашш!а6 !/1п(огп»аг!оа Ртасеш!п6 74: Ргос. !Р1Р Сааб«еж 74, 242 ЗсосЪЬо)ип, Змейеп, Аиб. 5 — $0, 1974.— Ашз!егйаю.— Ног)Ъ вЂ” НЫ).

РиЫ. Се., $974.— Р. 46! — 465. 90. СЬапйга Л. К., М аппо 2. Рещтаю ЗЬепип и4$Ь Ециа1КуП Ргос. 4$Ь Лвп. АСМ Яуюр. оп ТЬеогу Союр.— Ковчег, $972.— Р. 52— 64. (Русскпй перевод: Чапдра Л. К., Малка 3. Скемн программ с разерстаом П Теории прогреммвревавпя: Сб. статей. Ч. 1.— Новосвбпрся: ВЦ СО АН СССР, 1972.— С. 200 — 238.) 91. С Ь и г с Ь А. Ап $)пэо)чаЫе РгоЫею о1 Е)еюепсегу )$июЬег ТЬеогу П Аш.

1. Ма)Ь.— $936.— У. 58, № 2.— Р. 345 — 363. 92. С оп»! а Ь1е К. $,, О г! еэ В. Оп С)аз»ее о$ Рмщшю ЯсЪешаза П 81АМ 1. Сошрис)ющ.— $973.— У. $.— Р. 66 — И8. (Руссзпб перевод: Копстейбл Р. Л., Гркс Д. О клаесса скем программ П Кпберяепе»ескпй сбовввк. Новая серпа: Сб. статеп. Внп. $4.— М.: Мпр, $977.— С. $22 — Й7. 93. С о и г с е 11 е В. Оп )юпр йезегпнпМ$!с ризЪйепп аиготаазз П МазЪ Зуэзепш ТЬеогу.— $977.— № И.— Р. 87 — $09. 94. С о и гс е11 е В. А гергезепгаВоп о! $»ееэ Ьу 1апбиабез // ТЬеогеМса) Со»прите» Яс!. †19.

— У. 6. — Р. 255 †2; — У. 7. — Р. 25 — 55. 95. В а т ! з М. СошризаЬИКу апй (/ню1таЬВКу.— )$. У.: МсОгамН(В ВооЪ Со.— $958.— 2$0 Р. 96. В е В а Ъ Ъ е г 1. %. ЗмпапВсэ о( Рго8таюю!пб ).авбиабез П Лйчапсео !п 1в$оппаМоп Яуз)апн Зс!сисе».— )$. У.: Р)еиюи Ргезз, $969.— У. 2.— Р. $73 — 2з27. 97. $) е В а ЬЪ ег 1.%., 3 се! ! В. А. ТЬеогу о$ Рищтаюз. (/приЫ)- »Ъей позе».— У!епвз: 1ВМ Зеш!паг, $969.

98. Вомпеу Р.1., ЗесЬ! К., Тат)ап К. Е. Уаг!ае)оае оп $Ъа сопппоп зиЬедргевйоп ргойеш // 1. АСМ.— $980.— У. 27, № 4.— Р. 753 — 771. 99. Е1эраз В., ).еч!$! К., %а)й!пбегК.„%аЪешап Л. Ап Аззезмиеп! о$ ТесЬп)ииеэ $ог Ргоч)пб Соггесспмм // СошриМпб Зигчеуэ.— $972.— У. 4, № 2.— Р. 97 — 147. 100. Е п 8 е 1 е г Е. Е. 1псгойисс!оа зо $Ъе ТЬеогу о! СоиарисаВов.— )$. У.: Асайепис Ргею„$973. $0!. О а! 1 ! е г 1. Н.

ВРВА'э !п «Азопйс поппа1 $огш» апй аррВсас)оаз со ецойча!сисе ргоЫнпэ П ТЪеогез!се1 Союризег Яс».— $98!. — У. 14, № 2.— Р. 155 — 186. $02. О аз)а ай Я. 1., 1. исЪЬаш В. С. Рго3таю ЯсЪешез, Кесигз)о»» ЯсЬшаоз апй рогша1 Ьапбиабев П 1. Сешризег апй Яузгеш Яс!.— $973.— У. 7, № 2.— Р. И9 — 160. (Русский перевод: Гарлзпд С., Лакдем Д. Ставдартане сдемн, рекурсвзвне скемн в формзльпне язнккП Кпберпетпческкй сбовапк.

Новая серва: Сб. статей. Вып. $3.— М.: Мпр, $976. — ' С. 73 — ИЗ.) 103. О г е 1 Ь а с Ь 3. А. ТЬеогу о1 Рнщппа Я!»ос!иге»: ЯсЬеюпеэ, ЯеипапМсэ УеНЬса!»оп П $,ее!иге Мозес !п Сошри(ег Яс(епсе. У. 36. — Ве»Вп" Яргпщег Уег)аб, 1975. — 364 р. $04. Н а г и ! Ъ У. Е((есз!че Ргорег Рпклйигез апй (/и!чешз! С!аз»ее е$ Ргобташ ЯсЬеюаса П 1. Сошризег апй Зуэгеш Яс!.— $975.— У. $0, № $.— Р. 44 — 6!.

$05. Н о а г е С. А. К., $, а и е г Р. Е. Сопз!э!ел! апй Сипр1впевгагу рогш»1 ТЬеопеэ о! $Ье Зешапбсэ о$ Ргобгаппп!пб $ апбиабеэ // Аста 1п(о»'- пшз!с .— 1974.— У. 3, № 2.— Р. $35 — $53. $06. Нор с» о$! 1. Е., $) 11ш а и 1. В. Рогпый (апбиабаа апй ТЬе!э. Ке)аКоп го Акте»вага.— Квай!пб (Мазе.): Айй!той%ее)еу.— $969.— 242 р.

$07. 1Ь аз та О. Н. Кетегэа1-Ьоипйей юи)с)соипшг юасЫаез апй $Ье(г йес)змш ргоЫею»П 1. АСМ.— $978.— У. 25, № $.— Р. Иб — $33. $08. 1 1Ъ» и У. Е., 2 м ! п обгойзЪ ! 2. Оп Ргобгаю ЗсЪепшта Е»)шта)епсе П 1. Союрасег апй Зуазеш Зс». — 1972. — У. 6, № !.— Р. 88 — $0!. $09. К а ю 1. В., $)! $»п а п 1. В. Мопс!осе бага йомапа1уэ(е(гашено»$в//' Лога 1п$опааз!са.— $977.-У.

7, № 3.— Р. 305 — 318. 24Ь :ИО. К в р1 а и Р. М. Не8иЬзг Ехргевйопв апй !Ье Ез)шта)сисе о1 Рговташв 0 Х. Сетари!ег авй Зув!еш 8с!. — 1989. — Ч. 4, Хз5 3.— Р. 361 — 385. Ш. К в гр Н. М., М !1)ег Н. Е. Рш»Пе! Рго8таш 8сЬеша!в// Х. Сатори!ег апй Зув!еш Ясз.— 1969.— У. 3,,% 2.— Р. 147 — 195. (Русский перевадт Кара Р. М., Миллер Р.

Е. Параллельные схемы программП Ккбериетвческий сборник. Новая серия: Сб. статей. Вып. 13.— М.т м )р, !976.— с. 5 — е!.) 'И2. К з 1 й а 11 О. А. А шпйей аррговсЬ !о 81оЬв1 ргс8гвш орИпйваИоп П Соп!. Несогйв о1 АСМ Яутар. оп Рппсзр1ев о! Рго8гапмзйи8 Ьап8.— Вошоп: МА, 1973.— Р.

194 — 206. ИЗ. К 1е е и е Я. С. Оепы») Несигв!те ГопсИопв о! з/а!ига1 )з/изпЬшч П Ма!Ь. Апп.— 1936.— У. И2, )зе 5.— Р. 727 — 742. И4. К о п з 8 В. ТЬеопе йег епйВсЬеи ипй ипепй1кЬеп ОгарЬеп.— Ье!рше: АЬайепйвсЬе Уег1аеэееве11зсЬв/з 1936.— 258 р. И5. К о в а г а 1 а Я. Н. Апа!ХИв о! Япчсзпюй Ргоегашв // Х. Сошритвг апй 8увтеш Зс!.— 1974.— У. 9, Хе 2.— Р. 232 — 255. И6. 1,ейеагй Н.

Г., Ма ге от! у М. А. Оепев1оеу о! Саинхо! Я!гис!шев 0 Сопииипв АСМ.— 1975.— У. 18, /зе И.— Р. 629 — 639. И7. Ь еза ! в Н. Н. А позе йеа!йаЫе ргоЫета, »ч!Ь арр1!саИоп//Рпк. 18 Авп. Зушр. оп ГсппйаИопв о1 Сатир. Бс!. — 1979. — Р. 62 — 73. -'Иб. 1. о е с !з Ь Х. СотаризвЫ1Ву аий ВесЫаЬз1Ву.— Вег1!из Яргшбег Уег- ' 1 8, 1972.

— 7е р. 'И9. ЬпсЬЬаш В.С., Раг!з Р.М., Ра!егвоп М.З, ОпршпзвЬ'- сей Сшири!ег Ргоегвпзв П Х. Сошии!ег апй Яуз!еш Зш.— 1970.— Ч. 4, 34 3.— Р. 220 — 249. (Русскин переводт Лакхэм Д., Парк Д. М., Петерсон М. С. О формввивоввнкых машвввых программах// Кибврнетвческий сборввк. Йован серия: Сб. статей. Вып. 12.— М. Мвр, 1975. — С. 78 — И4.) 23). М а п п а 2. Ма!ЬепшИса1 ТЬеогу о! Сократит!оп.— !/. Ч:. МсОт»»- НШ Воо)з Со., 1974. — 448 Р.

(Русский перевод гл. 5: Манна 3. Теория неподвижной точки программ.— Ккбержтический сборник. Новая серпит Сб, статей. Вып. 15.— М.з Мнр, 1978.— С. 38 — !00.) 121. М с С а г 1 Ь у Х. То»»гйв а Ма!ЬешаИса! Ясзеисе о! Сатира!вИап П Ргос. 1Г1Р СоиЕтчвв 1961.— Ашвзегйвзпт Ногй-НоВ. Р»Ы. Со.— 1962.— Р. 21 — 28. !вл. М с С а г ! Ь у Х. А Вавы !ог а МайаизаИсв1 ТЬеогу о1 Сашри!аИоп // Сопзри!ег Ргоеташпйпе апй Гогша! Зув!епм. — Азивзегйазпт 1!огтЬНо11.

РаЫ. Со.— 1963.— Р. 33 — 70. !23. М 11 п е г Н. Кз!изтв1епсев оп Рго8гази ЯсЬезиев// Х. Сошритег авй Зув!еш Зс!.— 1970.— У. 4, ХЕ 3.— Р. 205 — 219. 124. М о г г ! в Х. Н. Несигвзаи БсЬезпев»чзЬ Ь!Шв // Ргос. о1 !Ье 41Ь Авп. АСМ Яузар. оп ТЬеогу о1 Сошр.— Рептег.— 1972.— Р. 35 — 43. 125. 1/ е р о зи п з а в с Ь у Ч. А. Оп Р!тегбепсе РгоЫеш Ьв Ргоезаш ЯсЬешев // Ьес!ию )з/оыя !и Сашратег Зсзеисев.— ВеВпзз ЯрИпЬег Уег1а8, 1976.— У. 45.— Р.

442 — 445. !26. Р а ! е г в о и М. Я. Ез!и!тв)сисе РгоЫетив !п а Майе! о1 Саари!аИопт РЬ. Р. ТЬев!в.— СазиЬгЫЯе, 1967.— 153 р. !27. Разег сои М.З. Ргоегаш ЯгЬеша!вПМас!ппе 1пзе!ВЗепсе.— ЕйзпЬпг8: Оп!т. Ргевв, 1968.— Ч. 3.— Р. 19 — 31. !28. Р а ! е г в о п М. Я. Вес!ыои РгоЫепк !п СошриШИоив) Майе)в 0 Ргас. АСМ 8ушр. Ргат. Аввегт.— )з/еи Меюсот 8!ОРСА)з! )з/ш!сев, 1972.— Ч. 7.— Р. 74 — 82. (Русский перевод Патерсов М.

С. Праблекы раврешвкаств в вычвслвтельвых моделях 0 Теорвя прогрвммвровавия: Сб. статей. Ч. 1.— Новосвбирскт ВЦ СО АН СССР, 1972.— С. И9 — 139.) 12е9. Р а те твои М. Я., 'Не из ! ! С. Т. СозирагвИте ЗсЬеиза!о)о2у// Ргос. о1 зЬе АСМ Сой!. оп Соисштепз Був!епш апй РагеПе1 Сатира!аИ- оп.— Н. Ч., 1970.— Р. И9 — 127. (Русский перевод: Патерсои М. С., Хьюитт С. Е. Сравнительная схематологвяП Киберветвчесивй сборшзк. Новая верши Сб. статей.

Вып. 13. — М.: Мвр, 1976.— С. 62 — 72.) 244 130. Р 1 а 1 в 1 е й В. Ргобкаш БсЬешев»41Ь Соиптеш И Ргос. о1 фЬе 41Ь Апп. АСМ Яуар. оп ТЪвоку о1 Созпр.— Вепчег, 1972.— Р. 44 — 51. 131. Р о в 1 Е. 1. Рнизе СошЫпвгогу Ргосеввев-Рогпш1а11оп 1 д ЯушЬ. Ьо61с.— 1936.— Ч. 1, № 3.— Р. 103 — 105. 132. Р о в 1 Е. 1 . А ЧаНапт о1 а Кесикв№е Юпво1чаЫе РгоЫеш И Ви11. о1 Аш. Матй. Яос.— 1946.— Ч. 52, № 4.— Р. 264 — 268. 133.

В а Ь зп М. О., Б воск О. Р1пзте Аигзиаатв апй ТЬеЬ' Песиков РгоЬ- !ешв д 1ВМ Х. Вев. Веч.— 1959.— Ч. 3, № 2.— Р. Ы4 — 125. 1Русский перевоКз Рабин М. О., Скотт Д. Конечные автоматы н вада»и их пВа 1 бо вреюепия И Кибернепзческий сборник. Новая серия: Сб. статей. ып. 4.— М.з Мир, 1962.— С. 58 — 91.) 134. В овен В. К. РкоБпна ечизчв1епсе апй сопсекз — 1гее бгвшзааквд 1. Сошризек впй Яувтеш Яаз.— Ч. 11, № 3.— Р. 358 — 374. 135.

В ов епЬ егБ А. Оп Мзйсз — Неай РзпВе Аитазсасад Ргос. о1 1Ьв бкЬ Апп. 8ушр. оп Б» зтсЬ. ТЬеогу апй ЬсЯ. Оевзбп. — 1963.— Р. 221 — 228. 136. К и 11 е й Б е 1. В. Оп 1апоч'в Ргобквш ЯсЬешвтв д Ю. АСМ.— 1964.— Ч. Ы, № 1.— Р. 1 — 9. 137 Я а Ь е11 е1 6 Ч. К. Тгее е1и№в1епсе о1 Впевг гесигмче всЬезпага 1в ро1упопйа1-Сппе йесЫвЫе И 1п$огпзвгзоп Ркасевв1пБ Ьеттегв.— 1981.— Ч. 13, № 4.— Р.

147 — 153. 133. Я 1 г о и Б Н. В. Тгапв1аззпб Кесагвзоп ЕциаМоов 1пто Р1он-СЬвг~в И Ю. Созпризег вай Зувзеза Яс1.— 1971.— Ч. 5, № 3.— Р. 254 — 285. 139. Ятг опЯ Н. В. Н16Ь Ьечзй 1.апБ»абев о1 Мвкппиш Ро»егд Ргос. о1 ЗЬе 12ЗЬ Аппив1 1ЕЕЕ Яушр. опЯ»чтсЬ. апй Аитош. ТЬеогу.— 1971.— Р. 1 — 4. 140. Т ой и та К., К авазп1 Т., Р и го ге ЗЬ. 1апоч 8сЬешав Аибшепзей Ьу а РивЬйощп Мешогу И Ркос. о1 1Ье 151Ь Апп. 1ЕЕЕ Зушр. оп 8»чксЬ.

впй Аигзна. ТЬесгу.— 1974.— Р. 84 — 94. 141. Т и г 1 и Б А. М. Оп СошризаЫе КипзЬшч, »41Ь ап Аррйса11оп зо 1Ье ЕпзвсЬезйипбвргоЫеш И Ргос. Ьопйоп МаВв Яос.— 1936. — Ч. 42, Яег. 2.— Р. 230 — 235. 142. чу а1Ь е г 8. А., 3 скопа Н. В. СЬвкасзвз1штзапв с1 р1озчсЬакзаЫа Кесигв1оввд Ргос. о1 1Ье ЮЬ Апа.

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

Тип файла
DJVU-файл
Размер
3,29 Mb
Тип материала
Высшее учебное заведение

Список файлов книги

Свежие статьи
Популярно сейчас
Как Вы думаете, сколько людей до Вас делали точно такое же задание? 99% студентов выполняют точно такие же задания, как и их предшественники год назад. Найдите нужный учебный материал на СтудИзбе!
Ответы на популярные вопросы
Да! Наши авторы собирают и выкладывают те работы, которые сдаются в Вашем учебном заведении ежегодно и уже проверены преподавателями.
Да! У нас любой человек может выложить любую учебную работу и зарабатывать на её продажах! Но каждый учебный материал публикуется только после тщательной проверки администрацией.
Вернём деньги! А если быть более точными, то автору даётся немного времени на исправление, а если не исправит или выйдет время, то вернём деньги в полном объёме!
Да! На равне с готовыми студенческими работами у нас продаются услуги. Цены на услуги видны сразу, то есть Вам нужно только указать параметры и сразу можно оплачивать.
Отзывы студентов
Ставлю 10/10
Все нравится, очень удобный сайт, помогает в учебе. Кроме этого, можно заработать самому, выставляя готовые учебные материалы на продажу здесь. Рейтинги и отзывы на преподавателей очень помогают сориентироваться в начале нового семестра. Спасибо за такую функцию. Ставлю максимальную оценку.
Лучшая платформа для успешной сдачи сессии
Познакомился со СтудИзбой благодаря своему другу, очень нравится интерфейс, количество доступных файлов, цена, в общем, все прекрасно. Даже сам продаю какие-то свои работы.
Студизба ван лав ❤
Очень офигенный сайт для студентов. Много полезных учебных материалов. Пользуюсь студизбой с октября 2021 года. Серьёзных нареканий нет. Хотелось бы, что бы ввели подписочную модель и сделали материалы дешевле 300 рублей в рамках подписки бесплатными.
Отличный сайт
Лично меня всё устраивает - и покупка, и продажа; и цены, и возможность предпросмотра куска файла, и обилие бесплатных файлов (в подборках по авторам, читай, ВУЗам и факультетам). Есть определённые баги, но всё решаемо, да и администраторы реагируют в течение суток.
Маленький отзыв о большом помощнике!
Студизба спасает в те моменты, когда сроки горят, а работ накопилось достаточно. Довольно удобный сайт с простой навигацией и огромным количеством материалов.
Студ. Изба как крупнейший сборник работ для студентов
Тут дофига бывает всего полезного. Печально, что бывают предметы по которым даже одного бесплатного решения нет, но это скорее вопрос к студентам. В остальном всё здорово.
Спасательный островок
Если уже не успеваешь разобраться или застрял на каком-то задание поможет тебе быстро и недорого решить твою проблему.
Всё и так отлично
Всё очень удобно. Особенно круто, что есть система бонусов и можно выводить остатки денег. Очень много качественных бесплатных файлов.
Отзыв о системе "Студизба"
Отличная платформа для распространения работ, востребованных студентами. Хорошо налаженная и качественная работа сайта, огромная база заданий и аудитория.
Отличный помощник
Отличный сайт с кучей полезных файлов, позволяющий найти много методичек / учебников / отзывов о вузах и преподователях.
Отлично помогает студентам в любой момент для решения трудных и незамедлительных задач
Хотелось бы больше конкретной информации о преподавателях. А так в принципе хороший сайт, всегда им пользуюсь и ни разу не было желания прекратить. Хороший сайт для помощи студентам, удобный и приятный интерфейс. Из недостатков можно выделить только отсутствия небольшого количества файлов.
Спасибо за шикарный сайт
Великолепный сайт на котором студент за не большие деньги может найти помощь с дз, проектами курсовыми, лабораторными, а также узнать отзывы на преподавателей и бесплатно скачать пособия.
Популярные преподаватели
Добавляйте материалы
и зарабатывайте!
Продажи идут автоматически
6551
Авторов
на СтудИзбе
299
Средний доход
с одного платного файла
Обучение Подробнее