Ebook: Теория синтаксического анализа, перевода и компиляции (в 2-х томах)

М: изд-во "Мир", 1978 - 613 (Т.1) / 487 (Т.2) с.Первый том ("синтаксический анализ") фундаментальной монографии известных американских учёных содержит основной математический аппарат (в частности, теорию грамматик и автоматов), краткий обзор процесса компиляции, начала теории синтаксически управляемого перевода и обстоятельное изложение методов синтаксического анализа. Рассмотрены и систематизированы почти все известные алгоритмы разбора. Для некоторых из них впервые даётся полное и корректное описание, для большинства доказывается корректность и оценивается сложность. Приведено большое количество упражнений.
Особенность книги в том, что она трактует теоретические вопросы в связи с потребностями реализации языков программирования, и этим она отличается от книг по системному программированию.
Книга предназначена тем, кто работает в области системного и теоретического программирования, препоадаёт или изучает эти дисциплины, а также математикам, интересующимся приложениями теории грамматик и автоматов.Второй том ("компиляция") фундаментальной монографии известных американских учёных посвящён методам оптимизации синтаксических анализаторов, теории синтаксически управляемого перевода, а также способам организации памяти при переводе. Большое внимание уделяется методам оптимизации объектной программы. Авторы проделали значительную работу по отбору и систематизации многочисленных результатов, полученных в последние годы; они строят изложение на едином подходе к задачам перевода и задачам оптимизации программы.
Книга предназначена тем, кто работает в области системного и теоретического программирования, преподаёт или изучает эти дисциплины, а также разработчикам математического обеспечения ЭВМ.Предварительные математические сведения
Введение в компиляцию
Элементы теории языков
Теория перевода
Общие методы синтаксического анализа
Однопроходные синтаксический анализ без возвратов
Алгоритмы разбора с ограниченными возвратами
Методы оптимизации синтаксических анализаторов
Теория детерминированного разбора
Перевод и генерация кода
Организация информации
Оптимизация кода