Главная    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
Предметный указатель
Функция (function) общерекурсивная (total recursive)      41
Функция (function) переходов (goto)      426—428 444—445
Функция (function) переходов (состояний автомата) (state transition)      135
Функция (function) преобразования памяти (распознавателя) (fetch)      114
Функция (function) рекурсивная (recursive)      41
Функция (function) характеристическая (characteristic)      48
Функция (function) частичная (partial)      22
Функция (function) частично рекурсивная (partial recursive)      41
Функция инъективная (injective)      22
Футрель      268
Хавел      510
Халмош      13 38
Хант      452
Харари      68
Харрисон      163 220 315 372 510 558
Хартманис      52 147 220
Хаскел      315
Хафмен      162
Хейнс      123
Хейс      372
Хекст      352
Хомский      42 74 102 123 147 192 220 241
Хопгуд      96 510
Хопкрофт      52 123 163 220 241 408 452
Хорнинг      96 504 510
Хохшпрунг      96
Центин, Г.С.      102
ЦЕПОЧКА (STRING)      27 105
Цепочка (string) выводимая (sentential form)      105
Цепочка (string) левовыводимая (left sentential form)      167
Цепочка (string) правовыводимая (right sentential form)      167 459 460 469—471
Цепочка (string) пустая (empty)      27
Цикл в грамматике      см. «Грамматика без циклов»
Цикл в графе (cycle, circuit)      54
Часть (portion) (левовыводимой цепочки) законченная (closed)      374
Часть (portion) (правовыводимой цепочки) замкнутая (closed)      421
Часть (portion) незаконченная (open)      374
Часть (portion) открытая (open)      421
Чёрч      38 42 43
Читэм      74 96 315 351
Чулик I      268
Чулик II      408 558
Шамир      241
Шапиро      96
Шварц      95 96
Шевченко, В.В.      408
Шепердсон      147
Шиманский      452
Шкильняк, С.С.      408
Шорре      96 351 542
Шоу      98 102
Штрассен      48 68
Шумей, А.С.      452 510
Шютценберже      192 220 241
Эванс      510 569
Эви      192 220
Эйкель      510
Эквивалентность (программ, автоматов, грамматик) (equivalence)      71 147—150 154—156 162
Экли      295
Элемент перевода (translation element)      246—248
Элспас      96
Энгелер      74
Эрланд      52
Эрли      372
Эттингер      220 351
Ющенко, Е.Л.      408 411
Яжабек      408
Язык (language)      28 103 104 116 136 195
Язык (language) (1,1)-ОПК ((1,1)-bounded-right-context)      484 503
Язык (language) LC(k)      402—408
Язык (language) LL      375
Язык (language) LL(k)      373—408 449 450
Язык (language) LR(k)      см. «Язык детерминированный и LR(k)-грамматика»
Язык (language) ассемблера (assembly)      82—88
Язык (language) бесконтекстный (context-free)      см. «Язык контекстно-свободный»
Язык (language) детерминированный (deterministic)      211 216 229—231 238 241 283 384 450 501 503 522—525
Язык (language) Дика (Dyck)      29
Язык (language) естественный (natural)      72 97 98 102 317 351
Язык (language) контекстно-зависимый (context-sensitive)      111 112 117 119—121 237 452
Язык (language) контекстно-свободный (context-free)      111 112 117 119 121 237
Язык (language) левых разборов (left parse)      307 311
Язык (language) линейный (linear)      191 237 268
Язык (language) неоднозначный (ambiguous)      234—236 238 239 241
Язык (language) нисходящего разбора с ограниченными возвратами (ЯНРОВ) (top down parsing language, TDPL)      512—525 528—530 539—542
Язык (language) нисходящего разбора с ограниченными возвратами, обобщенный (ОЯНРОВ) (generalized, GTDPL)      525—542
Язык (language) ограниченного контекста (bounded context)      505 507
Язык (language) ограниченного правого контекста (bounded right context)      481—488 503—507
Язык (language) операторного предшествования (operator precedence)      493—497 503 504 507
Язык (language) правых разборов (right parse)      307 311
Язык (language) программирования (programming)      42 69—74 373 ПЛ/1» «ПЛ «Фортран» «Снобол»)
Язык (language) простого предшествования (simple precedence)      455—463 474—479 549 565
Язык (language) расширяемый (extensible)      74 75 559—562
Язык (language) регулярный (regular)      см. «Множество регулярное»
Язык (language) существенно неоднозначный (inherent ambiguous)      см. «Язык неоднозначный»
Язык (language) Флойда — Эванса (Floyd — Evans)      411 497—502 507 510
Язык (language) характеризующий (characterizing)      269—273 282
Язык однозначный (unambiguous)      234 240
Ямада      147
Янгер      372
ЯНРОВ      см. «Язык нисходящего разбора с ограниченными возвратами»
1 2 3
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте