Операционный символ { дизъюнкция }p, q, r

Тип элемента	p	t1
Тип элемента	q	t2
Тип элемента	r	t3

if (t1 = boolean) and (t2 = boolean)

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

@OR

t3  boolean

}

else {Ошибка}

Операционный символ { конъюнкция }p, q, r

Тип элемента	p	t1
Тип элемента	q	t2
Тип элемента	r	t3

if (t1 = boolean) and (t2 = boolean)

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

@AND

t3  boolean

}

else {Ошибка}

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

Тип элемента	p	t1
Тип элемента	q	t2

if (t1 = boolean)

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

@NOT

t2  boolean

}

else {Ошибка}

Операционный символ { меньше }p, q, r

Тип элемента	p	t1
Тип элемента	q	t2
Тип элемента	r	t3

if (t1 = integer)

{

if (t2 = integer)

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

@<INT

t3  boolean

}

else

if (t2 = rational)

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

@ITOR2

@<RAT

t3  boolean

}

else {Ошибка}

}

else if (t1 = rational)

{

if (t2 = integer)

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

@ITOR

@<RAT

t3  boolean

}

if (t2 = rational)

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

@<RAT

t3  boolean

}

else {Ошибка}

}

else {Ошибка}

Операционный символ { отношение }q1, q2, q3, r

Тип элемента	q1	t1
Тип элемента	q2	t2
Тип элемента	q3	t3
Тип элемента	r	t4

if (t1 = integer)

{

if (t2 = integer)

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

@q2INT

t3  boolean

}

else

if (t2 = rational)

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

@ITOR2

@q2RAT

t3  boolean

}

else {Ошибка}

}

else

if (t1 = rational)

{

if (t2 = integer)

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

@ITOR

@q2RAT

t3  boolean

}

if (t2 = rational)

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

@q2RAT

t3  boolean

}

else {Ошибка}

}

else {Ошибка}

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

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

Имя нетерминала	Описание	Тип атрибута
SO	Раздел операторов
COP	Составной оператор
OP	Оператор
ULO	Непомеченный оператор
EXPp	Выражение	p - синтезированный
VARp	Переменная	p - синтезированный
LNp	Имя метки	p - синтезированный
LPR	Оператор цикла с параметром
DIRp	Направление изменения переменной цикла	p - синтезированный
IFO	Условный оператор
OPRt	Необязательная условного оператора	t - унаследованный
EQO	Оператор присваивания
NOP	Пустой оператор
IOP	Оператор ввода
OOP	Оператор вывода
JMP	Опереатор безусловного перехода
SOP	Последовательность операторов
LEXp	Логическое выражеие	p - синтезированный
SVR	Последовательность переменных
SXP	Последовательность выражений

SOCOP .

COPbegin OP SOP end

SOP; OP SOP

SOP

OPLN_p1 : {метка1}_p2 ULO

p2  p1

OPULO

ULOLPR

ULOEQO

ULONOP

ULOCOP

ULOJMP

ULOIFO

ULOIOP

ULOOOP

LPRfor id_n {id}_n1:= EXP_v1 {init}_{n2, v3, r1} DIR_p EXP_v2 {нач_ц}_{q1, q2, q3, m1, m2, r2} do OP {кон_ц}_{q4, q5, q7, q8}

m1  NEWLABEL(метка начала цикла)

m2  NEWLABEL(метка конца цикла)

q1, q4, n1, n2  n

v3  v1

q2, q5  p

q3  v2

r2  r1

q7  m1

q8  m2

DIR_qto_p

q  p (p = inc)

DIR_qdownto_p

q  p (p = dec)

EQOVAR_p1 := EXP_q1 {присвоить}_{p2, q2}

p2  p1

q2  q1

NOP

JMPgoto LN_p1 {переход}_p2

p2  p1

IFOif LEX_q1 then {перейти по ”ложь”}_{r1, r2} OP {БП}_{r3, r5} OPR_r4

r1  NEWLABEL(метка начала OPR)

r2  NEWLABEL(метка выхода из IFO)

r3  r1

r4, r5  r2

OPR_r1else OP {метка2}_r2

r2  r1

OPR_r1 {метка2}_r2

r2  r1

IOPread ( VAR_p1 {ввести}_p2 SVR )

p2  p1

OOPwrite ( EXP_p1 {вывести}_p2 SXP )

p2  p1

SVR, VAR_p1 {ввести}_p2 SVR

p2  p1

SVR

SXP, EXP_p1 {вывести}_p2 SXP

p2  p1

SXP

LN_p2id_p1

p2  p1

LN_p2usi_p1

p2  p1

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

По указанному имени p метки в таблице меток находится соответствующая позиция t.

Генерируется элемент ПОЛИЗ

t

@DEFL