Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Ахо А., Ульман Дж. — Теория синтаксического анализа, перевода и компиляции (Том 1. Синтаксический анализ)
Ахо А., Ульман Дж. — Теория синтаксического анализа, перевода и компиляции (Том 1. Синтаксический анализ)



Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Теория синтаксического анализа, перевода и компиляции (Том 1. Синтаксический анализ)

Авторы: Ахо А., Ульман Дж.

Аннотация:

Первый том фундаментальной монографии известных американских ученых содержит основной математический аппарат (в частности, теорию грамматик и автоматов), краткий обзор процесса компиляции, начала теории синтаксически управляемого перевода и обстоятельное изложение методов синтаксического анализа. Рассмотрены и систематизированы почти все известные алгоритмы разбора. Для некоторых из них впервые дается полное и корректное описание, для большинства доказывается корректность и оценивается сложность. Приведено большое количество упражнений. Особенность книги в том, что она трактует теоретические вопросы в связи с потребностями реализации языков программирования, и этим она отличается от книг по системному программированию.
Книга предназначена тем, кто работает в области системного и теоретического программирования, преподает или изучает эти дисциплины, а также математикам, интересующимся приложениями теории грамматик и автоматов.


Язык: ru

Рубрика: Computer science/Алгоритмы/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 1978

Количество страниц: 612

Добавлена в каталог: 09.11.2005

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
A-правило (A-production)      175
e-правило (грамматики) (e-production)      111 177 178 340 402
e-такт (распознавателя) (e-move)      194 218
Аандераа      48
Абрахам      123
Абэ      102
Аванцепочка (lookahead string)      378 427
Автомат (automaton)      см. также «Распознаватель» «Преобразователь»
Автомат (automaton) конечный (finite)      138 147—151 286—293 449
Автомат (automaton) конечный (finite) двусторонний (two-way)      145
Автомат (automaton) конечный (finite) детерминированный (deterministic)      138 287
Автомат (automaton) конечный (finite) недетерминированный (nondeterministic)      135 287—293
Автомат (automaton) конечный (finite) полностью определенный (completely specified)      135
Автомат (automaton) конечный (finite) приведенный (reduced)      148—151
Автомат (automaton) линейно ограниченный (linear bounded)      120
Автомат (automaton) с магазинной памятью (pushdown)      114 193—220 318
Автомат (automaton) с магазинной памятью (pushdown) двусторонний (two-way)      219 220
Автомат (automaton) с магазинной памятью (pushdown) детерминированный (deterministic)      211—220 228 229 237—240 283 384 450 501 503 522—525
Автомат (automaton) с магазинной памятью (pushdown) детерминированный (deterministic) дочитывающий (continuing)      215 215
Автомат (automaton) с магазинной памятью (pushdown) детерминированный (deterministic) незацикливающийся (halting)      318
Автомат (automaton) с магазинной памятью (pushdown) расширенный (extended)      199—201 212
Автомат (automaton) с магазинной памятью (pushdown) с одним поворотом (one-turn)      237
Агафонов, В.Н.      408
Айронс      96 268 351 510
Алгебра булева (Boolean algebra)      36 153
АЛГОЛ (ALGOL)      74 75 226 227 264 287 347 408 559
Алгоритм (algorithm)      38—51
Алгоритм (algorithm) всюду определенный      40
Алгоритм (algorithm) Домёлки (Domolki’s)      351 352 507 510
Алгоритм (algorithm) Кока — Нигера — Касами (Соске — Younger — Kasami)      352—358
Алгоритм (algorithm) Маркова      42
Алгоритм (algorithm) недетерминированный (nondeterministic)      320 346 347 351
Алгоритм (algorithm) разбора, предсказывающий (predictive parsing)      205 378—381 391 395 408
Алгоритм (algorithm) разбора, предсказывающий (predictive parsing) корректный (valid)      380
Алгоритм (algorithm) Уоршолла (Warshall’s)      63 68
Алгоритм (algorithm) частичный (procedure)      38—51
Алгоритм (algorithm) Эрли (Earley's)      358—372 450
Алфавит (alphabet)      27
Алфавит (alphabet) входной (input)      см. «Символ входной»
Алфавит (alphabet) выходной (output)      см. «Символ выходной»
Алфавит (alphabet) состояний (of states)      см. «Состояние»
Альтернатива (нетерминала) (alternate)      321
Анализ (analysis) лексический (lexical)      76—79 283—295
Анализ (analysis) лексический (lexical) непрямой (indirect)      78 286—290
Анализ (analysis) лексический (lexical) прямой (direct)      78 290—293
Анализ (analysis) синтаксический (syntactic)      см. «Разбор»
Анализатор (parser)      см. «также Анализ»
Анализатор (parser) двухмашинный (two-stack)      544—547 556—558
Анализатор (parser) канонический LR(&) (canonical LR(&))      444—447
Анализатор (parser) левый (left)      299—301
Анализатор (parser) по левому участку (left-corner)      348—350
Анализатор (parser) правый (right)      302—304 338
Анализатор (parser) предсказывающий (predictive)      см. «Алгоритм разбора предсказывающий»
Ангер      351
Анисимов, А.В.      408
Арбиб      163
Ахо      123 220 283 408 409 452 480
Бар-Хиллел      102 123 241
Барздинь, Я.М.      163
Бариет      268
Бауэр, Ф.      510
Бауэр, Х.      480
Беккер      480
Берж      68
Бжозовский      147 163
Бирман      542
Блатнер      241
Блок-схема (flowchart, d-chart)      98—101
Бобров      102
Бородин      52
Брукер      96 351
Бук      123 241
Бут      163
Бэкус      95
Вайз      510
Вайнер      163
Валиант      372
Вальк      74
ван Вейнгаарден      75 559
Вебер      480
Вегбрейт      75
Веер (в дереве)      см. «Куст (в дереве)»
Вельбицкий, И.В.      408 411
Вершина (графа) (node, vertex)      52
Вершина (графа) концевая      см. «Лист»
Виноград, С.      48
Виноград, Т.      102
Вирт      480 565
Включение (множеств) (inclusion)      13 238
Возенкрафт      569
Вуд      408
Вудс      102
Вход (input)      38 (см. также «Лента входная»)
Вывод (derivation)      107 118
Вывод (derivation) левый (leftmost)      167 168 232 233 297 356 357
Вывод (derivation) правый (rightmost)      167 168 297
Выражение (expression) арифметическое (arithmetic)      72 73 108 245 253
Выражение (expression) инфиксное (infix)      244
Выражение (expression) постфиксное (postfix)      244 245 247 248 259 264 267 529
Выражение (expression) префиксное (prefix)      244 245 259 264 267
Выражение (expression) расширенное регулярное (extended regular)      284—290
Выражение (expression) регулярное (regular)      124—131 145 147
Высота (вершины дерева) (height)      58 84
Выход (output)      38 243 255 258
Галлер      74
Генерация кода (code generation)      75 82—88 90 92 93
Гилл      163
Гинзбург, А.      163
Гинзбург, С.      123 163 192 241 268 305
Гладкий, А.В.      123 241
Глубина (вершины дерева) (depth)      58
Глушков, В.М.      163
Головка входная (распознавателя) (input head)      113—115
Гомоморфизм (homomorphism)      29 225 236 238 239 243 244
Гончарова, Л.И.      452
Готлиб      352
Грамматика (grammar)      105
Грамматика (grammar) (1,1)-ОПК ((1,1)-bounded-right-context)      484 503
Грамматика (grammar) (2,1)-предшествования ((2,1)-precedence)      480 503
Грамматика (grammar) LC(k)      402—408
Грамматика (grammar) LL      375
Грамматика (grammar) LL(k)      301 373—408 449 450
Грамматика (grammar) LL(l)      373 382—387 408 411 539
Грамматика (grammar) LR(l)      424 463 503 504
Грамматика (grammar) T-канонического предшествования (T-canonical precedence)      507—510
Грамматика (grammar) T-остовная (T-skeletal)      509
Грамматика (grammar) автоматная      см. «Грамматика регулярная»
Грамматика (grammar) без e-правил (e-frее)      172 173 314 340 343 346 376 402 450 478 492
Грамматика (grammar) без ограничений (unrestricted)      175 314 340 343 346 367;
Грамматика (grammar) бесконтекстная      см. «Грамматика контекстно-свободная»
Грамматика (grammar) входная (СУ-схемы) (input underlying)      250
Грамматика (grammar) выходная (output)      250
Грамматика (grammar) индексная (indexed)      120 121
Грамматика (grammar) Колмерауэра (Colmerauer)      549 554—558
Грамматика (grammar) контекстно-зависимая (context-sensitive)      111 112 117 119 121 237 452
Грамматика (grammar) контекстно-свободная (context-free)      111 112 117 119 121 237
Грамматика (grammar) левоанализируемая (left parsable)      304—306 381
Грамматика (grammar) леволинейная (left linear)      145
Грамматика (grammar) леворекурсивная (left recursive)      178—181 324 325 331 332 385 400
Грамматика (grammar) линейная (linear)      191 237 268
Грамматика (grammar) не укорачивающая      см. «Грамматика контекстно-зависимая» и «Грамматика без e-правил»
Грамматика (grammar) неоднозначная (ambiguous)      168 189 231—236 239 317 545
Грамматика (grammar) обратимая (unique invertible)      422 450 457 503—506 547 557
Грамматика (grammar) общего вида (unrestricted)      105—112 118—120 122
Грамматика (grammar) ограниченного контекста (bounded context)      505 507
Грамматика (grammar) ограниченного правого контекста (bounded right context)      481—488 503—507
Грамматика (grammar) однозначная (unambiguous)      119 168 231—233 240 364—366 384 447 449 460 476 485 549
Грамматика (grammar) операторная (operator)      190 492
Грамматика (grammar) операторного предшествования (operator precedence)      493—497 503 504 507
Грамматика (grammar) остовная (skeletal)      496 507
Грамматика (grammar) пополненная (augmented)      424 481
Грамматика (grammar) порождающая графы (graph, web)      98—102
Грамматика (grammar) правоанализируемая (right parsable)      304—306 450
Грамматика (grammar) праволинейная (right linear)      111 119 131—133 143—145 230 237
Грамматика (grammar) праворекурсивиая (right recursive)      178
Грамматика (grammar) предшествования (precedence)      456 457 463 480
Грамматика (grammar) приведенная (proper)      175
Грамматика (grammar) простая LL(I) (simple LL(I))      376 408 409
Грамматика (grammar) простая смешанной стратегии предшествования (simple mixed-strategy precedence)      491 503 507
Грамматика (grammar) простого предшествования (simple precedence)      455—463 474—479 549 565
Грамматика (grammar) псевдоразделенная      409 410 414 420
Грамматика (grammar) разделенная      см. «Грамматика простая LL(1)»
Грамматика (grammar) расширенного предшествования (extended precedence)      463—469 478—480 484 505
Грамматика (grammar) регулярная (regular)      145 557
Грамматика (grammar) рекурсивная (recursive)      178
Грамматика (grammar) с самовставлением (self-embedding)      240
Грамматика (grammar) сильно LL(k) (strong LL(k))      384 388
Грамматика (grammar) слабого предшествования (weak precedence)      469—477 479 491 492 503—505
Грамматика (grammar) слаборазделенная      410 411 414
Грамматика (grammar) смешанной стратегии предшествования (mixed-strategy precedence)      488—492 503 507
Грамматика (grammar) Хомского (Chomsky)      см. «Грамматика»
Грамматика LR(k)      304 373 421 423—452 478 482 484 503
Граф (graph)      52—68
Граф (graph) ациклический (ориентированный), (directed acyclic, dag)      54 138
Граф (graph) нагруженный      см. «Граф помеченный»
Граф (graph) неориентированный (indirected)      65
Граф (graph) переходов (автомата) (transition)      см. «Диаграмма конечного автомата»
Граф (graph) помеченный (labelled)      53 57
Граф (graph) связный (неориентированный) (connected)      65
Граф (graph) сильно связный (strongly connected)      54
Граф (graph) упорядоченный (ordered)      55
Граф (graph) упорядоченный (ordered) ациклический (dag)      57
Грей      120 315 480 510 558
Грейбах      123 192 241 305
Грин      96
Грис      95 96
Грисволд      562
Гриффитс      268 351
Гросс      241
Грэхем, Р.      510
Грэхем, С.      372 480
де Ремер      452 569
Дейкстра      98
Деннинг      480
Дерево (tree)      55 61 62 71—73 81—87 100 101 319 487—490
Дерево (tree) вывода (derivation)      см. «Дерево разбора»
Дерево (tree) неориентированное (undirected)      66 67
Дерево (tree) разбора (parse)      164—168; 205—207 250—252 307 431 432 519—521
Дерево синтаксическое (syntax)      см. «Дерево разбора»
Дерево синтаксическое (syntax)упорядоченное (ordered)      57 58
Джентльмен      77
Джонсон, В.      295
Джонсон, С.      408 409
Диаграмма конечного автомата (transition graph)      138 255 255
Диаграмма синтаксическая (syntactical diagram)      414 415
Диаграммер (diagrammer)      415—418
Длина (length) вывода (of a derivation)      107
Длина (length) цепочки (of a string)      28
ДМП-автомат      см. «Автомат с магазинной памятью детерминированный»
Домёлки      352
Дополнение (множества) (complementation)      14 216 226 237 541
Допускать (цепочку, язык) (accept)      115 136 195 201
Дуга (в графе) (arc, edge)      53
Дьюар      96
Дэвис      51 52
Заглядывание вперед (lookahead)      337 344 370 373—375 378 421 424 450
Законы де Моргана (De Morgan’s laws)      23
Замельсон      510
Замкнутость (относительно операций) (closure)      152 224—226 257 265
Замыкание (отношения) (closure) рефлексивное и транзитивное (reflexive and transitive)      19
Замыкание (отношения) (closure) транзитивное (transitive)      18 62—65 68
Запись польская (Polish notation)      см. «Выражение префиксное»
Зонис, В.С.      452
Зыков, А.А.      68
Ибарра      220
Идентификатор (indentifier)      76—80 116 286 287 289—293
Иерархия Хомского (Chomsky hierarchy)      112
Ингерман      96
Индекс грамматики, языка      239 240
Индекс отношения эквивалентности (index)      17
Исправление ошибок (error correction)      75 90—93 96 337 338 407 446 451 452 480
Исчисление высказываний (propositional calculus)      35 50
Итерация (языка) (closure)      29 225
Итерация (языка) (closure)маркирования (marked)      240
Итерация (языка) (closure)позитивная (positive)      29
Ихбиа      480
Камеда      163
Кантор      241
Касами      372
Кауфман, В.Ш.      408 409
КЗ-грамматика      см. «Грамматика контекстно-зависимая»
Клини      38 52 147
Кнут      52 68 74 408 452 542
Код (code) объектный (object)      75 82 242
Код (code) промежуточный (intermediate)      75 82—87
Кок      95 96 372
Колмерауэр      558
Комор      408 409
Компилятор (compiler)      75—96 351 408
Компилятор (compiler) компиляторов (compiler-compiler)      96 351
Композиция (отношений) (composition)      25 281
Конвэй, М.      408 414
Конвэй, Р.      96
Конкатенация (concatenation)      27 29 225 238
Конкатенация (concatenation) маркированная (marked)      240
Конфигурация (configuration)      49 115 135 194 254 258 326 340 378 404 411 412 415 418 422 423 453 534 545
Конфигурация (configuration) допускающая (accepting)      см. «Конфигурация заключительная»
Конфигурация (configuration) заключительная (final)      115 135 195 201 255 258 259 379
Конфигурация (configuration) зацикливающая (looping)      213—215
Конфигурация (configuration) начальная (initial)      115 135 194 326 340 379
Конфликт отношений предшествования (precedence conflict)      472 473
Конфликт правил      389 393
Кореньяк      408 452
Косараю      163
Коэн, Д.      352
Коэн, Р.      558
Кравчик      408
Кристенсен      75
Крона (дерева разбора) (frontier)      165—168
КС-грамматика      см. «Грамматика контекстно-свободная»
Кук      48 220
Куно      351
Курки-Суонио      408
Куст (в дереве)      205
Лавров, С.С.      558
Лалонд      504
Лантен      241
Левит      96
Лейниус      452 480
Лексема (token)      76—79 283—295
Лемма (для КС-языков)      223 224
Лемма (для регулярных множеств)      152
Лемма о разрастании (pumping lemma)      223 224
Лемма Огдена (Ogden’s lemma)      220—223
Лента входная (распознавателя) (input tape)      113—115
Ли, Дж.      96
Ли, Э.      504
Ливенворт      74 559
Лист (в графе) (leaf)      54
ЛО-автомат      см. «Автомат линейно ограниченный»
Локс      510
Ломет      417
Лукасевич      244
Лукаш      74
Льюис      220 268 408
Магазин (pushdown list)      114 192—194 378
Мак-Илрой      74 77
Мак-Каллок      123
Мак-Карти      96
Мак-Киман      96 480 510
1 2 3
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2020
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте