Теория синтаксического анализа, перевода и компиляции - Том 2 (943929), страница 92
Текст из файла (страница 92)
292, ЛМ, 797 †3 Основа (правовыводимой цепочки) (Ьапре о( а г(ЕЫ зеп|епйв! (опл) 205, 206, 429, 431 — 434, 455 — 457, 543 пРедметный укАЭАтель к г и т тпмАм предметныц укАзАтель к г и т томам Остов (графа) (зрвпп1пб 1гее) 67 ОгабРаженне (таРР[пй) см. Функцня Стношенме (ге)аИап) 1 — 26 — нтвснмметркчное (вп[)зупппе!Т[с) 21 — аснмметрнчное (азупппе[г[с) 20 — яррефлексявяое ([пеОехфе) 20 — нонгруэнтнасгя (сапВгпепсе) 158 — обратное ([пчегзе) 16, 22 — операторного предгпжтвованвя (орегагог ргесебепсе) 493 — предшествавання Вирта — Вебера ОУ[г[Ь-Туевег ргесебепсе) 456, 467 — — Колмерауэра (Сайпегацег ргесебепсе) 547 — 549 — рефнексввнае (гейехгче) 17 — симметричное (аугптеЫ[с) 17 — транзитнпнае (ИапзИ1че) 17 — энвнвалентпоств (ейшча)епи) 17, 18, 24, 149 — [Ы, 157, 158 — — прзвонпварнантюе (г18Ы !ггчагйпг) 157, 158 -Оценка блоков приемлемая (сох[ сгНепоп оп Ыасйф 34э, 346 Память (распознавателя) (тепюгу) 113 †1 Паре пеночек выводимая 1[гапз[абоп 1апп) 246 †2 Перевоп (1гзпз)абоп) 71, 242 — 246, 258, ЗТ9, 380, 545; 196 — 2бб — регулярный (геВЕ)аг) см.
Преобразопанне конечное . — смн анен скн управляемый (зуе1ах Ыгесгеб) 74, 83 — 88, 246 — 253, 260 — 282, 499, 569-574; 706 — 266. 363 — — прас»В (мпгр[е) 263, 260 — 263, 271 — 274, 282, 298, 569 — 5741 267, 214 — наследственнмй ВпйыПеб) 285 — 259, 268 — синтеэнраванный (ауп[Ьез1хеб) убэ — 259, 268 Переменная (чаг)аЫе) — активная (асгфе) 872, 428 — входная (гпрц[) 329 — выходная (оц[рп[) 329 — индукпгвная ([пбпсбче) 412 †4 Перемещеняе када (сабе пюВон) 4!1, 417 Пересечение (мвожешв) ([п[егюс[[оп) 14, Жб, ТЫ, 230, 237, 541; 163 Перенменованне переменных (гепапг)пд о1 тат)аЫеь) 375, 836, 838 — 842, ЗЮ вЂ” 847 Псрестновнв операторов (П[рр[пй о[ зЬПепгепЫ) 886 — 842, Зю — 347 Пнг латин (ргВ Сз[[п) 222 †2, 284 ПЛЛ (Р).Л) 74, 78, 78, 559 ПЛ 360 (РЬ 360) 565 — ЫВ Подстанавна (языков) (зцЬзбтцоп) 224, »5 Позецея (в цепочке) (ромцоп) 220 Покрытые (грамматякн) (гмтег) 309 — ЗП, 314, 316 — левое ([е[1) ЗЮ, 3!4, 3!6, 345; 168 — правое (г!ВЫ) 3!О, 314, 315, 345; 184, 187 Порядо ( а«а но» н ) ( га г) ШГ, 21 — лексикогрзфяческнй ([ех!гайгабс) 25, 331, 343 — линейный (1[пеаг) 21, 25, 69, 60; 380 — обратный (вершнн дерева) (роз1огбег) 59 — палнмй (меИ) 24, ЗΠ— пряюй (вершин дерева) (ргеоп[ег) 58г 144 — частичный (рагт[а[) К), 21, 25, 26, 59, 60; 869 Порядпк (схемы СУ.перевода) (агбех) 274 †2 Последовательность пышущая (чтЫе зейцеесе) 168 Постдомвнатар (розЫшп[пагог) 420, 4Н Поток данных (ба[а Ваи) 423 — 448 Потомок (в графе) [безсспбапф 55 Правнло (граммвтякн) (ргабасНоп) 1Об, 120 ПРаанло цепное Р)лд)е) 173, 174, 507; 76 — 84, Вб, 188, 189 Правила вывода (в формальной системе) (гп[е о1 1п1ыепсе) 31 Преднкзт (ргефсз[е) 12 Предложение (зсп1епсе) см.
Цепочка Предок (в графе) (апсез1ог) 55 Представлелее (лерева) (гергешп1аНоп) — левое снабачиое [!с[1-Ьгас1ге[еб) 61, 245 — правое сксбочнае (пВЫ-Ьгас1ге1еф 61, 245 Преабразованне ([гапзбцсЦап) см. Преобразователь — нонечнае обратное (гпчегзе [[л!!е) 257, 266 Преобразователь ([гапзбптг) — нонечнмй (Опце) 254 — 258, 266, 268 — 2?О, 273, 281, 232, 284, 291; !98 — — летермнннрованный (бе1еппгпРД») 256, 257, 268 — с магазинной памятью (рпзпбою) 258 — 263, 267, 263, 293 — 301, 317 — 321, 379, 381, 402 — — — — дегермяннрованный (бе1егт[вмцс) 259, 250, 283, 304 — 309,379, 381, 402, 446, 498, 501; Збб — 2ДВ 234 — — — расширенный (ех[епбеб) 302 — 304, 421 — 423 Префикс (цепочки) [ргейх) 28 — антнвпый (правовываднмай цепочки) (чиЫе) 432, 444; 86 Пр орнтет (операций) (рпкебелсе) 82, 168, 169, 264; 76, 87 Проблема [алгорнтмнческвя) (ргоЫеп0 43 — 52 — нсрэзрешямвя (цпбесЫаЫе) 44 — остановки Ога!1!ЕВ) 50 — прнпаалежностн (тспгЬегзЬгр) 154 — 156, 161, 162, 257 — пустоты (стране») 154 — 166, 161, 162, 169, ПО, 639 — разрешвмая (бесЫаЫе) 44 — с ю ветсгвнй Поста (Раа1'з сопсзропбепсе ргаЫет) 47, 228, 229 — эквнвалентносп (ецщча)енсе) 154 — 156, 161, 162, 228 — 230, 268, 401; 156— 139, !84, 421 Программа (ргаВгат) — абсолютнан (аЬзо)ц[е шасЫпе сабе) 19б — нсзоанан (ютсе) 75, 08, 242; 196 — обьектнан (ЕЬ)ее[) см Код абьектный Продукцня (ухабна[[оп) см.
Прап ло (граммвтнкн) Произведен е декартово (Саг[ез[ап ргобцс1) 16 Пранзводная (регулярного вырагкення) (бепта1[че) 160, 161 Профиль частотный (1гецпепсу ргой)е) 398 Проход нампнлятора (рзи о[ а сатрНгг) 200, 260 Процессор с ми.взннвай памятью (рпзйг!о»п ргосезюг) 714 — 274, 240 — 242 Путь (в графе) (ра[Ы 54, 66 — выч олений (согпрага[[оп) 401, 431 Рззбясн е совыестнмое (сотраНЫе рзг[1[гап) 69 — 64, 69, 97 Разбор (как слнтакснческнй анализ) (р гыпй) 72, 75, 60 — 82, 90 — ЧЗ 296 — 309 — еос шпш й (ь н -пр) 205 — Йю, 301 — 309, ззз — Згз, 542 — Ььзг 184 — жб И — 221, 246, 297 см.
также Граммах «а предшествованва, ЬК[д), ОПК нсходящнй ([ор.бочп) 206, 297 — 301, 304-309, 321 — ЗЗВ, 491, 5!1 — 542; 134 — 136, 77! — 73[, 744, 297'см. »анже Ррамматнка ЬЬ(й) — — по ткущему символу 408 — 419 — по левому участку ([еП со!пег) 313, 3!4, 343 — 350. 403 — 406 — сверху вниз см.
Разбор нясходнщнй — спту вверх пн. Разбор восходящий — с гюэвратамн (ЬасЫгасй) 317 †3, 511 †5; 224 †2 — типа „перенос — свертка" (зЬП[ — гебпсе) 303, 388, 350, 351, 420 †4, 426, 427; В, 804, 305 Разбэр (нак результат с нтаясеческого анализа) [ратас) 297, 379, 544; 193, 260 479 пРедметный укАЕАтель к ! и з ТОНАМ пое)ьиетные укАздтель к ! и э томам Разбор левый ((ей) см. Вывод левый — по левому участку (1еИ согпег) 3!3, 314, 404 — правый (ПЕЫ) 297, Ж7 см. Моямс Вывод правый — частичный левый (раг((а! (еИ) 329, 330 — — правы«(рлгИа! г!ЭЫ) 343 Раэверпэваняе циклов (!оор ипгоИ!пЭ) 4!7, 4Ю Разметка (грлбм) ((аЬе1Ы9) 53, 57 Разность (множеств) (ЫИегепсе) 14 Распознавание образов (рэ(1еш гесойпН!оп) 98 — 102 Распознаватель (гесайп!эш) 113 — 116, 123 см миюге Авюмат — адевввтный 4Ю, 413, 417, 419, 420, 501, 513 — односторонний (опе-мау) 113 — простой МП 409 — снвхронный 418 — 4Ю вЂ” СМК 412 — 416 Распределение памнти (зЫгаЭе аИошИоп) 200 Расстановка (ЬазЫпЭ) — линейная (Инсат) 288, 286 — па позициям (оп (асаИопз) 285 †2 Рапцепление (зрИ(КпЭ) — грамиатикн (Егапипаг врРИИпВ) !02 — П7 — множесшз (Я(А)-ситуаций (п1 а ю( о( 1Я(д) Пешв) !Ю вЂ” состояний аналиэируюшега япомата (а! э(а(еь а1 рагз!п8 ви 129 — )Ю Редахюр связей (Ип1с еЫЫг) !97 Рубеж (в выятднмай иепачне) (Ьогбег) 374, 421 1оша(оп) 122 — !Ю, типа „не- Сыртам (цепочки) (гебисКоп) ВВ, 302, ЗЮ, 339, 344 см.
Можне Разбор ренее — свертка" Свойства (ргарег(у) — допусгнмое (зссер1аЫе) 296 — нейтральное (пеиЬа() 296 †2, 804. 309 — 313, 323 вЂ Э вЂ” префинсиое (РгеИх) 29, 31, 239, 289, !64, !ВЗ, !84 — суффнхсное (ягИ!х) 29, 31 Свивка лагнчесйая ((аФса( соппес(ше) 33 — 35 Семантика (эешапПсз) 71 — 74, 243 †2 Сечение (дерева разбора) (сп1] 165 Символ (зушба!) — беспалюный (в грамматике) (ия)ем) 169, 171, 172, 275, 282, 315 — вспомогательный см, Нетермнвал — входной ()при!) 135, 193, 194, 248, 95(, 412, 4!5 — выходной (ои1ри() 248, 258 — исчезающий (пиИаЫе) Иу — !Ю вЂ” магазинный (ризЬбоип) 193 — гы л нй (гпПгэг, 1 0 105, 1Ю, 194, 249, 5Ы вЂ” недостижимый (в КС-грамматине) (!пассезВЫе) 170, 171 — немрпняальиый (поп1епп1па1) см.
Нетермннал — терминальный (1епп!па)) см. Терминал Сннтансмс (эуиЫх) 71 — 74 Система (зув(еш) — каноническая (Я(д)-таблиц (салоп !са) зЫ о( ЬИ (й) (аЫез) 444, 445 — «анонячесхаи множеств допустимых ситуапнй (салоп!са! соИесИап а1 чаИЭ Пешв) 88, 9! ГЬюгв нананпчшши (Роэ('з сепсогтЫ) 42, 1Ю вЂ” рвссгановнн (ЬззЫпВ зуэ1еш) — — й.равномерная (й.ипИопп) 2Ю учай я ( пб ) 280, 253 — ЗЮ, 289 — 29! Система стандартная уравнений с регулирным» «озффнциеитамн (ю( о1 геЭи(аг ехргеьзюп ейизЦопв )п а(апбагб Ыгш) 127 — 131 — формальная (!оппа() 3! Сятуация (Иеш) — в «лгарвтме Эрлн 359, 371, 450 — — !Я(д)-алгоритме 4ЭЗ " — — допустямая (ча!Ы) 433, 435 †4, 446 — — нвазидопустимая (циаяча)Ы) !08 Слияние столбцов (в 1.9(А)-анализаторе) (са1швп шегВег) 80 Слова (тчогб) см.
Цепочка Сложнасп, выгнсзения (временная я емкое нан) (сожри(аИопа) сашр1ех1(у; Ипм саяр!ехНу, зра е сошр!ех!(у), 41, 168, 169, !62, 189, 333 — Ю7, 343, 355 — 357, 364 †3, 358 — 377, 395, 447, 460, 530 †5, 557; 2!4, 822, 323, 347, ЗЗВ, 4Ю, 440, 447 Снабол (5НОВОЦ 70, 662 — 555 Сортировка тополагвшская (Ыро!офса1 ми1) 59, 50 Сштаваяюшая (РЬгаэе) 543 Ссстаинне (распознаватели, преабразоззмля) (Маге) 135, 193, !94, 254, 326, 411, 412, 418 — выталкивания (рор) !22, !23, !Ю вЂ” диотимы ае (зссеэяЫе) 140, 148 — заключительное (бпа)) 135, 194, 254, 326, 412 — аванс» (чт!(е) !64, !67, !ВЗ вЂ” эаталкнванн» (ршЫ !ЗΠ— начальное ()ппИа)) 135, 194, 254, 412 — оираса (!п(ытоВаПап) 127, ЫΠ— переноса (эЫИ) !Ю вЂ” свертки (гебисе) !! — стирания (егвзе) !64, !67, 183 — пенна (геаб, эсап) 130, !64, !67, !ВЭ Састаивни неразличимые (иоиечмага автомата) ((лйэПпрбзЬаЫе *1*1ез) 148; 69 — — анализирующего автомата Опб1зИпризпэЫе Ма(ез а( рвгяп8 аи1ошаЬэп) 126 — различимые анализвруюшего автомата (йзВпйв!зЬаЫе ь(а!аз о( рагэ!п8 аи1о ше(оп) !26 Гласах (11э)) — магюнииый (ршЬбаяп) см.
Магазин — Рмресеченвй Ьп)егмсгюп Иэ() 304 — Э!б, 322, 428 — разбора (рагзе) 359 — свойств (ргорег(у) Эбб-З!4, 322, 328 ССП.грзммвтиш см. Грамматика смешанной стрзюгнн предшсствоваини Степень (вершины графа) (беЭгее) — по входу Вп-) 54 — — выходу (ои1-) 54 СУ-н р зод с Перев д синтамснчесян управляемый Суффияс (ценачни) (юИ1х) 28 Схема пере ода ((гвпэ)аКап зсЬепы) см. Перевод — — эацнвлсннаа (сиси1аг) 25З вЂ” — сбабшеьная (Эепегайшб) 236 — 244, 26! — 266 — — простая пасгфннсная (зЬпр)е раз(ИА) ЮО, Юб, 286 Сцепление (сопсв1епаИоп) см. Конютенация Таблица ИаЫе) — ндеитнфняапграв (рушЬа() см, Таблица имам — имен (зушЬЫ) 75, 79, Ю, 92, 93, 287 — разбора (рагю) 352 — расстановки (Ьавй (аЫе) 274 — 287 ПРЕДМРТИЫП ХКЛЗЛТЕЛЬ И 1 И Э ТОМЛМ ПРБДМЕТИЫЙ РЦЛЭЛТЕЛЬ К ! И З ТОМАМ Тзблипа с прямым досгуном %(Тес! ассеэз !аЫе) 270 — 274 — управляющая раз(юрам (рагмп% 379, 335 — 387, 391 — 3%, 404, 505; 48 с».
манже !.Я(Э)-таблице — ! Е(Э) 389 — 391, 394, 3% — ! Я(Э> 4%, 427, 444 — 445, 4%; а — 733, 2% — %3 ТАГ-система (Таб зуз(еш) 42, 122 Такт (распознзвзгсля) (тоге) 165, 135, 194 Тезис Чер ю — Тьюринга (Ошгси-Тчг>пб щемз) 43 Теорема (щсогепг) 32 — йарнна (Раг!ЬЬ'э> 239, 2% Терминал (в граимэгнке) ((епп>пай 10Б, 120, 5% Точна наименьшая пенок ижна» (ппп1ша( йхеб ро(л!) 127, 129 — 131, 144 — 146. 185. 186 Треверс (МП.авгома а) (Ыачшм (о( а РРА)) !бо, !67 Траислягор ((гам!а(ог) 77, 246, 247 см нюх»ге Прмюразонагель Трансляцяя ((геп*гайоп) см.
Перевод Узел (графа) (побе) см. Вершина (графа) Упорядочение (огбег!пб) см. Порядон (как отношение) Уравнения (ецпа!Мпз) — опрелсляюпше (для Кщяэыков) (бейпщб) 185, 166 — с регулярными коэффициентами (гейи>аг ехргеюгоп) 126 — 133, 144, 146 Уровень (вершвпы дерева) (!сче() сн. Высота (вершины дерева) Устройство управляющее с конечной памятью (1>пйе сап!го1) 114, 498 ем. »Мшш Состояние (распознавателя) Участок линейный (э(га!ВЫ-йпе саде) 328 — 362 Фаза нампнляцни (РЬазе о( сошрйайоп> 198 — 260, 239 — 26! Факгориаация левая (1ей 1ас1оп%) 365 Форме (1опп) — Вакуса — Каура (Васйш-Кацг) 74 — норммьная Грейбах (ОгмЬасЬ гюппв>) 162 — !88, 190, 274, 315, 402, 406; !41, !Рф 163, !84 — — слабая фд> — нормалыгзя Хомсяого ((Ъогпйу поппа1) 176, 177, 190, 273, 274, 3%, ЗП, 314, 352, 401; 163, %4.