Методические указания к лабораторным работам по курсу "Теория вычислительных процессов и структур". Домашова Д.В - 26 стр.

UptoLike

описаний- Расширенное правило D.
7) Семантический анализатор. Дать описание переменной
ТОР, процедур checkid, checkop, gettype, checknot. Обработка
выражений. Расширенные правила Е, El, T, F.
8) Семантический анализатор. Проверка типов в операторах.
Процедуры eqtype, eqbool. Правило S.
Работа со стеками. Построение семантических деревьев.
9) Работа в графическом режиме со стеками на этапе
семантического анализа.
Разбор по КЗ-грамматике. Проверка правильности порядка
выполнения операций путем построения семантических деревьев.
10) Бэкуса-Наура форма (БНФ).
Описание модельного языка программирования MPL.
Автоматическое конструирование программ.
11) Польская инверсная запись (ПОЛИЗ).
Перевод в полиз программ на MPL.
12) Работа в графическом режиме со стеками при переводе в
ПОЛИЗ. Графическое представление полиза программы на MPL.
13) Перевод в ПОЛИЗ Программ на MPL. Правила Е, Е1, Т, F,
Р, дополненные действиями по переводу в ПОЛИЗ.
14) Интерпретатор ПОЛИЗа. Классы лексем. Процедуры
адр(l), сод(А), присв(А.х).
15) Графическое представление перевода в полиз и работы
интерпретатора.
16) Сборка компилятора и его отладка.
7.2 Построение интерпретатора
Разработать реализовать на ЯП типа Лисп интерпретатор для
конкретного подмножества SOL,определяемого типами операторов
и типами элементами образца, которые разрешается использовать в
дан ном подмножестве. Операторы присваивания и оба
специальных оператора включаются в каждое подмножество:
а) рассматриваемые типы операторов.
1) Поиск по образцу и замена:
<имя><образец>=[<правая часть>]
2) Поиск по образцу и переход:
[<метка>]<имя><образец>[<переход>]
б) рассматриваемые элементы образцов.
1) <строка> и <имя>
2) <строка> и <произвольная переменная>
3) <строка> и <переменная с длиной>
4) <имя> и <произвольная переменная>
29
 описаний- Расширенное правило D.
        7) Семантический анализатор. Дать описание переменной
 ТОР, процедур checkid, checkop, gettype, checknot. Обработка
 выражений. Расширенные правила Е, El, T, F.
        8) Семантический анализатор. Проверка типов в операторах.
 Процедуры eqtype, eqbool. Правило S.
Работа со стеками. Построение семантических деревьев.
        9) Работа в графическом режиме со стеками на этапе
 семантического анализа.
        Разбор по КЗ-грамматике. Проверка правильности порядка
 выполнения операций путем построения семантических деревьев.
        10) Бэкуса-Наура форма (БНФ).
       Описание модельного языка программирования MPL.
       Автоматическое конструирование программ.
        11) Польская инверсная запись (ПОЛИЗ).
        Перевод в полиз программ на MPL.
        12) Работа в графическом режиме со стеками при переводе в
 ПОЛИЗ. Графическое представление полиза программы на MPL.
        13) Перевод в ПОЛИЗ Программ на MPL. Правила Е, Е1, Т, F,
 Р, дополненные действиями по переводу в ПОЛИЗ.
        14) Интерпретатор ПОЛИЗа. Классы лексем. Процедуры
 адр(l), сод(А), присв(А.х).
        15) Графическое представление перевода в полиз и работы
 интерпретатора.
        16) Сборка компилятора и его отладка.

7.2 Построение интерпретатора

     Разработать реализовать на ЯП типа Лисп интерпретатор для
конкретного подмножества SOL,определяемого типами операторов
и типами элементами образца, которые разрешается использовать в
дан ном подмножестве. Операторы           присваивания и оба
специальных оператора включаются в каждое подмножество:
      а) рассматриваемые типы операторов.
      1) Поиск по образцу и замена:
      <имя><образец>=[<правая часть>]
      2) Поиск по образцу и переход:
      [<метка>]<имя><образец>[<переход>]
      б) рассматриваемые элементы образцов.
      1) <строка> и <имя>
      2) <строка> и <произвольная переменная>
      3) <строка> и <переменная с длиной>
      4) <имя> и <произвольная переменная>

                                                               29