Сообщение

означает, что грамматика неоднозначна: единственная входная строка

может быть разобрана двумя способами.

Анализатор может решить, что присв сводится к выраж, а затем к список, как показано в левом дереве разбора, или что нужно применить заключающий символ

сразу (shift — перенос) и преобразовать все в список, не используя промежуточных выводов, как в правом дереве разбора. Встретив неоднозначность, выбирает перенос, так как это почти всегда правильное решение для реальных грамматик. Вы должны понимать такие сообщения, чтобы быть уверенным, что сделал правильный выбор [16] . Запуск с флагом порождает обширный файл с именем , который поможет вам найти причины конфликтов.

Упражнение 8.5

В данной версии

hoc3

допустимо присваивание:

PI=3

Хорошо ли это? Как бы вы изменили

hoc3

, чтобы запретить присваивание "констант"?

Упражнение: 8.6

Добавьте к грамматике встроенную функцию

atan2(x, y)

для вычисления величины угла, тангенс которого равен

x/y

. Добавьте встроенную функцию

rand

, вырабатывающую случайные вещественные числа, равномерно распределенные на интервале [0,1). Как бы вам пришлось изменить грамматику, чтобы разрешить встроенные функции с разным числом аргументов?

Упражнение 8.7

Как ввести дополнительное средство для выполнения команд прямо в

hoc

, подобно операции

!

в программах UNIX?

Упражнение 8.8

Переработайте текст

math.c

так, чтобы можно было использовать таблицу, а не предложенное выше множество идентичных функций.

Поскольку теперь программа

размещается не в одном, а в пяти файлах, становится более сложным:

Строка

добавляет флаг в командную строку запуска yacc, создаваемую . Этот флаг предписывает yacc создать файл , содержащий операторы . Строка вводит сокращение для записи конструкции, используемой последовательно несколько раз. Синтаксис здесь не такой, как для переменных интерпретатора, скобки обязательны. Флаг указывает, что математические функции нужно искать в библиотеке .

Теперь программа

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

С другой стороны, если необходимо установить временную согласованность файлов, с помощью флага

(touch исправить) вы можете как бы модифицировать файлы, не производя перетрансляции.

Обратите внимание на то, что мы ввели не только множество зависимостей между исходными файлами, но и несколько полезных процедур, сконцентрировав их в одном файле. По умолчанию программа

выполняет первое действие, указанное в файле . Однако если на первом месте окажется элемент, помечающий правило зависимости, такой, как или , то выполняться будет он. Считается, что в случае "пустой" зависимости элемент всегда берется не из последней версии, поэтому при запросе он обязательно должен изменяться. Итак,

инициирует распечатку зависимостей файлов на принтере. (Появление символа

в подавляет эхо выполняемой команды, запущенной с помощью .) Команда же

удаляет выходные файлы

, а также файлы .

Такой механизм пустых зависимостей в файле

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