UNIX — универсальная среда программирования - Керниган Брайан Уилсон

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

; операции из одного символа, такие, как и , также являются лексическими единицами. По традиции лексические единицы называют лексемами.

На следующем этапе разрабатывается управляющая процедура, которая вызывает анализатор, созданный

.

Программа

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

Действие

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

Чтобы быть более точными, укажем, что входной поток для

должен иметь такой вид:

Этот поток поступает на вход

, а результат записывается в файл , имеющий следующую структуру:

Такой подход типичен для системы UNIX:

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

Генератор

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

Исходный текст

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

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

.

Альтернативные правила разделены символом

. С каждым грамматическим правилом может быть связано определенное действие, которое выполняется, когда экземпляр этого правила распознается во входном потоке. Действие описывается последовательностью операторов Си, заключенной в фигурные скобки. Внутри последовательности (т.е. , и т.д.) определяет значение, вырабатываемое -м компонентом правила, а значение, вырабатываемое всеми компонентами правила в целом. Так, в правиле