Теория синтаксического анализа, перевода и компиляции - Том 1 (943928), страница 122
Текст из файла (страница 122)
Символ входной — выходной (он1рп!) см, Символ выходной — состояний (о1 з1а1ез) сл. Состояние Альтернатива (нетермияала) (а11егпа1е) 32! Анализ (апа!умч) — лексический (1ех!са1) 76 — 79, 283 — 296 — — непрнмой (!пгйгес1) 78, 286 — 290 — — прямой (б!гес() 78, 290 — 293 — синтаксический (зуп1асВс) см. Разбор 596 Анализатор (рагзег) см. также Анализ — двухмагазинный (1жо-з!асй) 544 — 547, 556 — 558 — канонический ЬЕ(!г) (сапоп!са( ЕЕ(й)! 444 — 447 — левый (!ей) 299 — 301 — но левому участку (!е!1-согпег) 348 — 350 — правый (г!ЕЬ1) 302 — 304, 338 — предсказывающий (ргеб!с1!чс) см. Алгоритм разбора, предсказывагощий А-правило (А-ргобнсйоп) !75 Веер (в дерене) см.
Куст (в дереве) Вершина (графа) (ггобе, тег(ех) 52 — концевая сл. Лист Включение (множеств) (!пс1цз)оп) !3, 238 Вход (!прн1] 38 сн. также Лента входная Вывод (бег!та1!оп] 107, 1!8 — левый (]сйпшз!) !67, 168, 232, 233, 297, 356, 357 — правый (г!8Ь!шозт) 167, 168, 297 Выражение (ехргеат!оп] — арафметнчсское (зПГппм11с) 72, 73, 108, 245, 253 — нпфиксное (!п!!х) 244 — постфиксное (роз1йх) 244, 245, 247, 248, 259, 264, 267, 529 — префнксиос (рте!!х] 244, 245, 259, 264, 267 — расширенное регулярное (сх(епбей гейп1аг) 284 — 290 — регулярное (гейг1!аг) 124 — 131, 145, !47 Высота (вершины дерева) (!ге!861) 58, 84 Выход!он1рщ) 38, 243, 255, 258 Генерация кода (себе йепега(!оп) 75, 82 — 88, 90, 92, 93 Глубина (вершины дерева) (бер(Ь) 58 Головка входная (распознаватсля) (шрн1 !геаб) !13 — 1! 5 Гомоморфизм (Ьошошогрй!зш) 29, 225, 236, 238, 239, 243, 244 Грамматика (йгапппаг) 105 — автоматная см.
Грамматика регулярная — без е.правил (ебгее) 172, 173, 314, 340, 343, 346, 376, 402, 450, 478, 492 — без ограничений (вогез!г!с1сб) сн. Грамматика общего вида без циклов (сусй 1гее) 175, 3! 4, 340, 343, 346, 367 — бсскоптекстная сл. Грамматика контекстно-свободная — входная (СУ-схемы) (!прц! ггпбег!у!пб) 250 — выходная (оц1рп() 250 — индексная (!г1г!ехеб) 120, !21 — Колмераузра (Со!шегапег) 549, 554 — 558 — контекстно-зависимая (соп1ех1мепз!1!те) !11, 112, 117, 1!9, 121, 237. 452 — контекстно-свободная (сопгех!.(гее) 1! 1, 1!2, 1!7, 119, !21, 237 — левоаналнзир>емая (!сВ рагзаЬ!е) 304 — 306, 381 — леволинейная (1ей 1|пеаг) 145 — леворекурсивная (!ей геены!те) 178 — 181, 324, 325, 331, 332, 385, 400 — линейная (Ипеаг] 191, 237, 268 — !.С(а! 402 †4 — П.
376 — Щ/г) 301, 373-408, 449, 450 — 1Л.(!) 373, 382 — 387, 408, 411, 539 гТРЕДМРТ НЬГЙ УКАЗАТЕЛЬ ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ Грамматика 1.й(й) 304, 373, 421, 423 — 452, 478, 482, 484, 503 — ЬК(1) 424, 463, 503, 504 — нсоднозначиаи (апгййпонь) 168, 189, 23! — 236, 239, 317, 546 гм. гпакжэ Грамматика однозначная — неукорачивающэя см.
Грамматика контекстно.занисимая и Граммзтика без е-правил — общего вида (нпгещг1с1ед] !05 — 112, 118 — !20, 122 — обратимая (гггт!Оно (пчегНЫе) 422, 450, 457, 503 — 506, 547, 557 — ограниченного кашекста (Ьонпдед соп1сх() 505, 507 — ограниченнога правого контекста (Ьоппдег1 г!ВЫ соп1ех1) 481 — 488, 503 — 507 — однозначная (ппашЫйпонь) 119, 168, 231 — 233, 240, 364 — 366, 384, 447, 449, 460, 476, 485, 549 — операторная (арега1ог) 190, 492 — опсраторпого предшествавания (арегагог ргеседепсе) 493 †4, оОЗ, 504, 507 — (1,1)-ОПК ((1,1)-Ьоппдед-г!ВЫ.сол1ехЦ 484, 503 — остовная (ь1гс1с(а!) 496„507 — (2,1)-предшествования ((2,1)-ргсседепсе) 480, 503 — лравоаналиэируемая (НВЫ рагьаЫе) 304 — 306, 450 — праволинейная (г(ВЫ йпеаг) 1П, 119, 131 — 133, 143 — !45, 230, 237 — праворекурсивиая (г!ВЫ геспгиче) !78 — порождающая графы (Вгарй, чгеЬ) 98 — 102 — пополненная (апйшсп(ед) 424, 481 — предшествования (ргеседепсе) 456, 457, 463, 480 — приведенная (ргорег) 175 — простая 1.Ь(1) (э(шр1с 1.1.(1)) 376, 408, 409 — простая смешанной стратегии предшествопания (эплр1е ш(хед-ь!га(ейу ргсседслсе) 491, 503, 507 — простого предшествавании (Мшр!е ргеседепсе) 455 — 463, 474--479, 549, 565 — псевдораздслсниая 409, 4!О, 4!4, 420 — разделенная см.
Грамматика простая 1Ь(1) — расширенного лредшествовапия (ех!епдед ргеседспсс) 463 —.469, 478 — 480, 484, 505 — регулярная (гейл!аг) 145, 557 — рекурсивная (геспгь(че) 178 — сильна 1Л.(й) (ь1гопй 1Л.(й)) 384, 388 — слабого предшествования (меа)г ргессг(сисе) 469 †4, 479, 491, 492, 503 †5 — слаборазделенная 410, 4!1, 414 — смешанной стратегии лредп~ествавания (пйхед-ь1га1ейу ргеседепсе) 488 †4, 503, 507 — с самовставлеиием (ье)1-сшЬедд!ЛВ) 240 — Т-канонического прсдшествавания (Т-сапошса! ргеседспсс) 507 — 510 — Т-астоввая (Т-ь1ге!е(а!) 509 — Хамского (СЬошз1гу) см, Грамматика Граф (йгарЬ) 52 — 68 — ациклнчсский (ориентированный) (гйгес!ед асус1иь дзй) Б4, 138 — нагруженный см, Граф помеченный — иеориентироваииый ((лд)гес!ед) 66 — переходов (автомата) (1гапзйюп) см. Диаграмма конечного автомата — помеченный (1аЪе1!ед) 53, 57 — связный (неориентироваиный) (саппес(ед) 66 — сильно связный (Ыгопй!у соппес1ед) 54 — упорядочеииый (огдегед) 56 — — ациклическнй (дай) 57 Дерево (1гее) 55, 61, 62, 71 — 73, 81 — 87, 100, 101, 319, 487 — 490 — вывода (дог(чайоп) см.
Дерево разбора — неориентираваиное (ппд!гес1ед) 66, 67 — разбора (рагье) 164 — 168; 205 — 207, 250 — 252, 307, 431, 432, 5!9 — 521 598 Дерево синтаксическое (эуп1ах) см. Дерево разбора — упорядоченное (огдегед) 57, 58 Диаграмма — конечного автомата (1гзпзй(ол ВгарЬ) 138, 25Б, 256 — синтаксическая (ьуп1ас!ка) д(айташ) 414, 4!5 Диаграммер (д)айгапппег) 4 15 — 418 Длина (1епй(Ь) — вывода (о1 а дейчайоп) 107 — цепочки (а1 а Ыппй) 28 ДМП-автомат см. Автомат с магазинной памятью детерминированный Дополнение (множества) (сошр1егпепгайоп) 14, 216, 226, 237, 541 Допускать (цепочку, язык) (ассер1) 115, 136, 195, 201 Дуга (з графе) (агс, едйе) 53 е-праэило (грзмматиии) (е-ргодпсйоп) !11, !77, 178.
340, 402 е-такт (распознавателя) (е-гпоче) 194, 2!8 Заглядывание вперед (1оойаЬеад) 337, 344, 370, 371, 373 — 375, 378, 402, 421, 424, 450 Законы де Моргана (()с Могйап'ь (заь) 23 Замкнутость (относительна операций) (с1оьнгс) 152, 224 — 226, 257, 266 Замыкаяие (отношения) (с1оьпге) — рефлексивное н траизитивнос (гейех1че апд !галы(йче) 19 — транзитивное (1гапь!йте) 18, 62 — бб, 68 Запись польская (Ро! ьй по(айоп) см. Выражение лрефиксиов Идентификатор (!пдепййег) 76 — 80, 116, л!6, 287, 289 — 293 Иерархия Хамского (СЬогпьйу Ыегагспу) ! 12 Индекс — грамматики, языка 239, 240 — отношения эквивалентности (1пдех) 17 Исправление ошибок (сггог соггесйоп) 75, 90 — 93, 96, 337, 338, 407, 446, 451, 452, 480 Исчисление высказываний (ргоровйопа! са1сн!см) 35, 50 Итерация (языка) (с!оьиге) 29, 225 — маркирования (гпзгйед) 240 — позитивная (роь(!!че) 29 КЗ-грамматика см.
Грамматика контекстно-зависимая Код (саде) — объектный (оЬ!ес() 75, 82, 242 — промежуточный ((п1егшед)а1е) 75, 82 — 87 Компилятор (сошр1!ег) 75 — 96, 351, 408 — компиляторов (сагпрйег-сошрйег) 96, 351 Композиция (отношений) (сошроьй1оп) 25, 28! Конкатенация (солса!епайол) 27, 29, 225, 238 — маркированная (гаагйед) 240 Конфигурация (сопййнгайоп) 49, ПБ, 135, 194, 254, 258, 326, 340, 378, 379, 404, 4!1, 412, 415, 418, 422, 423, 453, 534, 545 — допускающая (ассерйпй) см. Конфигурация заключительная — заключителыия (Нпа!) 115, !35, 195, 201, 255, 258, 259, 379 — запикливагощая (1оар(пй) 213 — 216 — начальная (1п1йа1) 115, 135, 194, 326, 340, 379 599 ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ ПРЕДМЕТНЬ|й УКЛЭЛТЕЛЬ Граммагнка 1.К(/г) 304, 373, 42!, 423 — 452, 478, 482, 484, 603 — ЬК(1) 424 463 503 504 — неоднозначная (агпЬ|йпоцз) 168, 189, 231 236, 239, 317, 546 сн.
также Грамматика однозначная — неукорачнзиощая сл. Грамматика контекстно-зависимая и Грамматика без е-правнл — общего внда (цпгеь(г!с(еб) 105 — 112, 118 — 120, 122 — обратнмая (шг|йпе щчегИЫе) 422, 450, 457, 503 — 506, 547, 557 — ограннченного контекста (Ьоппг(ег( соп1ех|) 505, 507 — ограниченного правого контекста (Ьапп Всп г!ВЫ соп1ек|) 481 — 488, 503 — 507 — одпоапачпая (ппашЬ!Впопз) !19, |68, 23| — 233, 240, 364 — 366, 384, 447, 449, 460, 476, 485, 549 — операторная (орега1ог) !90, 492 — операторного предшествования (орегз1ог ргесеОепсе) 493 — 49?, 503, 504, 507 — (1,!)-ОПК ((1,1)-Ьоппдед-г(ВЫ-соп(ех!) 484, 503 — остовная (ь1ге1е1а1) 496, 507 — (2,1)-предшествонанвя ((2,!)-ргссебепсе) 480, 503 — прзэоааалнзнруемая (ИВЫ рагэзЫе) 304 — 306, 450 — праволвнейнаЯ (г(ВЫ 1|пеаг) 111, 119, $31 — 133, 143 — 145, 230, 237 — праворекурснвная (г(ВЫ геспгиче) !78 — порождающая графы (йгарЬ, чеЬ) 98 — 102 — пополненная (апйгпеп(еб) 424, 481 — предшествовання (ргеседепсе) 456, 457, 463, 480 — прнведеннэя (ргорег) 175 — простая 1.1.(1) (з|шр1е Щ1)) 376, 408, 409 — простая смешанной стратегин предшествовання (ь|шр|е гп(хеб-э|та!еду ргесебспсе) 49|, 503, 507 — простого предшествозання (ь!шр!е ргесебепсе) 455 — 463, 474 — 479, 549, 565 — псевдоразделенная 409, 410, 414, 420 — разделенная см.
Грамматика простая Щ!) — расширенного предшестзовання (ех!епбеб ргесейепсе) 463 — 469, 478 — 480, 484, 505 — регулярная (тейп!аг) !45, 557 — рекурсннная (геспгзгке] 178 — сильно ЬЬ(/г) (ь|гопй 1Л.(Л)) 384, 388 — слабого прсдшсстоооания (зсай ргссспспсс) 469 — 477, 479, 401, 402, 503 — 506 — слаборазделенная 410, 4!1, 414 — смешанной стратегии предшествовання (ппхебчйга1ейу ргесебепсе) 488 †4, 603, 507 — с самовставленнем (зеИ-ешЬебб|пй) 240 — Т-канонического предшествования (Т-сапоп|са1 ргесебепсе) 507 — 510 — Т-остовная (Т-ьйе!ега1) 509 — Хамского (СЬошьйу) гм.
Грамматнка Граф (йгарЬ) 52 — 68 — ацнклическкй (ориентнрованный) (6!тес(ед асус||с, дай) 54, !38 — нагруженный сл. Граф помеченный — неорнентнрованный (1пб(тес!еб) 66 — переходов (автомата) (|гапИИоп) сл. Диаграмма конечного автомата — помеченный (1аЬсИеб) 53, 57 — связный (неоряентнронзнный) (соппес(еб) 65 — сильно связный (Игопй!у соппес1еб) 64 — упорядоченный (огбегеб) 56 — — ацкклнческий (дай) 57 Дерево (|гее) бб, 61, 62, 71 — 73, В! — 87, 100, 101, 319, 487 — 490 — вывода (г|ег|чаИоп) см.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
