В книге известных американских специалистов излагаются математические понятия и методы теории автоматов и формальных грамматик, лежащие в основе проектирования компиляторов, и показывается, как их применять на практике. Применение теории детально продемонстрировано на примере компилятора для учебного языка программирования. Разработанный авторами метод позволил им включить в синтаксический блок значительную часть того, что обычно относится к семантике (генерации кода). Изложение строгое, но не формальное, доступное читателю, не имеющему специальной математической подготовки.
Книга рекомендуется широкому кругу системных программистов и студентов соответствующего профиля (особенно инженерных вузов).
Author(s): Льюис Ф., Розенкранц Д., Стирнз Р.
Publisher: Мир
Year: 1979
Language: Russian
Pages: 654
City: Москва
От редактора перевода 5
От редакционного бюро IBM 6
Предисловие 8
Глава 1. Введение 11
Глава 2. Конечные автоматы 21
Глава 3. Реализация конечных автоматов 73
Глава 4. Лексический блок для языка MINI-BASIC 101
Глава 5. Автоматы с магазинной памятью 126
Глава 6. Контекстно-свободные грамматики 153
Глава 7. Синтаксически управляемые процессы обработки языков 197
Глава 8. Нисходящие методы обработки языков 242
Глава 9. Нисходящие методы обработки для атрибутных грамматик 319
Глава 10. Синтаксический блок для языка MINI-BASIC 369
Глава 11. Восходящие методы обработки языков 412
Глава 12. Обработка методами типа "перенос - опознание" 447
Глава 13. Обработка методами типа "перенос - свертка" 504
Глава 14. Генератор кода для MINI-BASIC компилятора 550
Глава 15. Обзор методов оптимизации объектного кода 571
Приложение А. Руководство по языку MINI-BASIC 582
Приложение Б. Отношения 589
Приложение В. Преобразования грамматик 602
Список литературы 629
Именной указатель 643
Предметный указатель 654
