Теория синтаксического анализа, перевода и компиляции - Том 2 (943929), страница 93
Текст из файла (страница 93)
ЗУВ Форгван !РОЕТЙАК) 70, 74, 77, 79, 236, 284, 286, 346, 347, 659, 206, 266, 7%, 896, 408, 422, 446, 446 Функпия (Ыпс!юп) 21, 22, 25 — биекгнвная (Ьйес(ще) 22 — взаимно однозначна» см. Функция инъектнвн*я — всюду определенная йша>) 21, 25 — действия (рагжпб ас!юп) 42Б †4, 444 †— л гуп пам тн (распознавз еля) ( зог > 04 — ниъекгнвиая (гп1ес1гче) 22 — общеренурснзнв (1о(а( геснгмче) 41 — переход в (Во!а) 426 — 428, 444 — 446 — переходов (сосгопннй а визга) (з(а1е 1гапзй(оп) 135 — предшествовзнни (ргесебепсе) 7 — 29 — преобразовании памяти (раснознавателя) (1е(сЩ 114 — расстановки (Ьазщпб) 274, 276, 277 — 27У вЂ” рекурсивная (геспгй ге) 41 — слабого предшесшовани» (меа!г ргесебепсе) !б — !У, 26, 27 — кэраитеристнчеснлн (сЬагас1егййс) 48 — частичная (рагйа1) 22 — частично рекурсивная (рагйа( гесшз>че) 41 Функция ЕРР 633, 444, 4% — Р195Т 337, 375, 376, 396 — 399 — РОЕЕОйг 383, 479; Вб, П! — ОЕК 431 — 443 — ООТО 438 — 441, 444; 66, 87, ВБ — (К 438-448 — КООТО !67, !% — МАМЕ 247 — КЕЧТЕАВЕЕ 232 — КЕХТ 64 — 76, 78, 82, 86 — ООТ 67! — 446 — ТЕАКЗ 43! — 443 Гшпочка Ыггпб) 27 106 — вы единая (зеп1елйа(!оггп) 106; 297 — левовмваднмая (1ей юп(епйа> )опп) 167 — ирз д (ТМЫ зев(сп!!э> Ып > %7, 459, %0, 4% — ЛП вЂ” пустая (ешр1у) 27 — харанюристическая (сЬагас(ег>зйс) 1% Цикл (а графе) (сус>е, с>гспЩ 54 — а граммагнке сч.
Грамматика без циклов — — программе (1оор гп ргоЕгаю) ЗУЗ вЂ 4 Чвсгь (рогйоп) — (левовыводнмой цепочки) законченная (с>азед) 374 — неэакоичеинзв (орел) 374 — ( р е одиной денечки) замннута» (с1азеб) 421 — открмган (ореп) 421 Число псевдослучайное (рмш1агапбош пшпЬег) 278. 788 Эквнвалентносгь (еццюа!енсе) 71, %7 — 150, !54 — 156. !62 — авгомагов анализирующих (о1 рагмпб ац>оспа!а) !23 — анализаторов (а( апа1ухегэ) 24, 27, 28, 48 — — строгая (ехас1) !У вЂ” 26, 26, 62-66 — выражений относительно алгебраических азконов (о) ехргею>опз цпбш а(беЬ.
га1с \згчз) 362 — деревьев относнгельно алгебраических авионов (о1 1геш ппбег а(беЬга1с 1ама) 377 — линейных участков (о! з(га18Ы-йпе ЫосВЧ 332 — сгруктурвая (а(гцс!пге) !64 Элемент несущественный (боп'1 саге) 48, П4 — перевода (>гзпз1айоп е)ешеп1) 246 — 248; %7 Ядро множестве Ей(й)ситуаций (соге о( а м( О1 Ей(д) йены) % Язык (1апбпабе) 28, 103, 105 116, >ЗБ, 1% см. Ммеме Мнажесгво — ассечблера (аюешЫУ) 62 — 38; !97, 347 — 361, ЗБЗ, 354 — 6ЕСКОНТЕКСГИЫй (СОП!ЕХ!ЗГЕЕ) Сл, ЯЗЫК КОНТЕКСТНО-СВО6ОДНЫй — детермнинповаюгый (де(еггп(п%ю) 211, 216, 229 — 231, 238, 241, 283, 334, 450, Эй, 603, 522 — 6% — Дика (Оус1г) 239 — есгествеиный (па(цга>) 72, 97, 98, 102, 317, 351 — мнтексгно-завис»мый (соп(ех(.мпзйже) П1, 112, 117, П9 — 121, 237, 452 — конгексгио-свобод ый (соп(ехщгес) 111, П2, П7, П9, 121, 237 — левых разборов (1ей рагм) 307.
ЗП 489 пввдметнып нкдзлт кль к г и т томам Язык лннебнмй (Впеаг) 191, 237, ВМ вЂ” Ы. 376 — 1.С(В1 402 — 408 — 3.5(д) 373-408, 449, 450 — ЬЕ(В) см. Язык детернннярованнып и Ьй(а)ерамматзка — неоднозначный (ашЬ)Евам) 234 — 236, 238, 239, 241 — нисходящего разборе с агрэннченнммн вазврвтамн (ЯНРОВ) (Ыр-дами рагз)»Е 1апЕиаЕц ТРРЬ] 5!2 — 525, 528 — 60, 639 — 542 — — абобщенвыд (ОЯНРОВ) (Еепеганип, ОТРРЬ) 525 — 542; 224 — 232 — ограявченнпго контекста (Ьоипдеб соп!ех!) 504, 507 — — правого контеясга (Ьоипбеб ПЕМ соп(ех!) 481 †4, 503 507 — одиозна шыд (ипаюЬгепаит) 234, 240 см, мпкже Трамматнкв одназнамая — операторного предшествованн» (арета(ог ргесебепсе) 493 — 497, 603, 504, 507 — (1, 1)-ОПК ((1,1)-боипбеб-г)ЕМ.сап(е»1) 484, ЭП вЂ” правык ржборав (пЕМ рагэе) 307, 3!1 прогрвммнраваняя (ргобгашш(пЕ) 42, 69 — 74, 373 см, мокше Алгод, ПЛ11, ПЛ 3%, Фортран, Снобал — простата предшесгвованнн (з1шр)е ргесебзпсе) 455 — 463, 474 — 479, 549, 866 8, 9, 19 — 28, ЗД 139, 1Ы вЂ” 189, 192 — 194 — расширяемый (ех!ейз!Ые) 74, 75, 589 — 562 — регулярпыд (геЕи(аг) см.
Множество регулярное —. существенно неоднозначный (!пвегеп! »юЫЕпацч) 29 — 45 см, нюкжг язык неоднозначный — Флойда — Эванса (Ноуд.Вчапэ) 411, 497 — 502, 507, 5Ю вЂ” харахтернзуюшнй (сЬагас(апжпЕ) Ю9 — 273, 262 ЯНРОВ см. Язык нисходящего разбора с ограннченнымц возвратамн ОГЛАВЛЕНИЕ ПРЕДИСЛОВИЕ 5 метпды Оптимиедпии синтдесичесних дндщатдтОРОВ 7 7.1. Функцян предшествавання 7 7.1.1. Теорема о предсгавленян назрани 8 7.1 2 Прнмсвения к разбору, основанному на операторном предшесгвованнн 14 7.1 3 Фуннцна слабого нредшестваванив !6 7.)А.
Пресбрвэованне матрнц предшешвоазная 19 Упражненвя 25 .Земечаннк на лвюрвтурс 29 7.2. Оптнмвзацня аналнзатаров Флойда †Эван 29 7 2 1. Механическое пастраенне акалнзаторов Флойда †Эван дл»' грамматик слабого предшестваввння 30 7.2.2. Усовершенствование аналнзвтаров Флойда †Эван 36 Упрежнення 42 Замене»на па лвыратуре 45 7,3. Преабраэовання, определенные на множествах Ья(з).таблнц 45 7.3.\. Общее поннтне 16 Д(й)-таблицы 47 7.3.2. Эквнвалентность множеств таблнц 52 7.3.3.
р-недостнмнмые множества твблнп 55 7.8А. Слнянне таблнц с помощью мвмесгнмых рвэбненнй 69 73.5 Отсрачна в абнаруженнн ошнбо» 64 7.3.6. Исключеяне сверток по цепным праанлам 76 Упражнения 84 Замечаннз на лягературе 9! 7.4. Ма~оды пастроеняя Ьй(д).анализаторов 9! 7А.!. Простые ЬЕ-грвмматннн 92 7.4 2. Распрастраненне ЗЬЕ-подход» на грамматики, не аваню шяесн ЗЬЯ-грамматннзмн 97 7.4.3. Расщепление грвммвтнкя 102 Упражненнн 113 Замечанн» по лнтерагуре Н7 7.5. Аналнэнруюшне автоматы НТ 7.5.1. Каноннческнд аналнэнрующпй автомат Н7 7.5 2!Расщепление функций сосюяннд 122 7.5.3, Обобщение пв ЬЯ(В)-вналнэатары 121 7.5 4. Обзор содерження главы 134 Упражневяя 136 Замечания па литературе !38 игллвлвммв оглавлвнми ТЕОРИЯ ДЕТЕРМЬЯЕИРОВЛИНОГО РАЗЕ!зря 139 3Л. Теорнн Ы.-язык а 141 8.!.1.!А- н СЯ-граммагнки 141 8.1.2.
12.-грамматнкк в нормальной форме Грсйбах И7 8.1.3. Проблема зквнвалентностн для ЬЕ-грамматн« 156 8.1.4. Иераркня Ы.-языков 159 Упражнення 162 Замечання по литератур» 163 8.2. Классы грвмматнк, порожхающне детермнннровакные языки 164 8 2 1. ДМП-автоматы в нормальной форме н канонкческне сраммвтикн 164 8 2.2. Простые ГСГЬграмма~нкн и детермнвнрованцые языкн 169 3 2.3. ОПК-грамматнкн, СК-грамнатнки н детермнннроваяные языкн 174 8.2.4. Грамматики расшнрснкого предшесгваввпня н детерннннраванные шыкн 176 Упражнение 162 Замечання гю литературе 185 8 3.
Теарня языков простого предшесгвовання 185 8.3.1. Класс языков простата прсдимствовання !85 8.3.2. Языки аператарнопт ггредшес~вавазня 188 8.3.3. Обзор садержавня главы В2 Упражнения И4 Замеча ен по литературе 195 ПЕРЕВОД И ГВИРАЦИЯ ИОДА 196 9.1. Роль перевода в процессе «омпнлвцнн 196 9.1 1 Фазы компкляцнн 196 9.1.2 Представления промежуточной программы 200 9.1 3 Моделн проаесса ген рации кода 204 Упражпсння 205 Замечания па лкшрвтуре 206 9.2.
Сннтакснческя управляемые переводы 206 9.2.1. Простыв синтаксически управляемые переводы 206 9.2.2. Обобщенный преобразователь 2М 9.2Л Детермнннрованный однопроходной восходящнй перешд 216 9.2.4. Детермнннроваенмй однопроходной ннсхалящнй перев д 2!9 9.2.5.
Перевод прн наличке вазврашв 224 Упражнения 232 Замечання па ляшратуре 236 9.3. Обобщенные схемы переводов 236 9.3.1. Мультисхе ы пере адов 236 9.3.2. Рззновнднастн переводов 245 9.3.3. Наследственный и сннтсзнрованный переводы 2 Ц 9.ЗА. Замечанне о разбнепнн ка фазы 259 Упражнения 261 Замечания ыо литературе 21,6 10 ОРГАН-~~. -~~РМ И 257 10.1. Таблицы имен 267 10.1.1, Храненне ннфармацкн а лексемак Ю8 10Л.Е. Механньмы запомнканк» 270 10.1.3. Таблнвм расстановки 274 1ОЛА Функцнн расстанавкн 277 1ОЛ.З ЗФТектнвнас ь т банц расстановке 279 Упражиенкя 287 Ззмечання по лншратуре 292 10.2.
Грвмматнкн свайсгв 292 102.!. Мгиввяравка 293 10.2.2 Определение грамматнкн свойств 395 10 2,3. Реализация грамматнн свайст 304 10.2.4. Анализ алгорктмв обрабшкн таблиц 314 Упражнения 323 Замечания по литературе 326 ОПТИМИЗЕЦИЯ ИОДА 327 П.1, Оптемницнн лннейяаго уяастка 328 11.1 1. Модель аннейнога участка 328 П.1.2. Прсобразовання блоков 332 П .1.3. Графическое представление блоков 338 П,!,4 Крнтсрнй вквнввлентнастн блоков 342 И.1.5. Ошкмнззцня блоков 345 !!.1.б. Алгебранческие преобразования 351 Упражнения 357 Замечаннк по лнтсратуре 362 11.2. Аряфмегнчеснке выражения 362 П.2.1.