Теория синтаксического анализа, перевода и компиляции - Том 1 (943928), страница 121
Текст из файла (страница 121)
и Номер пороги Гтр, Немеа Отр, теоремы Номер теоремы 5.25 493 5.26 497 6.1 522 6.2 629 6.3 530 6.4 531 6.5 538 6.6 556 467 472 474 484 484 487 487 492 5.17 5.18 5.19 5.20 5.21 5.22 5.23 5.24 5.8 399 5.9 435 5.10 439 5.11 442 5.12 446 5.13 447 5. 14 459 5.15 462 5.16 467 366 368 38! 382 383 387 392 395 398 4. 11 4.12 5.1 5.2 5.3 5,5 5.'6 5.7 Номер алгоритме тр' Номер ел горетме Номер алгерятме Номер Отр. загорите,е атр. 593 0.1 0.3 1,1 2.1 2.2 2.3 2.4 2.5 2.6 2.7 2.8 2.9 60 63 65 85 127 149 154 155 155 159 169 171 171 2,10 172 2.11 174 2.12 176 6.13 180 2.14 183 2.15 187 2.16 214 3 1 250 3.2 287 4.1 326 4.2 340 4,3 353 4.4 4.5 5.1 5.2 5.3 5.5 5.6 5.7 5.8 5.9 356 359 367 385 390 391 396 397 399 427 437 440 5. 1О 442 5.
11 444 5. 12 461 5.!3 465 5.14 472 5.!5 476 5.!6 486 5.17 487 5.18 492 5.!9 496 6 ! 519 6.2 530 Аандераа (Аапбегаа 5. !).) 48 Абрахам (АЬгайаш 8.) 123 Абэ (ЛЬе М.) 102 Лгафонов В. Н. 408 Айронс (1гопз Е. Т.) 96, 268, 351, 510 Ангер (()пает 8. Н.) 351 Анисимов А.
В. 408 Арбиб (АГЬ!Ь М А ) !63 Ахо (АЬо А.(г. ) 123, 220, 283, 408, 409, 452, 480 Барздииь Я.М. 163 Барнет (Вагпе! М. Р.) 268 Бар.Хиллел (Ваг-Н1!!е! У.) !02, 123, 241 Бауэр Ф. (Ваиег Е. 1..) 510 Бауэр Х. (Ваиег Н.) 480 Беккер (Весйег 5.) 480 Берж (Вегйс С.) 68 Бжазоеский (Вгаототсе1гу У. Л.) 147, 163 Бирмаи (В!Ггпап А.) 542 Блатпер (В!абпег М.) 241 Бобров (ВоЬгом !).
б.) 102 Бородин (Вагаб!п А.) 52 Брукер (Вгоа1гег К. А.) 96, 351 Бук (Ваай К. Ъ'.) 123, 24! Бут (Воарй Т. 1..) 163 Бэкус (Васйиз 3. %.) 95 Вайз (%Не В. 5.) 510 Вайнер (%с1псг Р.) 163 Валиант (Чз!!ип! 1.. б.) 372 Взльк (%а!й К.) 74 Вебер (%еЬег Н.) 480 ван Вейнгаардеа (сап %!!пиаагбеп А.) 75. 559 Вегбрейт (%сйЬгеВ В.) 75 Вельбнцкий И. В.
408, 411 Виноград С. (%!подгаб 5.) 48 Виноград Т. (%!пойгад Т.) 102 Вирт (%|г!Ь Р!.) 480, 565 Возенкрафт (%озепсгаВ д. М.) 569 Вуд (%ооб ().) 408 Вудс (%саба %. А.) 102 Галлер (ба!!ег В А ) 74 Гилл (Сб!1 Л.) !63 Гинзбург А. (бииЬигд Л.) 163 Гинзбург С. (СбпзЬигй 5.) 123, 163, 192, 241, 268, 305 Гладкий Л. В. 123, 241 Гончарова Л. И. 452 Глушков В. М.
163 Готлиб (бо!БеЬ С. С.) 352 Грин (бгееп М.%.) 96 Грейбах (бге!Ьасй 5.) 123, 192, 241, 305 Грис (бг!еч ().) 95, 96 Грисволд (бггэтчо!б К. Е.) 552 Гриффнтс (бпННЬе Т Ъ' ) 268 351 Гросс (бгоьь М.) 241 Грэй (бгзу 3. Н,) 220, 3 15, 480, 510, 558 Грэхем Р. (бгайаш )(. М.) 510 Грэхем С. (бгаЬагп 5. 1.,) 372, 480 Дениинг (()епп!пй Р 3 ) 480 Де Ремер (Ре йегпег Е. 1..) 452, 569 Джентльмен (беп!!ешап %. М.) 77 Джонсон В. (.1о)шзоп %.
1..) 295 Джонсон С. ()о1гпзоп 5. С. ) 408, 409 Дейкстра (()!)Ьз!Га Е. %.) 98 Домелки (Вошо!й! В.) 352 Дьюар (()еегаг К. В. К.) 96 Дэвис ((уат!з М.) 51, 52 Замельсон (ЗмпсВоп К.) 510 Зыков А. А. 68 Зопис В. С. 452 НМЕ ННОЕ УКАЗАТЕЛЬ ИМЕННОЙ УКАЗАТЕЛЬ Цейтии Г. С. 102 594 Ибарра (1Ьагга О.) 220 Ингсрман (1пйеппап Р. Х.) 96 Ихбиа (!сЬЬга .!. Р.) 480 Кантор (Сап1ог Р. О.) 24! Камеда (Кашеба Т.) 163 Касами (Казаш( Т.) 372 Кауфман В. Ш. 408, 409 Кляни (К(еепе Б. С.) 38, 52, 14? Кнут (КпШЬ Р. Е.) 52, 68, 74, 408, 452, 542 Как (Ссс1се Л.) 95, 96, 372 Колмера>эр (Со!шегапег А,) 558 Камор (Кошог Т.) 408, 409 Конвэй М.
(Сапскау М. Е.) 408, 414 Конвэй Р. (Сопжау й. %.) 96 Кореньяк (Когеп!ай А. Л.) 408, 452 Косвраю (Когшг>о Б. й.) 163 Коэи Д. (Сойеп Р. Л.) 352 Коэн Р. (СаЬеп й. Б ) 658 Кравчик (Кгажсгу1с Т.) 408 Кук (Соо(с Б. А.) 48, 220 Кристеисен (СЬпМепзеп С.) 75 Куна (Кипа Б.) 351 Курки-Суоииа (Кпгй(-Бпап!о й.) 408 Лавров С. С. 558 Лалонд (Ьа(анде %. й. ) 504 Лантен (1.епНп А.) 24! Левит (ЬсчгН К. Х.) 96 Лейннус (Ье!п1пз й. Р.) 452, 480 Ли Дж. (1.ее Л. А. Х.) 96 Ли Э.
(1.ес Г. Б.) 504 Ливенворт (1.евсепжаг!!г В. М.) 74, 559 Лаке (Ьсесйз Л.) 510 Ламет (1.огпе1 Р.) 417 Лукасевич (Ьпйаз(етсбсх Л.) 244 Лукаш (Ьисаз Р.) 74 Льюис (Ьечбэ Р. М. !!) 220, 268, 408 Мак-Илрой (Мс! 1гау М. Р.) 74, 77 Мак-Каллок (МсСпйооВЬ %. Б.) 123 Мак-Карти (МсСагйу Л.) 96 Мак-Киман (МсКееман%. М. ) 96, 480, 510 Мак-Клюр (МсСШге й. М.) 96, 542 Мак-Натан (МсХавййап й.) 147 Максвелл (Махже1! %.
1..) 96 Мальцев А. И. 43, 46, 52 Марков А. А. 42 Мендельсон (МепбеВоп Е.) 38 Миллер В, (МШег %. Г.) 102 Миллер Г. (М!Осг О. А.) 147 Минский (М1пзку М.) 43, 52, 122, 163 Мнцумато (Мишпо1о М.) !02 Монтанари (Моп1апап' (Л. О.) !02 Морган (Магйап Н. 1.,) 96, 296 Морзе (Магас Б. Р.) 480 Моррис (Магг!з Р.) 96, 35! Моултов (Моп!1оп Р. О.) 96 Муиро (Монга 1.) 68 Мур (Мсюг Е.
Г.) 123, 162 Мюллер (Мп!(ег М. Е.) 96 Наур (Хапг Р.) 74, 559 Непомнящая А. Ш. 408 Ннкитчснко Н. С. 408 Ннйхольт (Х1>Ьо(! А.) 408 Огдссс (Ойбеп %.) 241 Ордпн А. А. 558 Оре (Оге О.) 68 Павлидис (Рау114Я Т.) 102 Парик (Рап1сЬ й. Л.) 241 Паул (Рац!! М, С.) 192 Пейитер (Ра(п1ег Л. А.) 96 Перла (Рег1ез М.) 24! Перлис (Рег!!з А.
Л.) 74 Петрик (Ре!пс1с Б. й.) 35! Пегроие (Ресгопе Ь.) 268 Питтс (Рейз Е.) !23 Пол (Рап1 М.) 510 Полонский (Ро1опзйу 1. Р.) 562 Партер (Раг1ег Л, Н.) 295 Паст (Роз1 Е. !..) 42, 52 Поугж (Роайе Л. Г,) 562 Пратер (Ргарбег й. Е.) !63 Пфальц (Р1айг Л. 1..) 98„102 Пэр (Рай С.) 480 Рабин (йаЬ!п М.
О.) !23, 147, !62 Райс (й1се Н. Сс) 192 Рассел (йпззе! 1.. Л.) 96 Редько В, Н. )47, 408 Рейнольдс (йеупо!бз Л. С.) 96, 3!5, 351 Рспделл (йапбей В.) 96 Робертс (йоЬегВ Р. Б.) 352 Роджерс (йайсгз Н.) 46 Розен (йазеп Б.) 95, 351 Розеииранц (йозеп1сгапИ Р. Л.) !23, 192, 408 Розенфельд (йозеп1е!б А.) 98, 102 Росс (йозз Р. Т.) 295 Роудз (йбодез Е. М.) 480 Руццо (йпххо %, Ь.) 372 Саломаа (Ба!опсаа А.) 147, 163, 241 Саммет (Бапппе1 Л.
Е.) 42, 74 Скотт (Бсоп Р.) 123, 147, 162 Стил (Бгее! Т. В.) 74 Стириз (Б!еагпз й. Е.) 220, 241, 268, 408 Стэндиш (ШапШзЬ Т.) 90 Суппес (Бпррез Р.) 13 Сзтгли (5аШеу К.) 351 Танака (Тапа(са К.) 102 Тоеда (То)ос>а Л,) 102 Томпсон (ТЬоспрзоп К.) 163, 296 Торин (Тагй К.) 372 Трахтенброг Б. А. !63 Трахтеигерц Э. А. 510 Трубчаиннов Г. Г. 510 Тьюринг (Тцппй А. М.) 42, 43, 51, !23 Уллиан (!Лйап Л.
Б.) 241 Ульман (ГЛ1шап Л. Р.) 52, 123, 220, 241, 283, 408, 409, 452, 480, 542 Уолтерс (Урайсгз Р. А.) 452 Уорлн (%ог!еу %. Б.) 96 Уортмэн (%огппап Р. В.) 96, 510 Уарщолл (%агзЬа!! Б.) 68, 96 Фельдман (Ге(бшап Л. А.) 95, 96, 499, б!0 Фишер М. (Г1зс1сег М. Л.) 123, 480 Фишер П. (ГысЬсг Р, С.) 52 Флойд (Шоуб й. %.) 68, 96, 192, 241„ 351, 480, 5!О Фостер (Гоз1ег Л. М.) 408 Фримэн (Ггеешап Р. Х.) 96, 296 Фу (Гп К. 5.) 102 Фуксман А. Л. 408, 409 Футрель (Гп1ге!!е й. Р.) 268 Хавел (Нате! 1. М.) 5!О Халмош (Нз!гааз Р; й,) 13, 38 Хант (Нип! Н.
В,) 452 Харари (Нагагу Г.) 68 Харрисон (Нагпзап М. А.) 163, 220, 315, 372, 510, 558 Хартманис (Наг1шапсз Л.) 52, !47, 220 Хаскел (Нас1се11 й.) 3!5 Хафмен (Нпйшап Р. А.) 162 Хейнс (На!цез Ь. Н.) !23 Хейс (Науа Р. О.) 372 Хекст (Нех1 Л. В.) 362 Хомский (СЬопмйу Х.) 42, 74, 102, !23, !47, 192, 220, 241 Хопгуд (Норйоод Г. й. А.) 96, 5Ю Хопкрофт (Норсгой Л.
Е.) 52, 123, !63, 220, 241, 408, 452 Хорнинг (Ного!пй Л. Л.) 96, 504, 510 Хахшпруиг (Носбзргцпй й. й,) 96 Черч (СЬигсЬ А.) 38, 42, 43 Читан (С1 еаг1!гагп Т. Е.) 74, 96, 315, 351 Чулик 1 (~91!Ь К.) 268 Чулнк !1 (Сп11Ь К. П) 408, 558 Шамир (БЬаппг Е ) 24! Шапиро (БЬар~го й. М.) 96 Шварц (Боб>тат(г Л. Т.) 95. 96 Шевченко В. В, 408 Шепердсав (БЬербегбзоп Л. С.) 147 Шиманский (Бхушапзйу Т. О.) 452 Шкильияк С.
С. 408 1йорре (БсЬогге Р. ЬЬ) 96, 351, 542 Шоу (БЬасч А. С.) 98. 102 Штрассеи (Б(газзеп У.) 48, 68 !йумей А, С. 452, 5!О Шютцеиберже (БсЬп!гепЬегйег М. Р.) 192, 220, 24! Эванс (Етапз А. Лг.) 5!О, 509 Эви (Етеу й. Л,) 192, 220 Эйкель (Е>с)се! Л.) 510 Эили (АсЫеу Б. 1.) 295 Элспас (ЕВрвз В.) 96 Эигелер (Епйе1ег Е.) 74 Эрлаид (!ге!апд М. 1.) 52 Эрли (Еаг!еу Л.) 372 Эттингер (ОеН!пйег А.) 220, 351 Кйгсеико Е. Л. 408, 4!1 Яжабек (ЛаггаЬей 5.) 408 Ямада (Уашабз) Н.) 147 Янгер (гоппйег Р.
Н.) 372 ПРЕДМЕТНЫЙ УКАЗДТЕЛ Блок-схема (Вам сЬаг1, д-сйаг() 98 — 101 5$ ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ Аванцепочка (1оойайеад з(Нпй) 378, 427 сл. также Заглядывание вперед Автомат (ан1оша1оп) см. гпаяже Распознаватель, Преобразователь — конечный (Вийе) 138, 147 — !51, 286 — 293, 449 — — двусторонний (Ьчолмау) !46 — — детерминированный (бе!елп!и!збс) 138, 287 — — иедетермнкированный (попде1епп!п!збс) 135, 287 — 293 — — полностью определенный (сошр!е(е!у зрес!!1еб) !35 — — приведенный (гебнссб) !48 — 15! — линейно ограниченный (!!пеаг Ьошк1еб) 120 — с магазинной памятью (рнзйбомп) !14, 193 †2, 3!8 — — двусторонний ((чго-тчау) 219, 220 — — детерминированный (г(е!егш!п!з(!с) 211 — 220, 228, 229, 237 — 240, 283, 384, 450, 501.
503, 522 †5 — — — дочитывающий (сопбпшпй) 2!5, 216 — — — пезацикливающийся (Ьа(!!пб) 318 — — расширенный (ех1епбеб) 199 — 201, 212 — — с одним поворотом (опейнгп) 237 Алгебра булеза (Воо!еап а!йейга) 36, 153 Алгол (А1СОЬ) 74, 75, 226, 227, 264, 287, 347, 408, 559 Алгоритм (а!Еопбпш) 38 — 51 — всюду определенный 40 — Ломблки ()]ошо!й!'з) 351, 352, 507, 510 — Кока — Ящера — Касамн (Сас]ге — Уонпйег — Казани) 352 — 358 — Маркова 42 — недетсркинированный (попбе1епп!пьй!с) 320, 346, 347, 35! — разбора, предсказывающий (ргеб!с(!те рзгз1пй) 205, 378 — 381, 391,— 395, 408 — — корректный (тайй) 380 — Уоршолла (гт'агзЬа(1'з) 63, 68 — частичный (ргосебггге) 38 — 51 — Эрли (Еаг!еу'з) 358 — 372, 450 Алфавит (а!РЬаЬе1) 27 — входной (шрц!) сл.