Приложение 2 Управляющие таблицы атрибутных дмп-процессоров
Подграмматика логического выражения
|
|
EXP |
( |
) |
or |
and |
not |
< |
> |
= = |
<= |
>= |
!= |
ε |
|||||||||||||
|
LEX |
RELp,4 |
Cv or SCm {OR}p1, p2, r ,1 |
|
|
|
Cv or SCm {OR}p1, p2, r ,1 |
|
|
|
|
|
|
|
|
||||||||||||
|
C |
LMq and SLMy {AND}p1, p2, r , 5 |
LMq and SLMy {AND}p1, p2, r ,5 |
|
|
|
LMq and SLMy {AND}p1, p2, r , 5 |
|
|
|
|
|
|
|
|
||||||||||||
|
SC |
|
(LEXl) ,2 |
ε ,3 |
|
|
|
|
|
|
|
|
|
ε ,3 |
|
||||||||||||
|
REL |
EXP r REOq,res , 10 |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
LM |
|
( LEX ), 8 |
|
|
|
not LMp {NOT}p1, r ,9 |
|
|
|
|
|
|
|
|
||||||||||||
|
SLM |
|
|
ε ,7 |
|
SLMp , 6 |
|
|
|
|
|
|
|
ε ,7 |
|
||||||||||||
|
REO |
|
|
|
|
|
|
REOq,res→ < EXP t {REL}p1, p2, p3, r ,11 |
REOq,res→ > EXP t {REL}p1, p2, p3, r ,12 |
REOq,res→== EXP t {REL}p1, p2, p3, r ,13 |
REOq,res→ <= EXP t {REL}p1, p2, p3, r ,14 |
REOq,res→ >=EXP t {REL}p1, p2, p3, r ,15 |
!REOq,res→!= EXP t {REL}p1, p2, p3, r ,16 |
|
|
||||||||||||
|
EXP |
EXP┴, 62 |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
( |
|
ВЫБРОС |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
) |
|
|
ВЫБРОС |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
or |
|
|
|
ВЫБРОС |
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
and |
|
|
|
|
ВЫБРОС |
|
|
|
|
|
|
|
|
|
||||||||||||
|
not |
|
|
|
|
|
ВЫБРОС |
|
|
|
|
|
|
|
|
||||||||||||
|
< |
|
|
|
|
|
|
ВЫБРОС |
|
|
|
|
|
|
|
||||||||||||
|
> |
|
|
|
|
|
|
|
ВЫБРОС |
|
|
|
|
|
|
||||||||||||
|
= = |
|
|
|
|
|
|
|
|
ВЫБРОС |
|
|
|
|
|
||||||||||||
|
<= |
|
|
|
|
|
|
|
|
|
ВЫБРОС |
|
|
|
|
||||||||||||
|
>= |
|
|
|
|
|
|
|
|
|
|
ВЫБРОС |
|
|
|
||||||||||||
|
!= |
|
|
|
|
|
|
|
|
|
|
|
ВЫБРОС |
|
|
||||||||||||
|
{AND}p1, p2, |
ВЫДАЧА{AND}p1, p2, |
|
||||||||||||||||||||||||
|
{OR}p1, p2, r |
ВЫДАЧА{OR}p1, p2, r |
|
||||||||||||||||||||||||
|
{NOT}p1, r |
ВЫДАЧА{NOT}p1, r |
|
||||||||||||||||||||||||
|
{REL}p1, p2, p3, r |
ВЫДАЧА{REL}p1, p2, p3, r |
|
||||||||||||||||||||||||
|
┴ |
|
|
|
|
|
|
|
|
|
|
|
|
СВЁРТКА, 73 |
|
||||||||||||
LEXl → Cv or SCm {OR}p1, p2, r (1)
p1<- v
p2<- m
l <-r
SCm -> (LEXl) (2)
m<- l
SCm→ (3)
m<-10
LEXl→RELp (4)
l<- p
C res →LMq and SLMy {AND}p1, p2, r (5)
p1<- q
p2<- y
res<- r
SLMy→ SLMp (6)
y<-p
SLMy→ (7)
y<- 10
LMq→( LEXl ) (8)
q<-l
LMq→not LMp {NOT}p1, r (9)
p1<- p
q<- r
RELp→ EXP r REOq,res (10)
q<- r
p<- res
REOq,res→ < EXP t {REL}p1, p2, p3, r (11)
p1<-код операции <
p2<- q
p3<- t
res<-r
REOq,res→ > EXP t {REL}p1, p2, p3, r (12)
p1<-код операции >
p2<- q
p3<- t
res<-r
REOq,res→ == EXP t {REL}p1, p2, p3, r (13)
p1<-код операции ==
p2<- q
p3<- t
res<-r
REOq,res→ <= EXP t {REL}p1, p2, p3, r (14)
p1<-код операции <=
p2<- q
p3<- t
res<-r
REOq,res→ >= EXP t {REL}p1, p2, p3, r (15)
p1<-код операции >=
p2<- q
p3<- t
res<-r
REOq,res→ != EXP t {REL}p1, p2, p3, r (16)
p1<-код операции !=
p2<- q
p3<- t
res<-r