1626435697-9d9ede204f9baad60159c2d6531787c7 (844297), страница 105
Текст из файла (страница 105)
Уь 1389 — 1401. Рабнн (йаЬ|п М. О.) [1963] йеа!Кипе сотРи1аИоп, 1аг. г'. Ма(дь 1, № 4. Ж|3 — 211. (РУсскнй пеаевод в сб. еПроблемы математической логнкнз, М., Мир, 1970, стр. 156 — 157.) [1972] Ргоч)пй з)вийапеоиз розИ1чИу о] Ипеаг 1оппз. г'. Сотри!. алс( Буэт.
Бж., 6, № 6, 639 — 650, Рабин, Виноград (йаЬсп М. О., %!побгаб Б.) [!971] Раз( еча!иаИоп о( ро!упопнаЬ Ьу гайана! ргерагаИоп, !ВМ. ТесЬп. йер(. КС 3645, Уог№оюп Не!8Ыз, )с!.'г'. (См. также Малмлаглшса, !8| 4, (!974). 98 — 120.) Рабин, Скотт (КаЬ|п М. О., Бсоп О.) [!959) Р!пме аи1оп|а1в апс! !Ьеи бес!в!оп ргоЫетз, 1ВМ .1. Вез.
ала Омн(., 3, № 2, 114 — !25. (Русский перевод в Кнбернетнческом сборнике, вып. 4, М., Ил, 1962, стр. 56 — 9!.) Рабинер, Рейдер (ред.) (йаЬ|пег 1.. К„йабег С. М.) [1972] О!ййа! Ийяа! ргосезз!пй, 1ЕЕЕ Ргезз, Ыесч Уогв Рабннер, Шафер, Рейдер (йаЫпег 1.. К., БсЬа1ег й. %., Кадет С. М.) [!969] ТЬе сЫгр г.1гапз1опп апб Из аррйсаИоп, Ве(1 Зузг. Тесла. А, 48, №3, 1249 — 1292. См. также Рабннер, Рейдер [1972), 322 — 328.
Раунда (Коипбз %. С.) [1973] Сотр1ехИу о1 гесойпИ!оп 1п !п1егтейа1е 1ече) !апйиайез, !ЕЕЕ 1463 Аппиз) Буврозшп| оп БРА(сЫпй апб Ап(ота(а ТЬеогу, 145 — 158, Рейнгольд (йе!пйо!б Е. М.) [ !972] Оп 1Ье арИтаШу о( зове зе! а1йогИЬвз, 1. Амос. Соври!. Маей., 19, № 4, 649 — 659. Рейдер (йадег С, М.) [1968] П!зсге(е Роиг)ег (гапз1опп юЬеп 1Ьв пшпЬег о1 ба1з ро!п1з М ргипв, Ргог. 1ЕЕЕ, М, 1107 — 1108. Роджерс (йойегз Н. дг.) [|967] ТЬеогу о( гесигз!чв рапсйопз апб ейесИчв соп|ри1аЫШу, МсОгасч.НИ1, )чесч Уог1с. (Русский перевод: Роджерс Х., Теория рекурсивных функций н эффективная вычнслимость, М., Мнр, 1972.) Рунге, Кениг (йипйе С., Кбп!8 Н.) [1924] [7(е Огипб!ейгеп бег гпасйетаИзсЬеп %1ззепзсйайеп, В. 11, Брг!пйег, Вегйп. Сай рас, Фишер, Мейер (Бейегаз д.
бя Р)зсйег М. 3ь Меуег А. К.) !973] Кейпе|пеп1з о( попбе|егв|п!зйс Ип|е апб зрасе Ь|егагсЫез, !ЕЕЕ 14(Ь Аппиа! Бувроз!ив оп БсчйсЫпб апб Аи1о|па1а ТЬеогу, 130 — 137. Сахни (Байп1 Б. К.) [1972[ Боп|е ге!а!ей ргоЫепю (гоп| пе(исог$с Коим, йавв И|соту апб !п1ейег гойгаппп!пй, 1ЕЕЕ 13!Ь Аппиа1 Бугпрозшсп оп БмйсЫпй апс( Аи(ова(а Ьеогу, 130 — 138. Сети (Бе1Ы й.) [1973] Со|пр!е(е гей)з(ег айосаИоп ргоЫепм, Ргос, БИ| Аппиа! АСМ Бувроз1ип| оп ТЬеогу о! СотриИпб, АизИп, Техаз, 182 — !95. Сннглтон (Б!п81е(оп К. С.) (1969] А!йогИЬв 347: ап а1йогШип !ш зогйпй мИЬ п|(пипа) з(огвбе, Сотаь АСМ, 12, №3, 185 — 187.
Слнсенко А. О. '[1977) Распознавание преднката вхождения в реальное время, препрянт СПИСОК ЛИТЕРАТУРЫ ЛОМИ Р-1-11, Ленинград. Слоун (Б!оапе Ь). 3. А.) [!973) А ЬапдЬооЬ о$ (п1е2ег зениепсев, Асабев!с Ргевв, Нега ТогЬ. Спнра (Бр!га Р. М.) (1973] А пегч а12опйв $ог $!пб!п8 вИ зЬаг1ез1 райв !п а 8гарЬ о$ ровгИче апи !п ачега8е Иве 0 (л' 1о8л), 5!АМ Л Сотри!., 2, № 1, 28 — 32. Спира, Пан (Бр!га Р. М., Рап А.) [!973) Оп $!пб!п8 апб ирбайп2 вЬог1ев$ райк апб храпи!п2 1геев, (ЕЕЕ 14й Аппиа1 Бувровйв оп Бич!$сЫп8 апб Аи(ова$а ТЬеогу, 82 — 84.
Стирнв, Розенкранц (Б(вагиз й. Е., йавепЬгап(г $). 3.) [1969) ТаЫе ввсЫпе з!ви1в(!оп, )ЕЕЕ 10й Апина( Бувровив оп Бич!(сЫп2 ап6 Аи$ова$а ТЬеогу, 118 — 128. Стокмейер (Б(асдвеуег $.. Л.) [1973) Р!апаг 3-со!огаЫ(йу !з ро!упов1а! сагир!е1е, 510АСТ Агаев, 5, № 3, 19 — 25. Стокмебер, Мейер (51осЬвеуег 1.. 3а Меуег А. й.) [$973[%огд ргоЫепи геци!г!п8 ехрапеп(!а1 $1ве, Ргос. 51Ь Апина! АСМ Бупь раз!шп ап ТЬеогу о$ Соври(!п8, 1 — 9. Стоун (Б(опе Н.
Б,) [1972) 1п(гог)ис(1оп $о соври$ег ог8ап!гаИоп апд да!а в(гис(игт, Мсбгаи-НИ(, Ь(ем ТогЬ. Сзнич (БачйсЬ %. 3.) [1910) йе!аИопзЫр ЬеИаееп попбе(егв(п!вИс апб бе(епп!п!з($с 1аре совр!ех1. Иев, Л Сотри!. алг(ЮувГ. Бс!., 4, № 2, 177 — 192. [197Ц Маге гесо8п!г!п8 аи$ова1а, Ргос. 41Ь Аппиа! АСМ Буврозгшп оп ТЬеогу о! СовриИп2, Оеачег, Со1огадо, 151 — 156, Тарькн (Тат)ап й. Е,) [1972] Оерй Игв1 веагсЬ апб 1!пеаг 8гарЬ а!2ог((Ьвв, 31АМ а.
Сотриз. $, № 2, 146 — 160. [1973а) Г1пгйпк г(ов(па!ага !п гйгес1еб 8гарЬз, Ргос. 11Ь Апиа( Рппсе(оп Соп1егепсе ап 1п1оппаИоп Бс(епсев апд Буз1епм, 414 — 418. [19736) Тев(!п8 Нога 8гарЬ гадис!Ы!Иу, Ргос. 5й Аппиа1 АСМ Бувроз!шп оп ТЬеогу о$ СогприИп8, АизИп, Техав, 96 — 107. [1975) Оп 1Ье е($!с!епсу о$ а 8ооб ЬЫ по$ Ипеаг зе1 ип1оп а(8ог!(Ьв,,/.
Аюс. Сотри(. Масб„22, № 2, 2!5 — 224. '[1977) йе1егепсе васЫпев гецвге поп-Ипеаг $ппе 1о гпа!п$а!п гйв)о!п1 веЬЬ Ргос. 9й Апина! АСМ Бувроюшп оп ТЬеогу о1 СовриИп8, Вон!бег, Со!огабо, 18 — 29. Томпсон (ТЬоврвоп К.) [1968] йе8и!аг ехргевзюп веагсЬ а!8ог!$Ьв, Сотгл. АСМ, 11, № 6, 4!9 — 422. Трауб (ред.) (ТгаиЬ 3.
Р.) [1973] Совр!ехйу о! зециеп(!а! апг$ рагаИе1 пшпепса1 а!8оп!Ьвв, Асабепис Ргезв, Ь(егч УогЬ. Трахтенброт Б. А. '[!956) Сигнализирующие функции и табличные операторы, Уч. записки Пензенского гос. пед. ин-та, 1Ч, 75 — 87. Тьюринг (Тиг1п8 А.
М.) [1936) Оп согари$аЫе пивЬегв, и!!Ь ап арр!йаИоп 1о йе Еп(зсЬе!бип8зргоЬ1ев, Ргог. (млг(ол Мари Бос., зег. 2, 42, 230 — 265. СоггесИопв, там же 43, 1937, 544 †5. Уильямс (%!!Бава Л. %. д.) [1964) А18огй1ип 232: Неарвог1, Сотт. АСМ, 7, № 6, 347 — 348. Ульман (1Л!вап 3. $).) [1973] Ро!упав!а! совр!е1е зсЬеби1!п8 ргоЫевв, Ргос.
4й Бувроз!шп оп ОрегаИп2 Був$ев Рппс!р1ев, 96 — 101. [1974) Раз1 а!8огйЬвз 1ог 1Ье е!ип!паИоп о1 сапипоп зиЬехргевв!опз, Ас(а (л[огт., 2, № 3, 191 — 213. 549 СПИСОК ЛИТЕРАТУРЫ Уоршолл (!Уагв!гай Б.) [!962) А йеогев оп Воо1еап ва(г1сез,,). Азюс. Сопри!. Моей., 9, № ! Фнд чена (Ггбисс!а С.
М.) !971) Газ( гпа1пх ви)Ир!ка[1оп, Ргос. Згб Апина! АСМ Буврожив Т огч о( СовриИпй, БЬа1гег Н)ЕЫз, ОЫо, 45 — 49. [1972) Ро!упов)а! еча!иаИоп ч(а йе ЙЫвюп а16огИЬв — йе 1аз1 Гоипег 1гапв. (опп гегйзйеб, Ргос. 4й Апина[ АСМ Бувроз!шп оп ТЬеогу о1 СоприИпй, Оепчег, Со)огайо, 88 — 93, Фишер (Г!всЬег М. 3.) [!972) Ейк[епсу о( ейи!ча(епсеа!йопйвв, см. Миллер, Тэчер [1972), 153 — 168. Фишер, Мейер (Г)всиег М. 3., Меуег А. й.) [!971) Воо!сап ва1пх виИ(рйсайоп апб 1гапвгйче с!озиге, 1ЕЕЕ 121Ь Апина! Бувроз!шп оп Бчг!(сЫпй апб Аи(ова1а ТЬеогу, 129 — !3!.
Фишер, Петерсон (Г!всйег М, 3., Ра1егзоп М. Б.) [1974) Б(г!пй-ва1сЫпй апб о(Ьег ргобис1в, Совр1ехйу Сошри1. (Б)АМ вЂ” АМБ Ргос., Чо!. 7), Ргочгбепсе, й. 1. 113 — 125. Фишер, Рабин (Г(всиег М. 3., йаЬ)п М. О.) [1974) 5ирег-ехропепИа! совр1ехиу о! РгевЬигйег аг!йве(к, Совр!ехйу Согп. ри(.
(5!АМ-АМБ Ргос., Чо!. 7), Ргоч!депсе, й. 1., 27 — 42. Флойд (Г)оуб й. \Ч.) [1962) А!бог!Инп 97: в!юг(ев1 ра(Ь, Сожги. АСМ, 5, № 6, 345. [1964) А!бог!Иив 245: !геезог) 3, Сопли. АСМ, 7, № !2, 70!. Флойд, Рнзест (Г!оуб й. %., й)чев( й. 1..) [1973) Ехрес(еб Иве Ьонпбв (ог зе1ес1юп, Соврвег Бс!. Оер1., Б(вп1огб 1)п). чегвйу. Форд, Джонсон (Гогб 1.. й., ЯоЬпзоп Б. М.) [1959) А (оигпагпеп1 ргоЫев, Атег. Майи Молей(у, 66, 387 — 389. Фрэзер, Мак-Келлар (Ггахег гу.
О., МсКеПаг А. С.) [1970! Бввр1езог(: а звар11п8 арргоасЬ 1о липина! в(огайе 1гее югИпй, а. Аявс. Соври(. Маей., 17, № 3, 496 — 507. Фурман М. Е. [1970) О применения метода быстрого перемножения матриц в задаче нахождення транзнтнзного замыкания графа, Доклады АН СССР, 194, № 3, 524. Хант (Нип) Н. В. (Н) [1973а) Оп йе Иве апб 1аре согпр!ехиу о( 1апйиайез, Ргос.
51Ь Апина( АСМ Бугпрозшв оп ТЬеогу о! СогприИпй, АивИп, Техаь, 10-19. См. также Тй-73- !82, Оер1. Соври[. БсЬ, Согпей Оп!четв!1у, ИЬаса, Н. Ч. [19736) ТЬе еци[ча!енсе ргоЫев (ог гейн1аг ехргеьв!опв «г(1Ь ийегвесИоп и по( ро!упзпиа! )п (аре, Тй 73-!56, Оер[.
Сгипри1. Бс(„Сотней Ошчегзйу, 1йаса, Ь[. Ч. [1974) Б(асй 1апйиабев, й!се'з йеогев апб а па(ига) ехропепИа! совр!ехиу бар, Тй-!42, СоврЫ, Бс(. 1.аЬ., Оер1. Е1ес(г. Епб!пеег!пй, Рппсейп 1)пйегвйу, Ргвсе1оп, Ы. 3. Хант, Розенкранп (Нип1 Н. В. П!, йозепйгап1х О. 3,) [!974) Согпри1аИопа) рагайе!з Ье(ягееп йе гейи1аг апб соп1ех(.(гее 1апбиайев, Ргос. 6й Апина( АСМ Бугпрозшго ап ТЬеогу о( СоврнИПЕ, БеаИ!е, 1ЧазЫпй1оп, 64 — 74. Харарн (Нагагу Г.) [1969) Огарй 1Ьеогу, Абб!зоп-%ев!еу, йегйпй Мазь. (Русскнй перевод; Харарн Ф., Теория графов, М., Мнр, 1973.) Харпер, Сэвидж (Нагрег 1.. Н., Бачайе 3. Е.) [1972) Оп Иге совр)ехйу о1 йе вагг!аЕе ргоЫегп, Аг(эил. Ма(Ь., 9, № 3, 299 312. Хартманяс (Наг1гпапж 3.) [197!) СоврйаИопа( согпр!ехиу о1 гапбов асеева згогеб ргойгвв васЫпев, Ма!Ь. Буз(.
Тйеогу., 5, № 3, 232 — 245. 54! СПИСОК ЛИТЕРАТУРЫ Хартманис, Льюис, Стирнз (Наг1шап!з 3., 1.ев!з Р. М. 11, $1еагпз К. Е.) [1965] С!атИБсаИоп о( сотри(аИопз Ьу 1ипе апд гпепюгу геои!гешеп1з, Ргос. 1Г1Р Сопйгет 65, Браг1ап, ЬЬ х'„31 — 35. Хартманис, Стирнз (Наг!шап!з д., $(еагпз [!. Е.) [!965) Оп сотри!аИопа! сошр1ехИу о1 а!йог1!Ьшз, Тгалз. Атег.
Ма(Ь. Бос., 117, 285 — 306. (Русский перевод в Кибернетическом сборнике, нов. сер., вып. 4, М., Мир, 1967, стр. 57 — 85.) Хартманис, Хопкрофт (Наг(тап1з Я., Норсгой 3. Е.) [197!) Ап очеггИев о1 (Ье 1Ьеогу о( сошри1а1юпа( сошр!ехйу, «. Азюс. Сотри(. Масй., 18, №3, 444 — 475. (Русский перевод в Кибернетическом сборнике, нов. сер., вып. 11, М., Мир, 1974, стр, 131 — 176.) Хейндел, Хоровиц (Не!пбе! Ь.
Е., Нагов!(х Е.) [!971] Оп бесгеаз(пй 1Ье сошриИпй Ише 1ог пюби!аг агИЬшеИс, 1ЕЕЕ !2!Ь Аппиа1 Бушроз(игп оп Бв!!сЬ!пй апд Аи(оша(а ТЬеогу, 126 — 128. Хект (НесЬ1 М. $.) [1973] 01оЬа! да!а 1!ов апа1уз!з о( согори!ег ргойгашз, РЬ. О. ТЬеыз, Рер1. Е!ес1г. Еп2!пеег!пй, Рг!псе1оп Ь(п!чегз!(у. Хеппи, Стнрнз (Непп(е Р. С., $(еагпз (!. Е.) [!966] Тчо !аре з!пш!а1юп о( ши1И!аре шасЬ!пез, Л Азюс. Сотри(.
Ма«Ь., 13, № 4, 533 — 546. (Русский перевод в сб. «Проблемы математической логики», М., Мир, 1970, стр. 194 — 21!.) Хиршберг (Н!гзсЬЬегй О. $.) [1973] А !теаг зрасе а!йог(1Ьш (ог сошриИпй шах!ша! сопипоп зиЬзе«(иепсез, ТЕ-!38, Сопхри1, $с!. ЬаЬ., Рер(. Е!ес1г. Епй!пеег!пй, Рг!псе!оп Ып!чегз!(у, Рг!псе1оп, Н. д. См. также Сотт. АСМ, 18. № 6 (1975), 341 — 343. Холл (На!1 А. Р.) [1971) ТЬе АЬТКАН зуз1еш (аг гаИопа( шап!ри!аИоп — а зигчеу, Сотт, АСМ, 14, № 8, 517 — 521. Хая (НаЬЛ Р, Е.) [!958] Е!ешеп!агу ша1пх а!йеЬга, МасшИ!ап, Нев гогй.