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

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

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

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

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

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

Имя нетерминала	Описание	Тип атрибута
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

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

Записать в переменную по адресу r индекс p массива

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

Записать в переменную по адресу r новый тип, представляющий собой массив с индексами t из элементов q

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

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

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

Создать диапазонный тип и записать значение в таблицу промежуточных результатов по адресу r. Значения по адресам p и q, задающие границы диапазона, должны быть integer

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

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

Имя нетерминала	Описание	Тип атрибута
P	Программа
PN	Имя программы
SD	Раздел описаний
SO	Раздел операторов
SDL	Раздел описания меток
LNp	Имя метки	p - синтезированный
SLN	Последовательность меток
SDC	Раздел описания констант
CD	Объявление константы
SCD	Последовательность объявлений констант
SDV	Раздел описания переменных
SN	Последовательность имен
DOT	Объявление переменных одного типа
SDO	Последовательность объявлений переменных одного типа
NLp	Список имен	p - синтезированный
SDT	Раздел описания типов
TD	Описание типа
STD	Последовательность описаний типов
TNp	Имя типа	p - синтезированный
CNSp	Константа	p - синтезированный

PPN SD SO

PNprogram ID;

PN

SDSDL SD

SDSDC SD

SDSDT SD

SDSDV SD

SD

SDLlabel LN_p1 {создать метку}_{p2, r} SLN ;

r  NewLabel

p2  p1

LN_p2id_p1

p2  p1

LN_p2usi_p1

p2  p1

SLN , LN_p1 {создать метку}_{p2, r} SLN

r  NewLabel

p2  p1

SLN

SDCconst CD ; SCD

CDid_p1 = CNS_q1 {создать константу}_{p2, q2, r}

r  NewConst

p2  p1

q2  q1

CNS_p2  id_p1

p2  p1

CNS_p2  usi_p1

p2  p1

SCDCD ; SCD

SCD

SDTtype TD ; STD

TDid_p1 = TN_q1 {создать тип}_{p2, q2, r}

r  NewType

p2  p1

q2  q1

STDTD ; STD

STD

SDVvar DOT ; SDO

DOTNL_p1 : TN_q1 {создать переменную}_{p2, q2, r}

SDODOT ; SDO

SDO