7. Основная подграмматика:

Таблица нетерминалов:

Имя нетерминала	Описание
P	Программа
PN	Имя программы
SD	Раздел описаний
SO	Раздел операторов
SDL	Раздел описания меток
LN	Имя метки
SLN	Последовательность меток
SDC	Раздел описания констант
CD	Объявление константы
SCD	Последовательность объявлений констант
SDV	Раздел описания переменных
DOT	Объявление переменных одного типа
SDO	Последовательность объявлений переменных одного типа
NL	Список имен
SDT	Раздел описания типов
TD	Описание типа
STD	Последовательность описаний типов
TN	Имя типа
CNS	Константа

PPN SD SO

PNprogram id;

PN

SDSDL SD

SDSDC SD

SDSDT SD

SDSDV SD

SD

SDLlabel LN SLN ;

LNid

LNusi

SLN , LN SLN

SLN

SDCconst CD ; SCD

CDid = CNS

CNSid

CNSusi

SCDCD ; SCD

SCD

SDTtype TD ; STD

TDid = TN

STDTD ; STD

STD

SDVvar DOT ; SDO

DOTNL : TN

SDODOT ; SDO

SDO

2. Описание перевода (атг) каждой конструкции входного языка

3. Подграмматика для переменной:

Таблица нетерминалов:

Имя нетерминала	Описание	Тип атрибута
VARt	Переменная	t - синтезированный
LEn1, n2	Индексация к массиву	n1 – унаследованный, n2 - синтезированный
SXPn1, n2	Последовательность выражений	n1 – унаследованный, n2 - синтезированный
PARp, t	Обращение к подэлементам	p – унаследованный, t - синтезированный
EXPp	Выражение	p - синтезированный

VAR_t4  id_p1 {переменная}_p2 LE_{1, n1} {вычислить адрес}_{p3, n2, r1} PAR_{r2, t3}

p2, p3  p1

n2  n1

r2  r1

t4  t3

LE_{n1, n8}  [ EXP_t1 {индекс}_t1 {inc}_{n2, n3} SXP_{n4, n5} ] LE_{n6, n7}

n2  n1

n4  n3

n6  n5

n8  n7

LE_{n1, n2} 

n2  n1

SXP_{n1, n6}  , EXP_t1 {индекс}_t1 {inc}_{n2, n3} SXP_{n4, n5}

n2  n1

n4  n3

n6  n5

SXP_{n1, n2} 

n2  n1

PAR_{p1, t1}  . PT_{p2, t2}

p2 p1

t2  t1

PT_{p1, t1}  numerator {числитель}_{p2, t2}

p2  p1

t1  t2

PT_{p1, t1}  denominator {знаменатель}_{p2, t2}

p2  p1

t1  t2

PAR_{p1, p2} 

p2 p1

Операционный символ { вычислить адрес }p, n, r

Тип элемента	p	t1
Значение элемента	p	a1
Значение элемента	n	a2
Тип элемента	r	t3
Значение элемента	r	a3

if (t1 – тип массив)

{ Записать на выход выражение ПОЛИЗ:

a2

@SUBS

t3  тип верхнего элемента стека

}

else {

if (a2 = 1) { t3  t1 }

else { Ошибка }

}

Операционный символ { индекс }_p

Тип элемента	p	t1
Значение элемента	p	a1

if (t1 – перечислимый, ограниченный или целый тип)

{ }

else {Ошибка

}

Операционный символ { числитель }p, t

Тип элемента	p	t1
Значение элемента	p	a1
Тип элемента	t	t2
Значение элемента	t	a2

if (t1 = rational)

{ Записать на выход выражение ПОЛИЗ:

@NUMERATOR

t2  integer

}

else {Ошибка

}

Операционный символ { знаменатель }_{p, t}

Тип элемента	p	t1
Значение элемента	p	a1
Тип элемента	t	t2
Значение элемента	t	a2

if (t1 = rational)

{ Записать на выход выражение ПОЛИЗ:

@DENOMINATOR

t2  integer

}

else {Ошибка

}

Операционный символ { переменная }_p

Тип элемента	p	t1
Значение элемента	p	a1

Записать на выход выражение ПОЛИЗ:

a1

Операционный символ { inc }_{n1, n2}

n2  n1 + 1

1. Подграмматика для выражения:

Таблица нетерминалов:

Имя нетерминала	Описание	Тип атрибута
EXPt	Выражение	t – синтезированный
AEt	Слагаемое	t – синтезированный
MEt	Множитель	t – синтезированный
SAEp, t	Последовательность слагаемых	t – синтезированный, p - унаследованный
SMEt	Последовательность множителей	t – синтезированный,
VARt	Переменная	t – синтезированный,

EXP_t2  AE_p1 SAE_{p2, t1}

p2  p1

t2  t1

SAE_{p1, t2}  + AE_q1 {сложить}_{p2, q2, r1} SAE_{r2, t1}

p2  p1

q2 q1

r2  r1

t2  t1

SAE_{p1, t2}  - AE_q1 {вычесть}_{p2, q2, r1} SAE_{r2, t1}

p2  p1

q2 q1

r2  r1

t2  t1

SAE_{p1, p2}

p2  p1

AE_t2  ME_q1 SME_{q2, t1}

q2  q1

t2  t1

SME_{p1, t2} * ME_q1 {умножить}_{p2, q2, r1} SME_{r2, t1}

p2  p1

q2  q1

r2  r1

t2  t1

SME_{p1, t2} / ME_q1 {делить}_{p2, q2, r1} SME_{r2, t1}

p2  p1

q2  q1

r2  r1

t2  t1

SME_{p1, t2} common ME_q1 {общий знаменатель}_{p2, q2, r1} SME_{r2, t1}

p2  p1

q2  q1

r2  r1

t2  t1

SME_{p1, p2}

p2  p1

ME_p2  + ME_p1

p2 p1

ME_r2 - ME_p1 {поменять знак}_{p2, r1}

p2  p1

r2  r1

ME_r2frac ME_p1 {дробная часть}_{p2, r1}

p2  p1

r2  r1

ME_r2int ME_p1 {целая часть}_{p2, r1}

p2  p1

r2  r1

ME_r2simplify ME_p1 {простая дробь}_{p2, r1}

p2  p1

r2  r1

ME_r2irregular ME_p1 {неправильная дробь}_{p2, r1}

p2  p1

r2  r1

ME_p2  VAR_p1

p2  p1

ME_p2  usi_p1 {число}_p1

p2  p1

ME_p2( EXP_p1 )

p2  p1