Курсовая работа2 / PART_3

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

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

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

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

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. Соответственно в стек заносится операционный символ О и разбор продолжается.