UNIX — универсальная среда программирования

— значение, вырабатываемое при распознавании , и оно же является результирующим значением . В данном случае присваивание может быть опущено, так как всегда принимает значение (если не устанавливается явно каким либо иным образом). В следующей строке с правилом

результирующее значение 

является суммой двух компонентов, тоже . Отметим, что соответствует т.е. каждый компонент пронумерован.

Строкой выше выражение, за которым следует символ перевода строки (

), распознается как список, и печатается его значение. Если за такой конструкцией следует конец входного потока, процесс разбора завершается правильно. Список может быть пустой строкой; так учитываются пустые входные строки.

Формат входного потока для

— произвольный. Наш формат рекомендуется как стандартный.

В этой реализации процесс распознавания или разбора входного потока приводит к немедленному вычислению выражения. В более сложных решениях (включая

и его последующие версии) процесс разбора порождает код для дальнейшего выполнения.

Наглядно представить разбор вам поможет рис. 8.1, где изображено дерево разбора. Кроме того, вы должны знать, как вычисляются значения и как они распространяются от листьев к корню дерева.

Рис. 8.1: Дерево разбора для 2 + 3*4

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

устанавливает двойную точность для типа данных стека.

Теперь перейдем к описанию синтаксических классов, распознаваемых лексическим анализатором, если только они не являются литералами, состоящими из одного символа вида

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

(Левая ассоциативность означает, что

будет разбираться как , а не .) Приоритет устанавливается порядком появления операции: лексемы из одного определения имеют один и тот же приоритет, а лексемы, специфицированные позднее, — более высокий. Таким образом, в грамматике может быть неоднозначность (т.е. для некоторых входных потоков существует несколько способов разбора), но дополнительная информация в определениях разрешает эту неоднозначность.

Вторую половину файла

составляют процедуры:

Функция main обращается к

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

Функция

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

Переменная

используется для связи между синтаксическим и лексическим анализаторами; она определена в и имеет тот же тип, что стек . Функция возвращает тип лексемы, равно как и ее функциональное значение, и приравнивает значению лексемы (если оно есть). Например, число с плавающей точкой имеет тип и значение, скажем, 12.34. Для некоторых лексем, прежде всего состоящих из одного символа, таких, как или , в грамматике используется только тип. В этом случае не нужно определять.