4.4.5 Разработка атрибутной транслирующей грамматики

------------------Основная грамматика----------------------------

<P> → void main(){ DVAR}

<DVAR> → DECVAR ; DVAR

DVAR → DVEC

DVAR → COP

DVEC → DEVEC; DVEC

DVEC →COP

------------------Подграмматика типов--------------------------------

DECVAR_, -> BASE_p VAR_name {AddVar}_q,r

q <- p //класс типа

r <- name //имя переменной данного типа

BASE_p -> int_v

p <- v //класс типа

BASE_p -> float_v

p <- v

BASE_p -> bool_v

p <- v

DECVEC -> vector VAR_name [ CI _t] {AddVec}_q,p,d ; DECVEC

r <- vector //класс типа

p <- name //имя вектора

d <- t //размерность – значение константы CI

DECVEC ->

------------------Подграмматика операторов-------------------------

COP → SOP

SOP → OP; SOP

SOP →

OP → LABEL_q: ULO

OP → ULO

ULO →for(EQO_name; LEX_end; EQO_step) {begin_cycle} _{m1, m2, p1, p2, p3, p4} COP {end_cycle}_{p1, p2, p3, p4}

m1 <- NewLabel // метка начала цикла

m2 <- NewLabel // метка конца цикла

p1 <- name // имя переменной цикла

p2 <- begin // начальное значение

p3 <- step // шаг цикла

p4 <- end // граничное значение

ULO → EQO

EQO →VAR _q EQRS _t,e {ASS}_{p1, p2, p3t}

p2 <- q //адрес переменной в таблице

p1<-t //тип операции присваивания

p3 <-e //адрес значения выражения в таблице

ULO → goto LABEL _p {BRL} _q

p <- q //адрес

LABEL_q → IDENT_p {DEFL_{q, ,} }_q

q <- p

ULO → IF2_p OP{DEFL}_m

mp

IF2_p → if (LEX_value) {BF}_{m, v}

m NewLabel

p m

vvalue

ULO → IF2_p COP IF3_{q1, q2} COP {DEFL}_m

mq1

q2p

IF3_{q1, q2} → else{BRL}_m1{DEFL}_m2

m1 NewLabel

q1 m1

m2q2

OP ->

ULO → cin>>VAR _p {CIN} _m

p <- m //адрес

ULO →cout <<VAR _p {COUT} _m

m <- p //адрес значения переменной

EQRS _t,e → =EXP _p

t <- код для операции = //тип присваивания

e <- p //адрес значения выражения в таблице

EQRS _t,e → +=EXP _p

t <- код для операции +=

e <- p

EQRS _t,e → -=EXP _p

t <- код для операции -=

e <- p

EQRS _t,e → *=EXP _p

t <- код для операции *=

e <- p

EQRS _t,e → /=EXP _p

t <- код для операции .=

e <- p

------------------Подграмматика переменной --------------------------------------------

VAR_{name,type,eql} → IDENT_r

name <- адрес IDENT

type<- код типа вектор

eql<- r-значение из таблицы идентификаторов

VAR _{name,type,eql} → [ ELEM_p SELEM_q,n]

name <- 10 //это будет безымянная переменная

type<- код типа вектор

eql<- n – размерность вектора

SELEM_q,n → , ELEM_r SELEM_q1,n1

q<-q1

n<-n1+1

SELEM_p →

p<-10

n<-1

ELEM_e → IDENT_r SEND_ind,n,e

n<-r

SEND _ind,n,e → [ CI ] {SUBS _{name, ind, r}}

ind <- CI

e<- GetNew

SEND _ind,n,e →

ind <- 10

n<-10

e<-10

ELEM _i → CF _t

i<-t //адрес CF

VAR _{name,type,eql} →CI _t

name<-10

type<- код для int

eql<-t //адрес CI

------------------------ Подграмматика выражения ---------------------------

EXP _r → EXPS _q SAE _t,type {ADD}_{p1, p2, p3,p4}

p1<-q

p2<-t

r<-p3

p4<- type

SAE _t,type → + AE_r SAE _t,type

t<- k

type<- код операции для сложения

SAE _t,type → - AE_r SAE _t,type

SAE _t,type -> (EXP_r)

t<- r

type<- 10

EXPS_q →++ AE_r {++}_p1

p1<- r

EXPS _q → -- AE_r {--}_p1

p1<- r

EXPS _q → AE_r

EXPS _q → ~ VEC _r,t {~}_{p1, p2}

p1<- r

p2<- getNew

q<- p2

AE_r → ME _t SME _q,type {MUL}_{p1, p2, p3,p4}

r<- p3

p1<-t

p2 <-q

p4<- type

p4<- getNew

SME _q,type → * ME _t SME

q<- t

type<- код для *

SME _q,type → / ME _t SME

q<- t

type<- код для /

SME _q,type → (EXP)

q<- 10

type<- 10

ME_t → ( EXP_r )

t<-r

ME_t → VAR _{name,type,eql}

t<- eql

------------------ Подграмматика логического выражения ------------------

LEX_l → C_v or SC_m {OR}_{p1, p2, r}

p1<- v

p2<- m

r<- getNew

l <-r

SC_m -> (LEX_l)

m<- l

SC_m→

m<-10

LEX_l→REL_p

l<- p

C _res →LM_q and SLM_y {AND}_{p1, p2, r}

p1<- q

p2<- y

r<- getNew

res<- r

SLM_y→ SLM_p

y<-p

SLM_y→

y<- 10

LM_q→( LEX_l )

q<-l

LM_q→not LM_p {NOT}_{p1, r}

p1<- p

r<- getNew

q<- r

REL_p→ EXP _r REO_q,res

q<- r

p<- res

REO_q,res→ < EXP _t {REL}_{p1, p2, p3, r}

p1<-код операции <

p2<- q

p3<- t

r<- getNew

res<-r

REO_q,res→ > EXP _t {REL}_{p1, p2, p3, r}

p1<-код операции >

p2<- q

p3<- t

r<- getNew

res<-r

REO_q,res→ == EXP _t {REL}_{p1, p2, p3, r}

p1<-код операции ==

p2<- q

p3<- t

r<- getNew

res<-r

REO_q,res→ <= EXP _t {REL}_{p1, p2, p3, r}

p1<-код операции <=

p2<- q

p3<- t

r<- getNew

res<-r

REO_q,res→ >= EXP _t {REL}_{p1, p2, p3, r}

p1<-код операции >=

p2<- q

p3<- t

r<- getNew

res<-r

REO_q,res→ != EXP _t {REL}_{p1, p2, p3, r}

p1<-код операции !=

p2<- q

p3<- t

r<- getNew

res<-r