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

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₂ константа.

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

Нетерминалы:

PRG	Программа
PR1	остаток 1 программы
PO	Последовательность операторов
MSG	Сообщение
MS1	остаток сообщения
OPS	Описания
PR2	остаток 2 программы
O	Оператор
O1	остаток 1 оператора
O2	остаток 2 оператора
O3	остаток 3 оператора
O’	остаток оператора
P	Переменная
P1	остаток переменной
I1	Остаток
OP	оператор присваивания
OP1	остаток 1 оператора присваивания
OP2	остаток 2 оператора присваивания
OP’	остаток оператора присваивания
F1	остаток 1 для for
F2	остаток 2 для for
F3	остаток 3 для for
U	Условие
U1	остаток условия

Правила :

1) PRG ® OPS PR1 2) OPS ® e

3) PR1 ® void main ( ) { PR2 4) PR2 ® OPS PO }

5) PO ® O O' 6) O ® ;

7) O ® { PO } 8) O ® i O1

9) O ® printf ( MSG MS1 ) ; 10) O ® scanf ( P P1 ) ;

11) O ® goto i ; 12) O ® for ( F1

13) O' ® O O' 14) O' ® e

15) O1 ® : 16) O1 ® = O2

17) O1 ® [ V ] = O2 18) O2 ® i O3

19) O2 ® V ; 20) O3 ® = O2

21) O3 ® [ V ] = O2 22) MSG ® s

23) MSG ® V 24) MS1 ® , MSG MS1

25) MS1 ® e 26) P ® i I1

27) P1 ® , P P1 28) P1 ® e

29) I1 ® [ V ] 30) I1 ® e

31) OP ® i OP1 32) OP1 ® = OP2

33) OP1 ® [ V ] = OP2 34) OP2 ® V

35. OP2 ® i OP1 36) F1 ® OP OP’ ; F2

37) F1 ® ; F2 38) F2 ® U ; F3

39) F2 ® ; F3 40) F3 ® OP OP’ ) O

41) F3 ® ) O 42) U ® V U1

43) U1 ® , V U1 44) U1 ® e

45) OP’ ® , OP OP’ 46) OP’ ® e

47) O ® if ( V ) O