1626435697-9d9ede204f9baad60159c2d6531787c7 (844297), страница 106
Текст из файла (страница 106)
Хоор (Ноаге С. А. й.) ]1962) Сш(айза«1, Сотри!.,!., 5, № 1, 1Π— 15. Хопкрофт (Норсгой 3. Е.) [!97!) Ап л 1ой и а!йоИИип (ог пип1«пнбпй з1а!т 1п а ЕпИе аи1оша1а, см. Кохави, Пац [!971), !89 — 196 (Русский перевод в Кибернетическом сборнике, нав. сер., вып. 11, М., Мир, 1974, стр. Ь77 — 184.) Хопкрофт, Карп (НорсгоИ д. Е., Кагр (!. М.) ]1971) Ап а!йогИЬго !ог 1езИпй Рос ег(и(ча!енсе о( Ипйе аи!оша1а, ТК-71-!!4, Оер(. Со«при!.
БсЬ, СогпеИ 1!п!чегзИу, ИЬаса, НЛ. Хопк!юфт, Керр (Норсгой 3. Е., Кегг 1.. К.) [!971] Оп ш!п!ш!х!пй ИЬе пшпЬег о! пшРИрИса1юпз песе«вагу 1ог ша1г!х пш1- ИрИсаИоп, ИАМ Л Арр!. Ма(Ь., 20, № 1, 30 — 36, Хопкрофт, Мусинскн (Норсгой 3. Е„Миз(пзй!! Л) [ !973] РиарАу !п бе1егш!п(пй !Ье сошр!ехйу о( попсошпш(аИче ша1пх пшИ!рИсаИоп, Ргос. 50а Апина! АСМ Бушрозшш оп ТЬеогу о1 СошриИпй, АизИп, Техаз, 73 — 87. Хопкрофт, Тарьян (Норсгай д. Е., Тат!ап (!. Е.) [1973а] ЕИипеп1 р!апаг11у 1ез!1пй, ТК-73-165, Оер1.
Сошри1. Бс!., СогпеИ ЬГп1чегз!(у, !(Ьаса, Н. г". См. Также«. Атос. Сотри(. Ма«Ь. 21, № 4 (!974). [!9736) Р!ч!сИпй а йгарЬ !п(о 1псоппес1еб сошропеп(з, ИАМ ч'. Сотри(., 2, № 3, 135 — 157. Н973в) ЕРЗс(еп! а!йагИ!ипз (ог агарЬ пгап!ри!аИоп, Сотт. АСМ, 16, № 6, 372 — 378. Хопкрофт, Ульман (Норсгой д. Е., !Л!тап Я.
О.) [1969] Гахша! !апйиайез апб 1Ье(г ге1аИоп 1о аи(оша1а, Абб!зоп-(Чез!еу, ((еа. б!пк, Маза. [1973) $е1 шегй!пй а!йогИ1ипз, ИАМ Л Сотри!., 2, № 4, 294 — 303. 512 СПИСОК ЛИТЕРАТУРЫ Хопкрофт, Уонг (Норсгой 3. Е., ЧУопй 3. К.) [1974] А Ипеаг Илге а!йог(Ипп 1ог |вопюгрЫзш о1 р!апаг йгарЬз, Ргос. 6|Ь Апина! АСМ 5ушров|шп оп ТЬеогу о| СошриИпй, 5еа|и, 07авЫпй(оп, 172— 184. Хорват (Ногча!Ь Е. С.) [1974] 5огпе ей(с|еп1 з1аЫе зогИпй а|йогИЬпы, Ргос.
6!Ь Апина! АСМ 5ушрозпип оп ТЬеогу о| СошрЫ|пй, 5еа|и, Ч|(азЫпй(оп, 194 — 215. Хоровии (Ногочг!(г Е.) [1972] А 1ав! ше|йоб |ог !п1егро|Ыюп из|пй ргесопбИ!оп!пй,(л(опл. Ргосевв. (.еГГ., 1, № 4, 157 — 163. Ху Ни 'Т.'С.) 1968[ А бесошраз(Иоп а|йоп|йгп |ог вЬог|ез| ра|йз |п а пе!гчогЫ, Орегат, ]7ев., 16, 9! — 102. Ху, Таккер (Ни Т. С., Тис1«ег А.
С.) [1971] ОрИпшш Ь!пату зеагсЬ !геев, $/АМ,/. Арр|. Ма|А« 21, № 4, 514 — 532. Хздиан, Соубел (Наб|ап А., 5оЬе| М.) [1969] 5е!есИпй |Ье Г!Ь 1агйев! ив|пй Ыпагу еггог!ет сошрапзопв, Тесп. [(ер1. 121, Оер|. о1 5(аИзИсь, ЦшчегзИу о1 М|ппезо!а, М|ппеаро1 |в. Цейтин Г. С. '[1968] О сложности вывода в исчислении высказываний, Записки научи. семинаров Ленингр.
отд. Матем. ин-та АН СССР, т. 8, 234 — 259. Шенхаге (5спбпйаце А.) [1971] 5сйпеИе Вегесйпипй чоп КеИепЬгисйеп|м|сЫипйеп, Ас|а (л7огт., 1, !39 — 144. Шенхаге, Штрассен (5сЬопЬайе А., 5(сатен Ч.) [!971] 5сЬпеИе Ми1Ир!Гка1юп йговвег 2аЫеп, Соглриблй, 7, №3 — 4, 28! — 292. (Русский перевод в Кибернетическом сборнике, нов. сер., вып. 1О, М., Мир, !973, стр.
87 — 98.! Шепердсон, Стерджис (5йерЬегбвоп а. С., 5(игй(з Н. Е.) [1963) Сошри1аЬ||Иу о1 гесигз|че ЫпсИопз, Л Авюс. Сотрид Маей., 10, № 2, 217 — 255. Штрассен (5(тавзен Ч.) [1969) Оаит!ап еИпипаИоп Ь по1 орИша!, дгилмг. Марг., 13, № 4, 354 — 356. (Русский перевод в Кибернетическом сборнике, нов. сер., вып. 7, М., Мир, 1970, стр. 67 — 70.) '[1973] Чеппейипй чоп О!ч!з!опеп, «. )7е|ла Алдие. Ма!А« 264, !84 — 202. [!974] Ро!упош!а!з тч!!Ь гаИопа! сое(1!с!еп(в игЫсЬ аге Ьагд 1о сошри1е, $(АМ |С СотрИ., 3, № 2, 128 — 149. "'[|976] Сотри!аИопа| сошр|ехйу очег Вийе Ие1бз, $1АМ г'.
Сотри(. 5, № 2, 234 — 33!. Элгот, Робинсон (Е!йо( С. С., ((оЫпвоп А.) [1964] )(апбош асеева в!отед ргойгаш шасЫпез, «', Авюс. Сотриг. Масй., 11, № 4, 365 — 399. Эренфойхт, Цайгер (ЕЬгеп|еисЫ А., Ее!йег Н. Р.) [1974] Сошр|ехйу шеаьигез 1ог гейи!аг ехргеьь|опв, Ргас. 6|Ь Аппиа! АСМ 5ушроз|шп оп ТЬеогу о1 СошриИпй, Зеа(Ие, %азЫпй(оп, 75 — 79. Яагер (Чоипйег О.
Н.) [!967] ([есойпйюп о1 соп|ех|-(гсе !апйиайез ш |иле ль, 1л(огт. алг( Солгг., 1О, № 2, 189 — 208. (Русский перевод в сб. «Проблемы математической логикиа, М., Мир, 1970. стр. 344 — 362.) ГЛОССАРИЙ АРР Ьед!п Ь вЂ” сложить (команда сложения) — и (коиъюнкция) †нача — сокращение от Ыап)г — пустой (символ, обозначающий пустую клетку ленты) — выбор — комментарий †сокращен от б!чи!е — разделить (команда деления) †дела — иначе, в противном случае — конец СН01СЕ сопппеп1 Р1Ч бо е1зе ецио ехс1нз!че сложение по модулю два) — ложь, ложный — ДЛЯ вЂ” то же, что йо 1о — перейти к — остановиться (команда остановки) — если ... то — в — сокращение от !шпр оп дгеа1ег 1Ьап гего — перейти (к указанной команде), если (содержимое сумматора) больше нуля.
— перейти (безусловный переход) †сокращен от )цшр оп гего (разъясняется аналогично 36Т2, но переход при равенстве содержимого сумматора нулю) — сокращение от 1еН вЂ” влево (сдвиг головки влево) — загрузить (вызов в сумматор) — сокращение от щц11!р!у — умножить (команда умножения) — не (отрицание) — в противном случае !а!зе 1ог ао1о НА1.Т И ...
1Ьеп !п д6Т2 ЛИР Д2ЕКО Е 1.0АР М!Л.Т по1 о(Ьегтг!зе ззз ог — исключающее или (разделительная дизъюнкция, или Глоссхаип Рор рг!п1 ргосед иге рнзН ог й геа4 геч гереа1 ге1пгп 5 ЗРАСЕ з(ер ВТОРОЕ Я)В 1Неп Т!МЕ (тне ппй! тгН! 1е в!й вг!(е — вытолкнуть (из стека) †напечата (на выходной ленте) †процеду †затолкну (в стек) — или (дизъюнкция) — сокращение от г!йН1 — вправо (сдвиг головки вправо) — прочитать (со входа) — сокращение от гетегзеб — обращенный — повторить †выда (результат) — сокращение от з1а11опагу — неподвижный (голозка остается на месте» вЂ мес (занимаемое чем-либо), объем или размер памяти машины — шаг (изменення параметра цикла) — поместить (команда запоминания) — сокращение от зцй(гас1 — вычесть (команда вычитания) — см.
П ... 1Неп — время — истина, истинный вплоть до — до тех пор, пока — сокращение от гг!1Ноп1 !озз о! аепега!!1у — без потери общности †записа (на выходную ленту) ИМЕННОЙ УКАЗАТЕЛЬ дел Аандераа (Аапйегаа 5. 0.) 310 Адельсон-Вельский Г. М. 193, 196 Аппель (Арре! К.) 449 Арлазаров В. Л. 283 Ахо (АЬо А. Ч.) 1%, 196,225, 239,254, 353, 402, 403, 419 Банч (ВипсЬ д.) 283 Барти (Ваг1ее Т.) 283 Белага Э. Г. 501 Беллмаи (Ве)!гоап й.
Е.) 92 Берж (Вегйе С.) 92, 254 Бернхард (Вцгййагй %. А.) 92 Биркгоф (ВггЫюй б.) 283 Блатгнер (В1айпег %. О.) 254, 450 Блюм (В!игл М.) 56. 127 Блюсгейн (В!пса!е!и 1.. А) 353 Бородин (Вегой!и А. В.) 56, 353, 501 Браун (Вгони %. 5.) 353 Бруно (Вгопо 3. 1..) 450 Бук (Воой й. Ч.) 450, 474 Вагнер (%айпег й. А.) 92, 253, 403 Вайнер (%е!пег Р.) 403 Валиант (Ча11ап! 1.. б.) 283 Варн (Чай Т. М.) 353 Виноград (%!пойгай 5.) 92, 283, 501 Гиллер (ба11ег В.
А.) 196 Гарсиа (бага!а А.) 501 Гейл (ба1е О.) 127 Гилберт (С61Ьег! Е. Х.) 196 Годбоул (боййо!е 5. 6.) 92 Грасселли (бгвые!В А;) 450 Грей (бгау 3. М.) 403 Грэхем (бгаЬаго й. 1..) !27 Гуд (бооп 1. 3.) 303 Гэри (бассу М. й.) 254, 450 Даниелсон (Оап!е1юп б. С.) 310 Данциг (Оап!х!8 б, В.) 254, 450 Дейкстра (ОЦ1гз!га Е. %.) 254 Джентльмен (беп!!егпап %.
М.) 310, 353 Джонсон Д. Б. (3оЬпаоп О. В.) 253, 254 Джонсон Д. С. ()ойпюп О. 3.) 450 Джонсон С. К. ()оЬпюп 6. С.) 353 Джонсон С. М. (Яойпюп 3. М.) !26 Джоунс ()опек Ы. О.) 450 Диветти (Р!чеРВ 1..) 450 Диниц Е. А. 283 Девис (Оач!а М.) 19 Зивекинг (3!ечеЫпй М.) 353 Иоарра (1Ьагга О. Н.) 403, 450, 474 Ив (Ече д.) 501 Ивен (Ечеп 3.) 254, 450 Карацуба А. А. 92 Кад (Катр й. М.) 127, 1%, 353, 403, Касами (Кааапп' Т.) 92 Кедем (Кейегп Я.) 501 Кениг (Кбп)6 Н.) 310 %чу КеРР (Кегг 1..
К.) 253, 283, 479, 510 Киркпатрик (К!гйрв!г!сК О.) 50! Кислицын С. С. 127 Клики (К1еепе Б. С.) 254, 403 Кнут (Кпц!Ь О. Е.) 92, 127, 195, 196, 353, 403, 501 Кок (Соске 3.) 92 Коллинз (СоВшз О. Е.) 353 Констейбл (Сопз1аЫе К. 1..) 474 Крейн (Сгапе С. А.) 1% Кронрод М. А. 283 Крускал (Кгцз1га! 3. В., Зг.) 254 Кук (Соой Б.
А.) 56, 353, 403, 450, 473, 474, 501 Кукк (Кцс!г 1). 3.) 92 Кули (Соо!еу 3. М.) 310 Кунг (Кцп8 Н. Т.) 353 Ландис Е. М. 193, 196 Ланцош (1.апсхоз С.) 310 Липсои (С!рзоп 3.) 353 Льюис П. А. (ашетт(з Р. А.) 310 Льюис П. М. (1.ею!з Р. М. П) 56, 196, 474 Лю (1.ш С. 1..) 92, 127 Мак-Илрой (Мс1!гоу М. П.) 196 Мак-Келлар (МсКе1!аг А.
С.) 127 Мак-Лейн (Мас!.апе Б.) 283 Мак-Нотон (МсНацйЫоп К.) 254 Матиясевич Ю. В. 403 Мейер (Меуег А. Я.) 254, 283, 310, 450, 473, 474 Миллер (М!Вег Е. Е.) 403 Минский (М!пз1гу М,) 56 Моенк (Моепсй Я.) 353 Моргенштерн (Мог8епз(егп 3.) 310, 501 Моррис Дж. (Могпз Л. Н.) 403 Моррис Р. (Могг1з Е.) 1%, 196 Моцкин (Мо1хйп Т. Б.) 501 Мунро (Мцпго 1,) 254, 353 Мур (Мооге Е. Р.) 196 Мураока (Мцгао1га У.) 92 Мусинский (Мцз!пзМ д.) 501 Нечипорук Э. И. 50! Нивергельт (ЬЛечегйеВ 3.) 196 Николсон (Х!сЬо)зоп Р.
д.) 310 ИМЕННОЙ УКАЗАТЕЛЬ Островский (ОжгомзМ А. М.) 501 Офман Ю. П. 92 Пан А. (Рап А.) 253, 254 Паи В. Я. 501 Патерсон (Ра!егзоп М. Б.) 196, 310, 403 Поль (РоЫ 1.) 92 Пратт В. (РгаН У. Я.) 126, !27, 403. 50! Пратт Т. (РгаН Т. %.) 92 Прим (Рпш К. С.) 254 Рабин (ЕаЫп М. О.) 56, 196, 253, 403, 473, 474, 501 Рабинер ()(вЫпег 1..
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
