Описание перевода (постфиксная s – атрибутная транслирующая грамматика) каждой конструкции входного языка

Все нетерминалы содержат только синтезированныеатрибуты.

Операционные символы содержат как унаследованные, так и синтезированные атрибуты. Синтезтрованные атрибуты операционных символов – это те атрибуты, значения которых есть результат некоторой функции (НОВЭЛТ, НОВМЕТ, ..). Все остальные атрибуты операционных символов – унаследованные.

Основная грамматика

PRG -> voi mai ( ) SOP

PRG -> GD voi mai ( ) SOP

GD -> GD DES

GD -> DES

Подграмматика составного оператора

SOP -> { SET }

SOP -> { }

SET -> SET OP

SET -> OP

Подграмматика оператора

OP -> LOP OPS

OP -> OPS

LOP -> id_p1 : {МЕТКА}_p2

p2p1

OPS -> OPN

OPS -> GOT

OPS -> IN

OPS -> OUT

OPS -> SOP

OPS -> ;

GOT -> got id_p ; {БП}_q

qp

IN -> scn ( LIN ) ;

LIN -> VAR_p {ВВОД}_q

qp

LIN -> LIN , VAR_P {ВВОД}_q

qp

Подграмматика оператора вывода

OUT -> prn ( LO ) ;

LO -> AEX_p {ВЫВОД}_q

qp

LO -> LO , AEX_p {ВЫВОД}_q

qp

Операционные символы:

{МЕТКА}A	Идентификатору A1задается класс метка и ссылка указывает на таблицу меток, в которую добавляется текущий номер тетрады.
{БП}A	Если A– идентификатор и его класс – метка, то генерируется тетрада:JMPA1, иначе ошибка.
{ВВОД}A	Если A– переменная целого или вещественного типов, то в зависимости от типа переменнойAгенерируется тетрада:SCAN(см. таблицу), иначе ошибка.
{ВЫВОД}A	Если A– переменная или константа целого или вещественного типов, то в зависимости от типа значенияAгенерируется тетрада:PRINT(см. таблицу), иначе ошибка.

тип A	SCAN	PRINT
float	SCANF A	PRINTF A
int	SCANI A	PRINTF A

Подграмматика для операторов

OPN -> FOR

OPN -> IF

OPN -> GIV

FOR -> for HD_q1,q2 ) OP {БП}_m1 {ИМ}_m2

m1q2

m2q1

HD_p1,p2 -> HD0_q1,q2,q3,q4 OGV {БП}_m {ИМ}_m1

mq1

m1q3

p1q2

p2q4

HD_p1,p2 -> HD0_q1,q2,q3,q4 {БП}_m {ИМ}_m1

mq1

m1q3

p1q2

p2q4

HD0_p1,p2,p3,p4 -> HD1_q LEX_r ; {ДВМ}_m {УПЛ}_r1,m1 {ДВМ}_n {БП}_n1 {ДМ}_n2

p1q

mНОВМЕТ

p2,m1m

nНОВМЕТ

p3,n1n

n2НОВМЕТ

p4n2

HD0_p1,p2,p3,p4 -> HD1_q ; {ДВМ}_n {ДВМ}_m {БП}_m1 {ДМ}_m2

nНОВМЕТ

mНОВМЕТ

p3,m1m

m2НОВМЕТ

p4m2

p2n

p1q

HD1_p -> ( ; {ДМ}_m

mНОВМЕТ

pm

HD1_p -> ( GIV {ДМ}_m

mНОВМЕТ

pm

IF -> IF1_p

IF -> IF1_p els op {ИМ}_q

qp

IF1_p -> if CON_p1 ) op {ДВМ}_k {БП}_k1 {ИМ}_q {ИМ}_k2

qp1

kНОВМЕТ

p, k2, k1k

CON_p1 -> ( LEX_q {ДВМ}_m {УПЛ}_r,m1

rq

m1,mНОВМЕТ

p1m

GIV -> OGV ;

OGV -> VAR_p = AEX_q {=}_q1,q2

p1p

q1q

LEX_p -> LEX_p1 != LE1_q {!=}_r1,r2,r3

p,r3НОВЭЛТ

r1p1

r2q

LEX_p -> LEX_p1 == LE1_q {==}_r1,r2,r3

p,r3НОВЭЛТ

r1p1

r2q

LEX_p -> LE1_q

pq

LE1_p -> AEX_q

pq

LE1_p -> LE1_p1 > AEX_q {<}_r1,r2,r3

r1q

r2p1

p,r3НОВЭЛТ

LE1_p -> LE1_p1 < AEX_q {<}_r1,r2,r3

r1p1

r2q

p,r3НОВЭЛТ

LE1_p -> LE1_p1 >= AEX_q {<=}_r1,r2,r3

r1q

r2p1

p,r3НОВЭЛТ

LE1_p -> LE1_p1 <= AEX_q {<=}_r1,r2,r3

r1p1

r2q

p,r3НОВЭЛТ

Операционные символы:

{ДВМ}A1	Добавляет виртуальную метку в таблицу меток, и возвращает ее номер в A1
{ИМ}A1	Инициализируется метка с номером A­1– записывается в таблицу меток номер текущей тетрады.
{ДМ}A1	Метке с номером A1присваивается номер следующей тетрады.
{УПЛ}A1,A2	Если A1– переменная или константа типаint, то генерируется тетрада:JMPFА1,A2, гдеA1 – номер переменной или константы,A2– номер в таблице меток, иначе ошибка.
{<}A1,A2,R	Если A1иA2– переменные или константы целого и вещественного типов, то в зависимости от типаintилиfloat, генерируется тетрада:LIA­1A2RилиLFA1A2R, иначе ошибка
{<=}A1,A2,R	Если A1иA2– переменные или константы целого и вещественного типов, то в зависимости от типаintилиfloat, генерируется тетрада:LEIA­1A2RилиLEFA1A2R, иначе ошибка.
{==}A1,A2,R	Если A1иA2– переменные или константы целого и вещественного типов, то в зависимости от типаintилиfloat, генерируется тетрада:EEIA­1A2RилиEEFA1A2R, иначе ошибка.
{!=}A1,A2,R	Если A1иA2– переменные или константы целого и вещественного типов, то в зависимости от типаintилиfloat, генерируется тетрада:NEIA­1A2RилиNEFA1A2R, иначе ошибка.
{=}A1,A2	Если A1– не переменная, то ошибка. ЕслиA­2– не переменная и не константа, то ошибка. Если типыA1иA2совпадают, то в зависимости от типа генерируется тетрада:SETxA­1A2R. Если типA1 –float, а типA2–int, то генерируются тетрады:FTYPEA2 -A3;SETA1A3R

Операционные символы операций отношений вызывают функцию проверки совпадения типов операндов. Если типы не совпадают, и A₁–float, аA₂–int, то генерируется тетрада преобразования типаintкfloat:FTYPE A - R, гдеA– элемент типаint.

НОВМЕТ - процедура, которая выдает значение указателя на свободную позицию таблицы меток.

НОВЭЛТ - процедура, которая выдает значение указателя на свободную позицию таблицы, используемой для запоминания результата.

Подграмматика объявлений

DES -> DVA

DES -> DMT

DES -> DC

DVA -> TYP_p LI_q ; {ПЕРЕМЕННЫЕ}_p1,q1

p1p

q1q

DVA -> TYP_p LA_q ; {МАССИВ}_p1,q1

p1p

q1q

DMT -> fmt LMT ;

TYP_p -> int_q

pq

TYP_p -> flt_q

pq

LI_p -> LI_q , id_r {СПИСОК}_r1,q1

p,q1q

r1r

LI_p -> id_q {СПИСОК}_q1,r

q1q

rНОВ_СПИСОК

pr

LA_p -> LA_r1 , id_q IA_r2 {СПИСОК_МАСС}_q1,r3,r4

q1q

r3r2

p,r4r1

LA_p -> id_q IA_r {СПИСОК_МАСС}_q1,r1,r2

q1q

r1r

r2НОВ_СПИСОК_МАСС

pr2

IA_p -> [ num_q1 ] {СПИСОК}_q2,r

q2q1

rНОВ_СПИСОК

pr

IA_p -> IA_p1 [ num_q1 ] {СПИСОК}_q2,r

q2q1

r,pp1

LMT -> LMT , id­_p [ num_q1 , num_q2 ] {МАТРИЦА}_r1,r2,r3

r1p

r2q1

r3q2

LMT -> id_p [ num_q1 , num_q2 ] {МАТРИЦА}_r1,r2,r2

r1p

r2q1

r3q2

Операционные символы:

{МАТРИЦА}A1,A2,A3	Объявление матрицы: размер которой [A2,A3]. Если идентификатор уже объявлен, то ошибка. ИдентификаторуA1задается класс – переменная, и ссылка указывает на таблицу переменных. В поле “атрибуты” таблицы переменных записывается размер матрицы. В поле “тип” записывается 3 –fmatr. В поле “адрес” записывается адрес свободной ячейки памяти.“размер” = A2 * A3 * 4
{СПИСОК}A1,A2	Добавляется элемент A1в списокA2,
{СПИСОК_МАСС}A1,A2,A3	В список массивов по адресу A3добавляется элемент {A1,A2}, гдеA1– идентификатор,A2– указатель на список индексов.
{МАССИВ}A1,A2	Объявление массивов: В цикле обрабатывается список массивов. Если идентификатор уже объявлен, то ошибка. Если размерность массива больше 10, то ошибка. Идентификатору задается класс – переменная, и ссылка указывает на таблицу переменных. В поле “атрибуты” таблицы переменных записывается указатель на список размеров массива. В поле “тип” записывается тип массива. В поле “адрес” записывается адрес свободной ячейки памяти. В поле “размер” записывается количество байт, требуемых массиву.
{ПЕРЕМЕННЫЕ}A1,A2	Объявляются переменные типа A1.A2– список идентификаторов. Если идентификатор уже объявлен, то ошибка. Идентификатору задается класс – переменная, и ссылка указывает на таблицу переменных

НОВ_СПИСОК – создается список из элементов типа (unsigned char) и возвращается указатель на него.

НОВ_СПИСОК_МАСС – создается список из элементов типа ARR и возвращается указатель на него.

ARR = struct {

List<unsigned char>* ptr; - указатель на список индексов

unsigned char ID – номер идентификатора

}