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

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

if (t1 = перечислимый)

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

n

}

else {Ошибка}

Операционный символ { init }n, V, r

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

if (t2 = перечислимый)

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

@SET

создать временную переменную R

t3  integer

R

}

else {Ошибка}

Операционный символ { нач_ц }q1, q2, q3, m1, m2, r2

Тип элемента	q1	t1
Значение элемента	q1	a1
Тип элемента	q2	t2
Значение элемента	q2	a2
Тип элемента	q3	t3
Значение элемента	q3	a3
Тип элемента	m1	t5
Значение элемента	m1	a5
Тип элемента	m2	t6
Значение элемента	m2	a6
Тип элемента	r2	t4
Значение элемента	r2	a4

if(t3 = перечислимый)

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

@SET

m1

@DEFL

i

R

if (q3 = inc)

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

@<=INT

}

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

@>=INT

}

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

m2

@JMPF

}

else {Ошибка}

Операционный символ { кон_ц } q4, q5, m1, m2

Тип элемента	q4	t1
Значение элемента	q4	a1
Тип элемента	q5	t2
Значение элемента	q5	a2
Тип элемента	m1	t3
Значение элемента	m1	a3
Тип элемента	m2	t4
Значение элемента	m2	a4

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

a1

if (q6 = inc)

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

@INC

}

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

@DEC

}

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

m1

@JMP

m2

@DEFL

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

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

if (t1 = t2) {

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

@SET

} else {

if (t1 = rational) и (t2 = integer) {

@ITOR @SET

} else {

{Ошибка}

}

}

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

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

p

@JMP

Операционный символ { перейти по ”ложь” }_{m1, m2}

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

m1

@JMPF

Операционный символ { БП }_{m1, m2}

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

m2

@JMP

m1

@DEFL

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

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

m

@DEFL

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

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

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

@INPUT

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

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

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

@OUTPUT

4. Подграмматика для списка имён:

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

Имя нетерминала	Описание	Тип атрибута
NLp	Список имен	p - синтезированный
SNt, p	Последовательность имен	t – унаследованный, p - синтезированнй

NL_p2id_q1 { имя }_{q2, r1} SN_{r2, p1}

r1  NewElem

q2  q1

r2  r1

p2  p1

SN_{p1, t2} , id_q1 {последовательность имён }_{p2, q2, r1} SN_{r2, t1}

r1  NewElem

p2  p1

q2  q1

r2  r1

t2  t1

SN_{p1, p2}

p2  p1

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

Записать в переменную по адресу r элемент перечислимого типа по адресу q

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

Записать в переменную по адресу r элементы перечислимого типа, содержащиеся в p и q

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

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

Имя нетерминала	Описание	Тип атрибута
TNp	Имя типа	p - синтезированный
INTp	Внутренний тип	p - синтезированный
ATp	Тип-массив	p - синтезированный
ETp	Перечислимый тип	p - синтезированный
RTp	Ограниченный тип	p - синтезированный
ITp	Индекс	p - синтезированный
SITt, p	Последовательность индексов	t – унаследованный, p - синтезированный
NLp	Список имен	p - синтезированный

TN_p2INT_p1

p2  p1

TN_p2AT_p1

p2  p1

TN_p2ET_p1

p2  p1

TN_p2RT_p1

p2  p1

TN_p2id_p1

p2  p1

INT_p2integer_p1

p2  p1 (p1 = integer)

INT_p2rational_p1

p2  p1 (p1 = rational)

AT_r4array [ IT_p1 {индекс}_{p2, r1} SIT_{r2, t1} ] of TN_q1 {массив}_{t2, q2, r3}

r1  NewElem

r3  NewElem

p2  p1

r2  r1

t2  t1

q2  q1

r4  r3

IT_p2ET_p1

p2  p1

IT_p2RT_p1

p2 p1

IT_p2id_p1

p2  p1

SIT_{p1, t2}, IT_q1 { последовательность индексов }_{p2, q2, r1} SIT_{r2, t1}

r1  NewElem

p2  p1

q2  q1

r2  r1

t2  t1

SIT_{p1, p2}

p2  p1

ET_p2( NL_p1 )

p2  p1

RT_r2usi_p1 .. usi_q1 {диапазон}_{p2, q2, r1}

r1  NewElem

p2  p1

q2  q1

r2  r1