Обзор методов и алгоритмов работы интерпретатора языка МИЛАН

Работа интерпретатора производится в два этапа: лексический и синтаксический анализ.

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

Синтаксический анализатор, проводя анализ лексем, распознает конструкции языка и выполняет заданные действия — таким образом, синтаксический анализатор выполняет и функцию интерпретации.

Грамматика модифицированного языка МИЛАН в виде синтаксических диаграмм Вирта

Грамматика в виде диаграмм Вирта представляет собой схематическое описание какого-либо нетерминального символа языка. В качестве начального нетерминального символа выбран нетерминал «программа». Каждая программа начинается со слова BEGIN и заканчивается словом END. Между этими словами расположены операторы, разделенные символом «;». Типов операторов в расширенной грамматике МИЛАНа пять: вывод, присваивание, инкремент, развилка, цикл. По принципу вложенности диаграммы Вирта описывают возможные конструкции языка и выражение их через терминальные и нетерминальные символы. Множество терминальных символов модифицированного языка представлено в таблице 1.

Таблица 1.

Терминалы грамматики языка МИЛАН.

Диаграммы Вирта для группы нетерминалов 1 («программа», «комментарий» и «последовательность операторов») представлены на рисунке 1.

Программа.

Последовательность операторов.

Рисунок 1 — Группа нетерминалов 1.

Блок комментария введен в грамматику формально, так как не будет вводиться на уровне лексем. Еще на этапе лексического анализа скобки комментария и любые заключенные в них символы будут игнорироваться. Таким образом, комментарий можно вставлять произвольно по тексту программы, нетерминал «текст комментария» подразумевает множество любых символов.

Диаграмма Вирта для нетерминала оператор представлена на рисунке 2.

Рисунок 2 — Нетерминал «оператор».

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

Группа нетерминалов 2 («выражение», «терм» и «множитель») позволяют составлять различные выражения в конструкциях, и представлены на рисунке 4.

Рисунок 4 — Группа нетерминалов 2.

Нетерминальные символы «идентификатор» и «константа» представлены на рисунке 5.

Рисунок 5 — Нетерминалы «идентификатор» и «константа».

Группа нетерминалов 3 замещаются терминальными символами и представляют собой минимальные единицы языка («операция отношения», «цифра», «буква», «операция умножения», «операция сложения») представлены на рисунке 6.

Рисунок 6 — Группа нетерминалов 6.