Приложение 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