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

Нетерминалы:

PRG	программа
RL	раздел меток
RC	раздел констант
RT	раздел типов
RV	раздел переменных
RO	раздел операторов
OM	определение метки
OM`	остаток определения метки
OC	определение константы
OC`	остаток определения константы
ICp	имя константы	p - синтезированный
CNSp	константа	p - синтезированный
CNSNp	константа без знака	p - синтезированный
OT	определение типа
OT`	остаток определения типа
ITp	имя типа	p - синтезированный
TYPP	тип	p - синтезированный
OV	определение переменной
OV`	остаток определения переменной
LIp	список имен	p - синтезированный
OPS	составной оператор

PRG ® RL RC RT RV RO .

RL ® lab OM ; OM`

RL ® e

OM` ® OM ; OM`

OM` ® e

OM ® lbl_p1 {:метка}_r,p2

r¬НОВМЕТ

p2¬p1

RC ® con OC ; OC`

RC ® e

OC` ® OC ; OC`

OC` ® e

OC ® IC_p1 = CNS_q1 {константа}_p2,q2,r

r¬НОВКОН

p2¬p1

q2¬q1

CNS_p2 ® + CNSNS_p1

p2¬p1

CNS_p2 ® - CNSNS_p1

p2¬p1

CNS_p2 ® CNSNS_p1

p2¬p1

CNSNS_p2 ® num_p1

p2¬p1

CNSNS_p2 ® IC_p1

p2¬p1

IC_p2 ® id_p1

p2¬p1

RT ® typ OT ; OT`

RT ® e

OT` ® OT ; OT`

OT` ® e

OT ® IT_p1 = TYP_q1 {тип}_p2,q2,r

r¬НОВТИП

p2¬p1

q2¬q1

IT_p2 ® id_p1

p2¬p1

RV ® var OV ; OV`

RV ® e

OV` ® OV ; OV`

OV` ® e

OV ® LI_p1 : TYP_q1 {переменная}_p2,q2,r

r¬НОВПЕР

p2¬p1

q2¬q1

RO ® beg OPS end

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

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

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

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

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

{:метка}A1,A2	Сопоставляет имя метки А1 с номером позиции в таблице меток.
{константа}A1,A2,A3	Записывает имя А1 и значение А2 константы в таблицу констант по адресу A3.
{тип}A1,A2,A3	Записывает имя А1 и значение А2 типа в таблицу типов по адресу A3.
{переменная}A1,A2,A3	Записывает имя А1 и тип А2 переменной в таблицу идентификаторов по адресу A3.

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

Нетерминалы:

Et	выражение	t - синтезированный
E`p,t	остаток выражения	p - унаследованный,t - синтезированный
EARt	арифметическое выражение	t - синтезированный
Tt	терм	t - синтезированный
T`p,t	остаток терма	p - унаследованный,t - синтезированный
Pt	произведение	t - синтезированный
P`p,t	остаток произведения	p - унаследованный,t - синтезированный
Ft	фактор	t - синтезированный
VARt	переменная	t - синтезированный

E_t2 ® EAR_p1 E`_p2,t1

p2¬p1

t2¬t1

E`<sub>p1,t2</sub> ® = EAR<sub>q1</sub> {равно}<sub>p2,q2,r2</sub> E`_r2,t1

r1,r2¬НОВЭЛТ

p2¬p1

q2¬q1

t2¬t1

E`<sub>p1,t2</sub> ® < EAR<sub>q1</sub> {меньше}<sub>p2,q2,r2</sub> E`_r2,t1

r1,r2¬НОВЭЛТ

p2¬p1

q2¬q1

t2¬t1

E`<sub>p1,t2</sub> ® > EAR<sub>q1</sub> {больше}<sub>p2,q2,r2</sub> E`_r2,t1

r1,r2¬НОВЭЛТ

p2¬p1

q2¬q1

t2¬t1

E`_p1,p2 ® e

p2¬p1

EAR_t2 ® + T_t1

t2¬t1

EAR_t2 ® - T_t1 {поменять_знак}_t1

t2¬t1

EAR_t2 ® T_t1

t2¬t1

T_t2 ® P_p1 T`_p2,t1

p2¬p1

t2¬t1

T`<sub>p1,t2</sub> ® + P<sub>q1</sub> {сложить}<sub>p2,q2,r2</sub> T`_r2,t1

r1,r2¬НОВЭЛТ

p2¬p1

q2¬q1

t2¬t1

T`<sub>p1,t2</sub> ® - P<sub>q1</sub> {вычесть}<sub>p2,q2,r2</sub> T`_r2,t1

r1,r2¬НОВЭЛТ

p2¬p1

q2¬q1

t2¬t1

T`_p1,p2 ® e

p2¬p1

P_t2 ® F_p1 P`_p2,t1

p2¬p1

t2¬t1

P`<sub>p1,t2</sub> ® * F<sub>q1</sub> {умножить}<sub>p2,q2,r1</sub> P`

r1,r2¬НОВЭЛТ

p2¬p1

q2¬q1

t2¬t1

P`<sub>p1,t2</sub> ® / F<sub>q1</sub> {делить}<sub>p2,q2,r1</sub> P`_r2,t1

r1,r2¬НОВЭЛТ

p2¬p1

q2¬q1

t2¬t1

P`_p1,p2 ® e

p2¬p1

F_t2 ® cns_t1

t2¬t1

F_t2 ® ( EAR_t1 )

t2¬t1

F_t2 ® VAR_t1

t2¬t1

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

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

{равно}A1,А2,R	R = адрес триады, сгенерированной в соответствии с таблицей 1
{меньше}A1,А2,R	R = адрес триады, сгенерированной в соответствии с таблицей 2
{больше}A1,А2,R	R = адрес триады, сгенерированной в соответствии с таблицей 3
{поменять_знак}A	Генерируется триада в соответствии с таблицей 4
{сложить}A1,А2,R	R = адрес триады, сгенерированной в соответствии с таблицей 5
{вычесть}A1,А2,R	R = адрес триады, сгенерированной в соответствии с таблицей 6
{умножить}A1,А2,R	R = адрес триады, сгенерированной в соответствии с таблицей 7
{делить}A1,А2,R	R = адрес триады, сгенерированной в соответствии с таблицей 8

Таблица 1:

==	integer	real	complex	boolean
integer	==I A1,A2
real		==R A1,A2
complex			==C A1,A2
boolean				==B A1,A2

Таблица 2:

<	integer	real	complex	boolean
integer	<I A1,A2
real		<R A1,A2
complex			<C A1,A2
boolean				<B A1,A2

Таблица 3:

>	integer	real	complex	boolean
integer	>I A1,A2
real		>R A1,A2
complex			>C A1,A2
boolean				>B A1,A2

Таблица 4:

- (бинарный)	integer	real	complex	boolean
integer	negI A1,A2
real		negR A1,A2
complex			negC A1,A2
boolean

Таблица 5:

+	integer	real	complex	boolean
integer	addI A1,A2
real		addR A1,A2
complex			addC A1,A2
boolean

Таблица 6:

-	integer	real	complex	boolean
integer	subI A1,A2
real		subR A1,A2
complex			subC A1,A2
boolean

Таблица 7:

*	integer	real	complex	boolean
integer	mulI A1,A2
real		mulR A1,A2
complex			mulC A1,A2
boolean

Таблица 8:

/	integer	real	complex	boolean
integer	divI A1,A2
real		divR A1,A2
complex			divC A1,A2
boolean