12. Грамматика операторов цикла, условного оператора и оператора безусловного перехода

Входные символы

Имя	Семантика
OManager	Общее название операторов условия, цикла и безусловного перехода
OGo	Оператор безусловного перехода
OIf	Оператор условия
OWh	Оператор цикла
CO	Составной оператор
MnO	Последовательность операторов
L	Метка
Condition	Логическое выражение

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

Имя символа	Семантика	Атрибуты
{ВЫЗОВ L}a, {ВЫЗОВV}a, {ВЫЗОВCondition}a	Вызовы соответствующих ДМП-процессоров. Результаты их работы запоминаются как атрибут a	a-синтезированный
{БП} p2	Безусловный переход. Генерируется триадаBRLp.	p – синтезированный
{УПЛ}l, f	Переход по условию f=false. Если типfнеboolean– ошибка.l– адрес метки в таблице меток. Генерируется триадаBF l f	f – унаследованный,l -синтезированный
{МЕТКА}k	В таблицу меток по адресу kзаносится адрес триады, следуюшей за этой меткой	k - синтезированный

Правила

OManager -> OGo

OManager -> OIf

OManager -> OWh

OGo -> goto L {ВЫЗОВ L}_p1 {БП}_p2

p1 <- p2

OIf -> if Condition {ВЫЗОВ Condition}_b then {УПЛ}_{l, f} O {ВЫЗОВ О} {БП}_m else {МЕТКА}_k1 O {ВЫЗОВ О} {МЕТКА}_k2

f<-b

l,m<- НоваяМетка

k1 <-l

k2 <- m

OIf -> if Condition {ВЫЗОВ Condition}_b then {УПЛ}_{l, f} O {ВЫЗОВ О} {БП}_m else {МЕТКА}_k1 CO {МЕТКА}_k2

f<-b

l,m<- НоваяМетка

k1 <- l

k2 <- m

OIf -> if Condition {ВЫЗОВ Condition}_b then {УПЛ}_{l, f} CO {БП}_m else {МЕТКА}_k1 CO {МЕТКА}_k2

f<-b

l,m<- НоваяМетка

k1 <-l

k2 <-m

OIf->ifCondition{ВЫЗОВCondition}_bthen{УПЛ}_{l, f} CO{БП}_melse{МЕТКА}_k1O{ВЫЗОВ О}{МЕТКА}_k2

f<-b

l,m<- НоваяМетка

k1 <-l

k2 <-m

OIf->ifCondition{ВЫЗОВCondition}_bthen{УПЛ}_{l , f}O{ВЫЗОВ О} {МЕТКА}_k

f<-b

l<- НоваяМетка

k <- l

OIf -> if Condition {ВЫЗОВ Condition}_b then {УПЛ } _{l , f} CO {МЕТКА}_k

f<-b

l<-НоваяМетка

k <- l

OWh -> while{МЕТКА}_k1 Condition {ВЫЗОВ Condition}_b do {УПЛ}_{l, f} O {ВЫЗОВ О} {БП}_m {МЕТКА}_k2

k1 <- НоваяМетка

f<-b

l <- НоваяМетка

m <- k1

k2 <- l

OWh -> while {МЕТКА}_k1 Condition {ВЫЗОВ Condition}_b do {УПЛ}_{l, f} CO {БП}_m {МЕТКА}_k2

k1 <- НоваяМетка

f<-b

l<- НоваяМетка

m <- k1

k2 <- l

CO -> begin MnO end

CO -> begin end

MnO -> O {ВЫЗОВ О}

MnO -> MnO ; O {ВЫЗОВ О}