Теоретические основы проектирования компиляторов

Description

В книге известных американских специалистов излагаются математические понятия и методы теории автоматов и формальных грамматик, лежащие в основе проектирования компиляторов, и показывается, как их применять на практике. Применение теории детально продемонстрировано на примере компилятора для учебного языка программирования. Разработанный авторами метод позволил им включить в синтаксический блок значительную часть того, что обычно относится к семантике (генерации кода). Изложение строгое, но не формальное, доступное читателю, не имеющему специальной математической подготовки. Книга рекомендуется широкому кругу системных программистов и студентов соответствующего профиля (особенно инженерных вузов). От редактора перевода 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