Атрибутная грамматика.

1) Атрибутная грамматика для подграмматики описаний.

p - унаследованный

t - синтезированный

OPS ® OP OP_

OPS ® e

OP_ ® OP OP_

OP_ ® e

KO_p1 ® i­_t1 = V_t2 {присвоить}_{A1, A2,A3, R} KO'_p2 A₁ ¬ p₁ A₂ ¬ t₁

A₃ ¬ t₂ p ₂ ¬ p₁

KO’_p1 ® i­_t1 = V_t2 {присвоить}_{A1, A2,A3, R} KO'_p2 A₁ ¬ p₁ A₂ ¬ t₁

A₃ ¬ t₂ p ₂ ¬ p₁

KO'_p ® e

KOV_{p1, p2} ® OV _{p3, p4} KO_ _{p5, p6} p₃ ¬ p₁ p₅ ¬ p₁

p₄ ¬ p₂ p₆ ¬ p₂

KO_ _{p1, p2} ® e

KO_ _{p1, p2} ® , OV _{p3, p4} KO_ _{p5, p6} p₃ ¬ p₁ p₅ ¬ p₁

p₄ ¬ p₂ p₆ ¬ p₂

OV_{p1, p2} ® i_t1 = { V_t2 {присвоить_элементу_вектора}_{A1, A2, A3, A4, R} OST_{p3, p4, p5} }

A₁ ¬ p₁ // тип

A₂ ¬ p₂ // индекс элемента вектора

A₃ ¬ t_{2 ­}// значение

A₄ ¬ t₁ // адрес переменной вектора

p₃ ¬ p₁ p₄ ¬ p₂ p₅ ¬ t₁

OST_{p1, p2, p3} ® , V_t1 {присвоить_элементу_вектора}_{A1, A2, A3, A4, R} OST_{p3, p4, p5}

A₁ ¬ p₁ A₂ ¬ p₂ A₃ ¬ t₁

A₄ ¬ p₅ p₃ ¬ p₁ p₄ ¬ p₂

p₅ ¬ p₃

OST _{p1, p2, p3} ® e

OP ® int_t KO_p ; p ¬ t

OP ® flt_t KO_p ; p ¬ t

OP ® vct_t1 [ V_t2 ] KOV_{p1, p2} ; p₁ ¬ t₁ p₂ ¬ t₂

OP ® cst OC

OC ® int_t KO_p ; p ¬ t_const

OC ® flt_t KO_p ; p ¬ t_const

OC ® vct_t1 [ V_t2 ] KOV_{p1, p2} ; p₁ ¬ t_1cosnt p₂ ¬ t₂

Примечание: тип = {int, float, vector, const int, const float, const vector}

Семантические процедуры для операционных символов.

A_i - унаследованные.

{присвоить}_{A1, A2,A3}

A₁ тип

A­₂ адрес переменной

A₃ значение

Тип переменной по адресу A₂ получает значение A_1.

Генерируется триада mov [A₂], A₃

Аномальные ситуации:

1) если тип значения и тип переменной не совпадают.

2) если переменная по адресу A₂ константа.

{присвоить_элементу_вектора}_{A1, A2, A3, A4}

A₁ тип;

A₂ индекс элемента вектора;

A₃ значение;

A₄ адрес переменной вектора;

Тип переменной по адресу A₄ получает значение A_1.

Генерируется триада mov [A₄+A₂], A₃

Аномальные ситуации:

1) если тип значения не float.

2) если индекс элемента вектора превышает размерность вектора.

3) если переменная по адресу A₂ константа.