Теория синтаксического анализа, перевода и компиляции - Том 1 (943928), страница 120
Текст из файла (страница 120)
1.исе К. О., Ваяй К. К., Оа|ап1ег.Е., |ч'Иеу, Меьч Уог)г. (Русский перевод: Хамская Н., Формальные свойства грамматик, Кибернетический сборник, новая серия, аып. 2, нзд-во „Мир", М., 1966, стр. |2| — 230,) Хомский [|965] (СЬопы1гу ЬЬ), Аьресш о1 И|е (йеогу о| аул|ах, М, 1.
Т. Ргеьз, СлвЬг!йде, Мазь. (Русский перевод: Хомский Н., Аспекты теории синтаксиса, Изд-ва МГУ, М., |972.) Хомский, Миллер [1958| (С!тать!гу М., МИ|ег О. А,), Р|пИе Ив|с |апдиадез, (гг[агт, аай Сап(га), (:2, 91 — 1|2. (Русскин перевод: Хомский Н„Мил. лер Лж., Языки с конечным числом состояний, Кибернетический сборник, вып, 4, ИЛ, М., 1962, стр. 233 — 255.) Хомский, Шютценберже [|963] (СЬогпьйу Р[., БсЬЫгспЬсгдег М. Р.), ТЬе а|- деЬгюс И|сагу о1 соп!сх!.(гее !зщиадеь, в сб. „Согпри|ег Ргодгаппшпд апй Еагпьа! Буь(евь", поят ред.
Вгадаг| Р., Н!гас!гЬегд В., МагИ|-НоИапй, Авь|егйав. (Русский перевод: Хомский Н., Шютценбержс М. Г)., Алгебраическая теория контекстно-свободных языков, Кибернетический сборник, новая серия, вып. 3, изд ва „Мир", М., |956, стр. 195 — 242.) Хопгуд [|969) (Нордаай Е. К. А.), Сапьр!1!пд !есин!г)иеь, Ашепсап ЕВеч|ег, )ч|пь"уагк,(Русскийг перевод: Ха|а ух Ф., Методы компиляции, нздво „Мир", М |97о ) Хопкрофт [|971] (НорсгоИ Л. Е.). Ап л |одп а|дагд!ип |аг ш!и!в(г!пд яИИеь Ы а Иш1е аи1ова1оп, С57| — |90, Онт|ри(ег Бс1спсе Оер1., 5|ап1агй 1)п(ч., 5(ап1огй, СаШ, (Русский перевод: Хопкрофт Лгк,. Алгоритм для миншгизации коночного автомата, Кибернетический сборник, новая серия, вып. |1, над.по „Мнр", М., 1974, гтр.
|77 в |84.) Хапкрафт, Ульмзн [1967) (НарсгоИ Л Е., |И|гпап Л [).)„Ап арргоасЬ 1о а ишИсй !Ьеагу аг аи!ища|а, Вгд БРМет Тегд У,, 48:8, 1763 — 1829. Хопкрафт, Ульман ||969| (11орсгаИ Л Е., |И|снап .!. В.), Готта! |апдиадеь апй И1е!г ге1аИоп Ы аи1огпа1а, Айй!ьоп-Феь!еу, Кеаг||гд, Мазь. 'Хорнянг | |974) (Нагп|пд Л Л), 1.К дгаввагз апй апз|уьегч, Совр||ег Сопь|гисИоп, 5гс!нге Ага!зя гп Сапдакшг Бе|енсе, 21, 85 — 108. 'Це|пнн Г. С. [|97|], Алгоритм для упращеавого синтаксического анализа, Проблемы кибернетики, 24, нзд но „Наука", М., стр. 227 — 242. 'Цейтлин Г. Е., Ющенко Е.
Л. [|975], Некоторыс вопросы теории параметрических моделей языков и параллельный синтаксический анализ, Труды Всесоюзного снмиозвуиа по методам реализации новых алгоритмических языков, часть 2, 6| — 73. Черч [|941| (СЬигсЬ А.), ТЬе са|сиИ о| !агпЬйа сопчегьюп, Алп. Май. Б!ий., 6. Четрч [|956] |СЬпкЬ А.), !п|гайисИоп |о пгз|йегпаИса! !од)с, Рппсе|оп 1|пгчегИ|у Ргсзя, Рппсещп, |ч.
Л (Русский перевод: Черч А., Введение в математическую логику, ИЛ, М., 1961.) Читэм |1965| (СЬеа|йагп Т. Е.), ТЬе ТОБ-!! 1гапь!а1ог-депега|ог зуИегп, !п1оггпаИоп Ргасеси|пд — 65 (!Р!Р Сопдгеья), 592 — 593. Читан [|966] (СЬеаИшпг Т. Е.), ТЬе |п|гойисИоп о1 йеИп(Капа| 1асИШез |п1о Ыдйег |ече1 ргадгавв!пд |апдиадеь, Ргас, Ар(РБ ра|| аа|пг Сатри|ег Сап|гиясе, 30, 623 — 637. Читэм [|967) (СЬеа!Ьагп Т.
Е.), ТЬе (Ьеогу апй сопь|гисИоп а| сап|рИсгь (2пй ей.), Согпри|ег Атас!а(с.-, |пс., учакеИе!й, Маям Чнтэм, Гтэиднш [|970] (Спев(йаш Т, Е., 5(апй(ьЬ Т.), ОрИ1п)гаИоп азрес|з о| совр||ег-сошр|!егь, АСМ $10РЬА)ч' Жо(|сея, 5: |О, 1Π— 17. СПИСОК ЛИТЕРй ТУРЫ СПИСОК ЛИТЕРАТУРЫ Читэм, Сзттли (1964] (СЬеаИгяп Т.
Е., Ба(Иеу К.), Буп1ах Мгсс1ей сотрИ!пд, Ргос, АГ!РБ Брпад йоги! Сотриггг Сол)егенся 25, 3! — 67. Чулик [|966] (Си|Уй К.), )реИ-1гапь!а!аЫе !апдиадев апй АЬОО! Ч!Ье |апдиадеь, в сб. «Раппа! Ьапдиаде Оеьсг!рИоп Ьапдиадеь 1ог Согпрйсг Ргадгзгвп1пд", под ред.
5[ее! Т; В., Ног1Ь-НоИапй, Ат«1сгйат, 76 — 85. (Русский перевод: Чулик К., Хорошо переводимые языки и языки типа АЛГОЛ, Научно-техн. информ., сер. 2, йй 3, 21 — 23.) Чулик (1968] (СЫ|й К., Н), Соп1пбиИоп |о йе1егт!и!вИс 1ор-йоип апа1уяв о1 соп1ех1-1гсе !апдиадев, Кубеглеггуа, 4;5, 422-431, 'Чулик, Кохеп [1973) (Гт!|й К., ||, Сойеп К.), ЬК гедЫаг дгатвагв — ап ех1епь!оп о1 ЬК (у) дгапипагь, зИ Сотр.
Бу«Г. Бсг., 7:1, 66 — 96. ! Шварц (|967] [БсЬчгаггь Л Т. (ей.))„Ма|йетапса! аьрес1ь о1 соври!сг во[сисе, Ргос. Бутр. Арр1. Матд., 19. «Шевченко В. В. (1974], Об одном подходе к проблеме синтаксического анализа, Кибернетика, 4, 30 — 38. Шеннон, Ман-Карти (!956] (Яьаппоп С. Е., МсСаг|йу Л (ейв.)), Аи1ота|а йи. Меь, Рппсе1оп Ип(четь!(у Ргею, Рппсе1оп, Ы.,1. (Русский перевод: Авто. магы (сб. статей), ИЛ, М., !956.) Шеиердсон (|959] (Я1ерЬегйьоп Л С.), ТЬе гейис|юп о| (гча-тчау аи1ова1а 1о опе-ьчау аи1ота1а, !ВМ Л Кеь., 3, 198 — 200. (Русский перевод; Шепсрдсон Дж., Сведение двусторонних автоматов к односторонним автоматам, Кибернетический сборник, вып.
4, ИЛ, М., 1962, стр. 92 — 98.) Школьник [1973] (Бс(йо!пгй М.), ЬаЬеИей ргесейепсе рагяпд, Сап1. Кесогй АСМ Бутрояит оп Рг!псгр|ев о1 Ргодтгяпигд 1,апдиадев, 33 — 40. Школьник (!974] (БсЫ«о|и[К М.), ТЬе ебигча|епсе о1 гейийпд |гапьИгоп |апдиадев апй йе1епп!пВИс |апдиадев, Сотт.
АСМ, 17;9, 517 — 5!9. Шорре (!964) (БсЬоггс О. ьг.), МГТА 11, а ьуп|зх ог|сп1ей согпрбег ъгИ|пд |апдиаде, Ргас. АСМ А(а!гола! Согг(егенсь, 19, рр. О1.3-1 — О!.3-! |. Шоу (1970] (БЬатч А. С.), Рагяпд о1 дгарб.гергеьеп|аЫе р|с1игев, Л АСМ, 17:3, 453 †4, 1Птрассен [1969] (5(гаввеп ТГ.), Оаивяап еИпипаИоп В по1 орИта|, гУитег. Мавй«13:4, 354 — 356. (Русский перевод: Штрассен Ф., Алгоритм Гаусса не оптимален, Кибернетический сборник, новая серия, вып.
7, «Мир", М., |970, стр. 67 — 70.) «[Нуно А. С. [1975), Об использовании слабых отношений предшествования между определяющими символами в синтаксическом анализаторе, Кибер. нелгика, 5, 69 — 76. Шумей А. С., Зоинс В. С. (1975], О синтаксическом анализе по однозначным грамматикам, Лраграилиривание, 3, 22 — 29. Шютценберже [1963] (Байи!вепЬегдег М. Р.), Оп соп1ех1-1гее 1апдиадез апй ривийоюп аи|ова1а, !а)огт.
ши| Сои!го|, 6:3, 246 — 264. Эванс (1964] (Ечапв А., йг.), Ап АСС«0! 60 согпрИег, Ана. Кеи. Аигот. Ргадгат., 4, 87 — 124. Эви [1953( (Ечсу К. Л), АррИсаИопв о| ривЬйомп-йоге васЫпеь, Ргос, АГ!РБ ГаИ уогн! Сотри|ег Сон)етепее, 24, 215 — 227. 'Эйкель (!973] (Шсйе| Л.), Ме|Ьойеп йег ьуп(а)гИвсЬеп Апа|уье Ье! 1огта|еп 5ргасЬеп, 1ес!иге А|агав !а Есанот. анй МаМ.
Був|гтго 78, 37 — 53. Эйкель и др. (1963] (Е!сйе! Л, Ран| М., Ваиег Р. Ь., Бзве|юп К.), А ьуп|ахсоп|гоИей депега|ог о| |оппа1 |апдиаде ргосеввогв, Сотт. АСМ, б:8, 45 | — 455. Элспас и др. [1971] (ЕВрав В., Огееп М. %'., ЬечИ( К. Н.), БоИиаге геИаЫ|Иу, Сотригег, 1, 2! — 27. Эигелер [!97!) (Епде|ег Е., ей.), Бутроь!шп оп ьегпапИсв о[ а|допИип|с |апдиадеь, Ьес1иге Ыо[ев гп Ма!Ьева(!сь, 5рг!пдег, ВегИп. Эрланд, Фишер (1970] (1г|апй М. 1., Р)всйег Р. С.), А ЫЫгодгариу оп согпри1а|1опа| совр1ехИу, СБКК 2028, Оер1. о1 АррИей Апа|уяв апг1 Согпри1ег Бе|енсе, ИпЬО о| У(Га(ег!оо, 11Га1ег!оо, Оп1апо.
588 Эрли [!968] (Еаг|еу Л), Ап еИ!с|еп1 соп(ех(-(гее рагь|пд а!догИЬв, РЬ. О. ТЬсьЬ, Сагпед!е-МеИоп 1)п|ч., РИЬЬигдЬ, Ра. Си. также Сотт, АСМ, 13:2, (1970), 94 — 102. (Русский перевод: Эрли Дж.„Эффективный алгоритм анализа контекстно-свободных языков, в сб. „Языки и автоматы", нзд-во «Мир", М, 1975, стр. 47 — 70.) 'Эрли ]1975] (Еаг|еч !.), АптЫдийу ап<! ргесейепсе |п аул|ах йе«спр1юп, Асва !л!огт., 4:2, 183 — 192. Эттингер (196!( (Ос| Ипдег А.), Аи!оваИс ьуп1асис апа!ув)ь апй 1Ье ривййоьчп йоге, в сб.
5(гас!иге о| 1.апдиаде апй !Н Ма1ЬегпаИса| Сопсерби Ргос. 12|8 Бугпрояшп оп АррИей Ма(ЬетаИсь,|04 — !29. 'Яжабек и Крзвчик [|975] (йаггаЬей 5., Кгачгсьуй Т,), Ш,.геди!аг дгапипвгв, !а(агт. Ргосея Сепегь, 4:2, 3! — 37. яигер (!967] (уоипдег О. Н.), Кесодп!Иоп апй рагяпд о1 сап1ех|йгее!апдиадеь гп Иве а', |а7огт. аай Сон!го|, 10:2, !89 — 208. (Русский перевод: Янгер Д, Х., Распознавание и анализ контекстно-свободных языков за время и', в сб. „Проблемы математической логики", изд-во «Мир", М., 1970, стр. 344 362.) ! УКАЗАТЕЛЬ ОБОЗНАЧЕНИЙ УКАЗАТЕЛЬ ЛЕММ, ТЕОРЕМ И АЛГОРИТМОВ Номер леммы Номер леммы Номер леммы Стр.
Номер леммы С,р. Стр. Стр 2. ! 2.2 2,3 2.5 2.6 2.7 2.8 2.9 2.10 2.!! 2.12 2.!3 2.!4 2.!5 2.!6 2.!7 2,18 125 129 129 130 13! !31 132 141 141 142 149 166 166 175 178 182 185 !86 2.!9 2.20 2.21 2.22 2.23 2.24 2.25 2.20 2.27 2.28 2.29 2.30 2.31 3.1 3.2 З.З 3.4 3.5 186 !98 200 201 202 203 207 209 2!2 215 228 229 229 260 260 262 269 275 З,б 3.7 3.8 3.10 27о 275 276 276 278 5.3 5.5 5.6 7 5.8 6,1 6.2 6.3 6.4 6.6 6.7 6.8 6.9 6,10 6.11 6.!2 45г 471 471 48т 497 49г 517 522 522 528 536 538 55! 551 553 554 554 554 3.!1 3.12 3.13 3.14 3.15 4.1 278 279 280 280 308 331 4.3 332 334 343 364 389 5.1 Номер теоремы Номер теоремы Номер теоремы Стр. Номер теоремы Стр. Стр.
Стр. О. 1 0.2 О.З 0.4 0.5 2.! 2.2 2.3 2.4 2.6 2.7 2.8 2.9 2.10 18 19 55 60 64 13! 2.11 2.12 2.13 2.14 2.15 2.!6 2.!7 2.!В 2.!9 2.20 2.21 2.22 2.23 2.24 2.25 !68 169 172 173 174 175 !77 !80 183 187 210 214 216 221 224 2.26 2.27 2.28 2.29 2.30 3.1 3.2 3.3 3.4 3.5 З.б 3.7 3.8 3,9 3.10 225 226 230 230 232 252 263 269 271 273 273 274 28! 289 299 3.
11 3.12 3.13 3. 14 3.15 4.1 4.2 4.3 4.4 4.5 4.6 4.7 4.8 4.9 4.10 300 303 306 307 309 333 335 335 343 343 354 355 357 362 366 !33 !39 143 143 !50 !52 153 !оЗ !56 а~А, афА 11 Я 12 у- А !3 с=. В, А с В 13 [х [ Р (х)) 13 АОВ АПВ А В А 14 Вт (А) 15 А)г В 16 Вг, Я+, )7е 18, !9 7:А — еВ 22 А', А', А' 24 )7то)7ы 25 е 27 аг 27 х!г 27 [х[ 28 Ел [+ [е 29 Ь" т 30 Ртг0, РтгЯ, — Р,Р— 0 33 а-(-Ь, а.Ь, а (булевы операции) 36 48 а[6 49, 5!5, 534 1гер (Т), ггер (Т) 61 ЕОА[), А[)[), МРУ, ВТОРОЕ 83 0=--(Р[, Е, Р, 5) 105 Е(0) 106, 121, 5!6, 527 яФО.
=Ф мФг, =Ф+, -— -р* 106, 107, 120, 121, 5!5, 5!6, 526 А [[,[[),[' ... '[ В, ' !06 !07 а, !ОВ Рагр Р", я, е (Регулярные выражения) !24, !25 М='(ГЕ Х, 6, бы Р) !35 [— лг [ —, [ — ', [-, [-' !35, !Зб, !94, ! 99, 255, 258, 302, 326, 327, 340— 342, 379, 404, 409, 412, 4!5, 417— 419, 453, 534, 545 Е(М) 136, 195, 409, 412, 416, 419, 535 а~ "Р, л Р 148 Вла 160, 16! Е!/Ет 160 ~г, ~г !67 Р=о[7, 2, г, б, бы г,, Р) 993 !. (Р) 20! Т'=(Р[, Х, 6, В, 3) 248 А †«а, [! 249 =От ы~т, ы~т, тт 249 т(Т) 249 М = !([ ~, 6 5, ро, Р) 254 'г(М) 255, 258, 545 М(Е), М-'(Е) 257 т,(Р) 258 Г ;"" , ааг"е, а~, 273 )7'" )7г [ Яе 284 г=Ф ~г, я~, мФя 297 307 Т!, Тг 298 Мг, М! 299 Т,, Тг 302 М„М 302 Е!, Ег 307 !г[йВТр [ге), Г
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
