olpa (olpa) wrote,
olpa
olpa

Categories:
  • Mood:

В.А.Серебряков, М.П.Галочкин: Основы конструирования компиляторов

Когда-то давно получил совет писать рецензии на прочитанные книги. Идея хорошая, но сил собраться не было. Основная "отмазка" -- некуда писать. Но теперь есть ЖЖ, так что попробую.

Итак, книга:

В.А.Серебряков, М.П.Галочкин
Основы конструирования компиляторов



От издателя:
Предлагаемая вниманию читателя книга основана на курсе лекций, прочитанных на факультете вычислительной математики и кибернетики Московского государственного университета и факультете управления и прикладной математики Московского физико-технического института в 1991-1999 гг. Авторы надеются, что издание книги восполнит существенный пробел в литературе на русском языке по разработке компиляторов.

Содержание книги представляет собой "классические" разделы предмета: лексический и синтаксический анализ, организация памяти транслятора (таблицы символов) и периода исполнения (магазина), генерация кода, в частности генерация арифметических и логических выражений. Рассматриваются некоторые средства автоматизации процесса разработки трансляторов, такие как LEX, YACC, СУПЕР, методы генерации оптимального кода. Сделана попытка на протяжении всего изложения провести единую "атрибутную" точку зрения на процесс разработки компилятора.

Книга будет полезна как студентам и аспирантам программистских специальностей, так и профессионалам в этих областях.

Неявно книга состоит из двух частей:

* теория языков и трансляции, и
* основы внутренностей компиляторов.

Вторая часть какая-то совсем странная. Надёргано всяких очевидностей, которые у меня не сложились в единую картину. Это несмотря на то, что я читал "Advanced Compiler Design and Implementation" и представляю, что могли бы сказать авторы.

Но это не страшно, вторая часть мне не была нужна. Чтение книжки -- это четвёртая или пятая попытка разобраться с сочетаниями "LL(1)", "LALR" и "атрибутные грамматики", "детерминированный автомат с магазинной памятью" и т.д. Хочется не только употреблять их в речи, но и понимать тонкости того, что говорю.

Изложение очень сжато, некоторые непринципиальные утверждения оставлены без доказательств. Некоторые из доказательств мне показались неполными. Например, если дан алгоритм построения чего-либо, то надо доказывать, что он закончит свою работу. Если алгоритм называется "построение минимального...", то надо доказать, что результат действительно минимальный.

Стиль изложения формальный, но, тем не менее, я без проблем добрался до LL(1) и теперь могу написать парсер "на бумажке". Значительно помогло то, что в критических местах авторы переформулируют написанное человеческим языком. Однозначно плюс книге.

Но ближе к LR(1) стало совсем тяжело. После долгого медитирования над алгоритмом построения "closure" я сдался. То есть на пальцах более-менее понял, но программировать бы это не взялся. Так я и остановился в паре страниц от LR(1).

Плюсы книги;

* пригодится студентам этих авторов,
* критические места пояснены человеческим языком,
* малый размер, можно брать с собой в дорогу.

Для меня самым важным был последний пункт. Иначе без сомнений был бы взят Ахо-Сети-Ульман "Компиляторы: принципы, технологии и инструменты".

Минусы:

* Вторая часть -- вода чистой воды.
* С описанием LR(1) я не разобрался.
Tags: books
Subscribe

  • Бозон Хиггса

    Шум про возможное открытие бозона возбудил-таки любопытство. Но чтобы понять суть дела, не хватает образования. Пришлось изучать коллективный разум,…

  • Мечта о небе

    Оказывается, обучение на пилота-любителя стоит сравнительно недорого. Основная инвестиция -- это время. Есть промежуточный этап: полёт с…

  • Язык надо знать

    Подсунул ребёнку тест по немецкому языку чтобы посмотреть, где есть пробелы в знаниях. Неожиданный результат: она прошла тест значительно лучше…

  • Post a new comment

    Error

    default userpic

    Your IP address will be recorded 

    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.
  • 3 comments