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

Если один файл изменится, достаточно единственной команды

для получения действующей версии:

Смена времени модификации файла lex.l

Некоторое время мы дебатировали о том, следует ли считать обсуждение программы

отступлением от нашей темы и поэтому показать ее кратко, а затем перейти к другим вопросам или рассматривать ее как основное средство для лексического анализа, когда язык становится слишком сложным. У нас были аргументы "за" и "против". Затруднения в работе с (помимо того, что пользователь должен изучить еще один язык) связаны с тем, что замедляется выполнение программы, а распознаватели оказываются более объемными и медленными, чем эквивалентные версии на языке Си. К тому же возникают трудности с механизмом ввода в некоторых особых случаях, таких, как восстановление после ошибки, а также с вводом из файла. Ни одна из перечисленных проблем не является существенной для . К сожалению, из-за ограниченного объема книги мы вынуждены вернуться в последующих лексических анализаторах к Си. Однако создание версии с будет для вас хорошей практикой.

8.4 Этап 4: компиляция на машину

Мы постепенно приближаемся к созданию

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

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

создаются следующие команды:

Записать в стек: константа … константа2

Записать указатель на таблицу имен в стек

… для переменной у

Вычислить: заменить указатель значением

Перемножить два верхних элемента; результат заменяет их

Записать указатель на таблицу имен в стек

… для переменной x

Записать значение в переменную, убрать указатель

Убрать верхний элемент из стека

Конец последовательности команд

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

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

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

Структура таблицы имен для

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