Итак, книга:
В.А.Серебряков, М.П.Галочкин
Основы конструирования компиляторов
От издателя:
Предлагаемая вниманию читателя книга основана на курсе лекций, прочитанных на факультете вычислительной математики и кибернетики Московского государственного университета и факультете управления и прикладной математики Московского физико-технического института в 1991-1999 гг. Авторы надеются, что издание книги восполнит существенный пробел в литературе на русском языке по разработке компиляторов.
Содержание книги представляет собой "классические" разделы предмета: лексический и синтаксический анализ, организация памяти транслятора (таблицы символов) и периода исполнения (магазина), генерация кода, в частности генерация арифметических и логических выражений. Рассматриваются некоторые средства автоматизации процесса разработки трансляторов, такие как LEX, YACC, СУПЕР, методы генерации оптимального кода. Сделана попытка на протяжении всего изложения провести единую "атрибутную" точку зрения на процесс разработки компилятора.
Книга будет полезна как студентам и аспирантам программистских специальностей, так и профессионалам в этих областях.
Неявно книга состоит из двух частей:
* теория языков и трансляции, и
* основы внутренностей компиляторов.
Вторая часть какая-то совсем странная. Надёргано всяких очевидностей, которые у меня не сложились в единую картину. Это несмотря на то, что я читал "Advanced Compiler Design and Implementation" и представляю, что могли бы сказать авторы.
Но это не страшно, вторая часть мне не была нужна. Чтение книжки -- это четвёртая или пятая попытка разобраться с сочетаниями "LL(1)", "LALR" и "атрибутные грамматики", "детерминированный автомат с магазинной памятью" и т.д. Хочется не только употреблять их в речи, но и понимать тонкости того, что говорю.
Изложение очень сжато, некоторые непринципиальные утверждения оставлены без доказательств. Некоторые из доказательств мне показались неполными. Например, если дан алгоритм построения чего-либо, то надо доказывать, что он закончит свою работу. Если алгоритм называется "построение минимального...", то надо доказать, что результат действительно минимальный.
Стиль изложения формальный, но, тем не менее, я без проблем добрался до LL(1) и теперь могу написать парсер "на бумажке". Значительно помогло то, что в критических местах авторы переформулируют написанное человеческим языком. Однозначно плюс книге.
Но ближе к LR(1) стало совсем тяжело. После долгого медитирования над алгоритмом построения "closure" я сдался. То есть на пальцах более-менее понял, но программировать бы это не взялся. Так я и остановился в паре страниц от LR(1).
Плюсы книги;
* пригодится студентам этих авторов,
* критические места пояснены человеческим языком,
* малый размер, можно брать с собой в дорогу.
Для меня самым важным был последний пункт. Иначе без сомнений был бы взят Ахо-Сети-Ульман "Компиляторы: принципы, технологии и инструменты".
Минусы:
* Вторая часть -- вода чистой воды.
* С описанием LR(1) я не разобрался.
