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

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

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

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

PRG ® OPS PR1

OPS ® e

PR1 ® void main ( ) { PR2

PR2 ® OPS PO }

PO ® O O'

O ® ;

O ® { PO }

O ® i_t1 O1_p1 p₁ ¬ t₁

O ® printf ( MSG MS1 ) ;

O ® scanf ( P P1 ) ;

O ® goto i_t1 {перейти}_A1 ; A₁ ¬ t₁

O ® for ( F1

O' ® O O'

O' ® e

O1_p1 ® : {метка}_A1

A₁ ¬ p₁

O1_p1 ® = O2_t1 {присвоить}_{A1, A2}

A₁ ¬ p₁

A₂ ¬ t₁

O1_p1 ® [ V_t1 ] {смещение}_{A1, A2, R} = O2_t2 {присвоить}_{A3, A4}

A₁ ¬ p₁

A₂ ¬ t₁

A₃ ¬ R

A₄ ¬ t₂

O2_t1 ® i_t2 O3_{p1, t3}

p₁ ¬ t₂

t₁ ¬ t₃

O2_t1 ® V_t2 ;

t₁ ¬ t₂

O3_{p1, t1} ® = O2_t2 {присвоить}_{A1, A2}

A₁ ¬ p₁

A₂ ¬ t₂

t₁ ¬ t₂

O3_{p1, t1} ® [ V_t2 ] {смещение}_{A1, A2, R} = O2_t3 {присвоить}_{A3, A4}

A₁ ¬ p₁

A₂ ¬ t₂

A₃ ¬ R

A₄ ¬ t₃

t₁ ¬ t₃

MSG ® s_t1 {печатать}_A1

A₁ ¬ t₁

MSG ® V_t1 {печатать}_А1

A₁ ¬ t₁

MS1 ® , MSG MS1

MS1 ® e

P ® i_t1 I1_p1

p₁ ¬ t₁

P1 ® , P P1

P1 ® e

I1_p1 ® [ V_t2 ] {считать}_{A1, A2}

A1 ¬ p₁

A₂ ¬ t₂

I1_p1 ® e {считать}_A1

A₁ ¬ p₁

OP ® i_t1 OP1_{p1, t1}

p₁ ¬ t₁

OP1_{p1, t1} ® = OP2_t2 {присвоить}_{A1, A2}

t₁ ¬ t₂

A₁ ¬ p₁

A₂ ¬ t₂

OP1_{p1, t1} ® [ V_t2 ] {смещение}_{A1, A2, R} = OP2_t3 {присвоить}_{A3, A4}

t₁ ¬ t₃

A₁ ¬ p₁

A₂ ¬ t₂

A₃ ¬ R

A₄ ¬ t₃

OP2_t1 ® V_t2

t₁ ¬ t₂

OP2_t1 ® i_t2 OP1_{p2, t3}

p₁ ¬ t₂

t₁ ¬ t₃

F1 ® OP OP’ ; F2

F1 ® ; F2

F2 ® {L1:} U {условие} ; F3

F2 ® {L1:}{условие} ; F3

F3 ® {L2:} OP OP’ {L3:} ) O {конец итерации} {L4:}

F3 ® {L2:} {L3:} ) O {конец итерации} {L4:}

U ® V_t1 {проверка}_A1 U1

A₁ ¬ t₁

U1 ® , V _t1{проверка}_A1 U1

A₁ ¬ t₁

U1 ® e

OP’ ® , OP OP’

OP’ ® e

O ® if ( V ) O {else}

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

{перейти}_A1

Генерируется триада jmp label, A Параметр A фиктивный. Управление передается триаде по адресу label.

{метка}_A1

В таблицу меток заносится сгенерированная метка с уникальным именем, хранящая адрес следующей за ней триады.

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

Переменной по адресу A₁ присваивается выражение A₂. Если тип A_{1 -} int а тип A_{2 -} float или наоборот, то автоматически происходит преобразование типов.

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

1) если тип A_{1 -} vector а тип A_{2 -} int или float.

2) если тип A_{2 -} vector а тип A_{1 -} int или float.

3) если тип A₁ и A_{2 -} vector и их размерности не совпадают.

{смещение}_{A1, A2, R}

Результат есть адрес ячейки под номером А₂ вектора по адресу А₁.

{печатать}_А1

На экран выводится значение переменной или строка по адресу A_1.

Генерируется триада prn A₁ , fict _.

{считать}_{A1, A2}

Информация считывается с клавиатуры в ячейку под номером A₂ вектора по адресу A_{1 .}

Генерируется триада scn A₁, A₂ .

{считать}_A1

Информация считывается с клавиатуры и заносится в память по адресу A_{1 .}

Генерируется триада scn A₁, fict .

{конец итерации}

Генерируется триада

jmp L₂

{условие}

Генерируется триада

jmp L₃

{проверка}_A1

Проверяется условие выхода из цикла while - генерируется следующая последовательность триад:

cmp A₁, 1

jne L₄

то есть при несоблюдении условий продолжения цикла его выполнение завершается.

{L_i:}

В таблицу меток заносится сгенерированная метка с уникальным именем, хранящая адрес следующей за ней триады. Информация о данной метке будет доступна на всем протяжении действия данного цикла for.

{else}

Просматривается следующая лексема на входной цепочке и если это ключевое слово else, то рассматривается следующее продолжение правила для оператора if : else O. Соответственно в стек заносится операционный символ О и разбор продолжается.

19