Проектирование транслятора с языка L1={Паскаль, Си} на язык L2={Ассемблер}

ЗАДАНИЕ НА ЛАБОРАТОРНЫЕ РАБОТЫ  ПО «МЕТОДАМ ТРАНСЛЯЦИИ»

Задание: Проектирование транслятора с языка L₁={Паскаль, Си} на язык L₂={Ассемблер}.

Этапы проектирования транслятора:

1) проектирование блока лексического анализа (сканер) – лабораторная работа №1;

2) проектирование блока систаксического анализа – лабораторная работа №2;

3) проектирование генератора кода - лабораторная работа №3.

Требования к лабораторным работам:

1.  Язык проектирования - Паскаль, Си++.

2.  Транслятор может быть реализован в виде одно-, двух- или трехпроходной схемы.

3.  В    ЛР1 необходимо разработать и реализовать:

-  постоянные таблицы, содержащие алфавит языка, зарезервированные слова, знаки операций, разделители и пр.

-  таблицы переменных и констант в виде таблиц с вычисляемым входом ( с использованием объектов class). Вид хеш-функции и метод рехеширования задает разработчик.

-  результатом работы сканера должен быть файл лексем.

4.  В    ЛР2 необходимо реализовать синтаксический анализатор с использованием одного из табличных методов (LL-, LR-метод ,  метод предшествования). Результатом работы синтаксического анализатора является дерево разбора или постфиксная запись.

5.  Результатом работы генератора кода должна быть программа на Ассемблере, которая может быть выполнена в отладочном режиме.

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

Варианты заданий:

Исходный язык задается схемой:              N={S, S₁, S₂} - нетерминальный словарь ; P – язык логических выражений,

A - язык арифметических выражений,    S₃  - язык идентификаторов.

Остальные символы терминальные.

П1)  Подмножество языка включает:               ► условные конструкции типа if   then   else   и  if    then;

► логические выражения;

► арифметические выражения;

► инструкции присваивания.

Определяемое множество задается схемой:                             S → S₁ S | S₁

S₁ → if P then S₁ else S₁  | if P then S₁  | S₂

S₂ → S₃:=A

П2) Подмножество языка включает:                ► оператор цикла   while   do;

► логические выражения;

► арифметические выражения;

► инструкции присваивания.

Определяемое множество задается схемой:                          S → S₁ S | S₁

S₁ → while P do S₁  | S₂S₁ | S₂

S₂ → S₃:=A

П3) Подмножество языка включает:                ► оператор цикла   repeat    until;

► логические выражения;

► арифметические выражения;

► инструкции присваивания.

Определяемое множество задается схемой:                          S → S₁ S | S₁

S₁ → repeat S₁ until P | S₂S₁ | S₂

S₂ → S₃:=A

П4) Подмножество языка включает:                ► оператор цикла for   to   do;

► арифметические выражения;

► инструкции присваивания.

Определяемое множество задается схемой:                          S → S₁ S | S₁

S₁ → for  S₂ to A do S₁ | S₂S₁ | S₂

S₂ → S₃:=A

П5) Подмножество языка включает:                ►оператор выбора  case of;

►арифметические выражения;

►инструкции присваивания.

N={S, S₁, S₂, S₃, S₄} - нетерминальный словарь ;   B – язык констант; A - язык арифметических выражений; S₅  - язык идентификаторов. Остальные символы терминальные.

Определяемое множество задается схемой:                          S → S₁ S | S₁

S₁ → case  A of S₂ end;

S₂ → B: S₃ ; S₂ | B: S₃

S₃→ S₄ S₃ | S₄

S₄ → S₅:=A | S₁

С1) Подмножество языка включает:                ►условные конструкции типа if   else   и  if   ;

►логические выражения;

►арифметические выражения;

►инструкции присваивания.

Определяемое множество задается схемой:                             S → S₁ S | S₁

                                                                                                                                                  S₁ → if (A)  S₁  else S₁  | if (A) S₁

S₁ → if (P)  S₁  else S₁  | if (P) S₁  |  S₂

S₂ → S₃=A;

C2) Подмножество языка включает:                ► оператор цикла   while  ;

►логические выражения;

►арифметические выражения;

►инструкции присваивания.

Определяемое множество задается схемой:                          S → S₁ S | S₁

S₁ → while (P) S₁   | while (A) S₁   | S₂S₁ | S₂

S₂ → S₃ =A;

C3) Подмножество языка включает:                ► оператор цикла   do    while;

►логические выражения; арифметические выражения;

►инструкции присваивания.

Определяемое множество задается схемой:                          S → S₁ S | S₁

S₁ → do S₁ while (P) | do S₁ while (A) | S₂S₁ | S₂

S₂ → S₃ =A;

C4) Подмножество языка включает:                ►оператор цикла for  ;

►логические выражения; арифметические выражения;

►инструкции присваивания.

Определяемое множество задается схемой:                          S → S₁ S | S₁

S₁ → for  (S₂ ;  P ; S₂) S₁ | S₂S₁ | S₂

S₂ → S₃ =A

C5) Подмножество языка включает:                ► оператор выбора switch;

► арифметические выражения;

► инструкции присваивания.

N={S, S₁, S₂, S₃, S₄} - нетерминальный словарь ;   B – язык констант; A - язык арифметических выражений; S₅  - язык идентификаторов. Остальные символы терминальные.

Определяемое множество задается схемой:                          S → S₁ S | S₁

S₁ → switch (A)   S₂ defoult S₄; | switch (A)   S₂

S₂ → case B: S₃ ; break; S₂ | case B: S₃ ; break;

S₂ → case B: S₃ ; | case B: S₃ ; S₂

S₃→ S₄ S₃ | S₄

S₄ → S₅=A | S₁