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

2. Описание синтаксического анализатора.

3.1. Входная грамматика анализатора.

Множеством терминальных символов языка, распознаваемого анализатором, служит множество лексем, порождаемых лексическим анализатором на предыдущем этапе.

Множество правил входной грамматики анализатора.

Множество правил входной LL(1) грамматики разбито на три подграмматики:

1) Подграмматика выражений.

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

V	выражение
V’	остаток выражения
D	дизъюнкт
D’	остаток дизъюнкта
K	конъюнкт
K’	остаток конъюнкта
O	отношение
O’	остаток отношения
E	арифметическое выражение
E’	остаток арифметического выражения
T	терм
T’	остаток терма
M	множитель
M’	остаток множителя

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

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

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

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

V_t1 ® D_t2 V'_{p1, t3}

t₁ ¬ t₃

p₁ ¬ t₂

V'_{p, t} ® e

t ¬ p

V'_{p1, t1} ® || D_t2 {дизъюнкция}_{A1, A2, R} V'_{p2, t3}

t₁ ¬ t₃

A₁ ¬ p₁

A₂ ¬ t₂

p₂ ¬ R

D_t1 ® K_t2 D'_{p1, t3}

t₁ ¬ t₃

p₁ ¬ t₂

D'_{p, t} ® e

t ¬ p

D'_{p1, t1} ® && K_t2 {конъюнкция}_{A1, A2, R} D'_{p2, t3}

t₁ ¬ t₃

A₁ ¬ p₁

A₂ ¬ t₂

p₂ ¬ R

K_t1 ® O_t2 K'_{p1, t3}

t₁ ¬ t₃

p₁ ¬ t₂

K'_{p, t} ® e

t ¬ p

K'_{p1, t1} ® == O_t2 {равно}_{A1, A2, R} K' _{p2, t3}

t₁ ¬ t₃

A₁ ¬ p₁

A₂ ¬ t₂

p₂ ¬ R

K'_{p1, t1} ® != O_t2 {неравно}_{A1, A2, R} K' _{p2, t3}

t₁ ¬ t₃

A₁ ¬ p₁

A₂ ¬ t₂

p₂ ¬ R

O_t1 ® E_t2 O'_{p1, t3}

t₁ ¬ t₃

p₁ ¬ t₂

O'_{p, t} ® e

t ¬ p

O'_{p1, t1} ® >= E_t2 {больше_или_равно}_{A1, A2, R} O'_{p2, t3}

t₁ ¬ t₃

A₁ ¬ p₁

A₂ ¬ t₂

p₂ ¬ R

O'_{p1, t1} ® <= E_t2 {меньше_или_равно}_{A1, A2, R} O'_{p2, t3}

t₁ ¬ t₃

A₁ ¬ p₁

A₂ ¬ t₂

p₂ ¬ R

O'_{p1, t1} ® > E_t2 {больше}_{A1, A2, R} O'_{p2, t3}

t₁ ¬ t₃

A₁ ¬ p₁

A₂ ¬ t₂

p₂ ¬ R

O'_{p1, t1} ® < E_t2 {меньше}_{A1, A2, R} O'_{p2, t3}

t₁ ¬ t₃

A₁ ¬ p₁

A₂ ¬ t₂

p₂ ¬ R

E_t1 ® T_t2 E'_{p1, t3}

t₁ ¬ t₃

p₁ ¬ t₂

E_t1 ® + T_t2 E'_{p1, t3}

p₁ ¬ t₂

E_t1 ® - T_t2 {унарный_минус}_{A1, A2, R} E'_{p1, t3}

A₁ ¬ t₂

p₁ ¬ R

E'_{p, t} ® e

t ¬ p

E'_{p1, t1} ® + T_t2 {бинарный_плюс}_{A1, A2, R} E'_{p2, t3}

t₁ ¬ t₃

A₁ ¬ p₁

A₂ ¬ t₂

p₂ ¬ R

E'_{p1, t1} ® - T_t2 {бинарный_минус}_{A1, A2, R} E'_{p2, t3}

t₁ ¬ t₃

A₁ ¬ p₁

A₂ ¬ t₂

p₂ ¬ R

T_t1 ® M_t2 T'_{p1, t3}

t₁ ¬ t₃

p₁ ¬ t₂

T'_{p, t} ® e

t ¬ p

T'_{p1, t1} ® * M_t2 {умножить}_{A1, A2, R} T'_{p2, t3}

t₁ ¬ t₃

A₁ ¬ p₁

A₂ ¬ t₂

p₂ ¬ R

T'_{p1, t1} ® / M_t2 {разделить}_{A1, A2, R} T'_{p2, t3}

t₁ ¬ t₃

A₁ ¬ p₁

A₂ ¬ t₂

p₂ ¬ R

M_t1 ® ( V_t2 )

t₁ ¬ t₂

M_t1 ® i_t2 M'_{p1, t3}

p₁ ¬ t₂

t₁ ¬ t₃

M_t1 ® c_t2

t₁ ¬ t₂

M_t1 ® len ( V_t2 ) {длина_вектора}_{A1, A2, R}

A₁ ¬ t₂

t₁ ¬ R

M'_{p, t} ® e

t ¬ p

M'_{p1, t1} ® [ V_t2 ] {элемент_вектора}_{A1, A2, R}

A₁ ¬ p₁

A₂ ¬ t₂

t₁ ¬ R

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

Примечание: везде А_1, А₂ - унаследованные, R - синтезированный.

{дизъюнкция}_{A1, A2, R}

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

1) тип оператора А_1, А₂ не int.

R = адрес триады or А_1, А₂

{конъюнкция}_{A1, A2, R}

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

1) тип оператора А_1, А₂ не int.

R = адрес триады and А_1, А₂

{равно}_{A1, A2, R}

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

1) тип оператора А_1, А₂ - vector.

R = адрес триады equ А_1, А₂

{неравно}_{A1, A2, R}

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

1) тип оператора А_1, А₂ - vector.

R = адрес триады neq А_1, А₂

{больше_или_равно}_{A1, A2, R}

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

1) тип оператора А_1, А₂ - vector.

R = адрес триады geq А_1, А₂

{меньше_или_равно}_{A1, A2, R}

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

1) тип оператора А_1, А₂ - vector.

R = адрес триады leq А_1, А₂

{больше}_{A1, A2, R}

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

1) тип оператора А_1, А₂ - vector.

R = адрес триады grt А_1, А₂

{меньше}_{A1, A2, R}

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

1) тип оператора А_1, А₂ - vector.

R = адрес триады low А_1, А₂

{унарный_минус}_{A1, A2, R} (параметр А₂ фиктивный)

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

1) нет.

R = адрес триады neg А_1, А₂

{бинарный_плюс}_{A1, A2, R}

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

1) если тип параметров vector и их размерности не совпадают.

2) если один из параметров имеет тип vector а второй int или float.

R = адрес триады add А_1, А₂

{бинарный_минус}_{A1, A2, R}

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

1) если тип параметров vector и их размерности не совпадают.

2) если один из параметров имеет тип vector а второй int или float.

R = адрес триады sub А_1, А₂

{умножить}_{A1, A2, R}

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

1) если тип параметров vector и их размерности не совпадают.

R = адрес триады mul А_1, А₂

{разделить}_{A1, A2, R}

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

1) если тип параметров vector и их размерности не совпадают.

R = адрес триады div А_1, А₂

{длина_вектора}_{A1, A2, R} (параметр А₂ фиктивный)

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

1) если тип параметрa А₁ не vector.

R = адрес триады len А_1, А₂

{элемент_вектора}_{A1, A2, R}

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

1) если тип параметрa А₁ не vector.

2) если значение параметра А₂ больше, чем размерность вектора.

R = адрес триады elm А_1, А₂

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

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

OPS	последовательность описаний
OP_	остаток последовательности описаний
KO	конкретное описание
KO’	остаток конкретного описания
KOV	конкретное описание вектора
KO_	остаток конкретного описания вектора
OV	описание вектора
OV’	остаток описания вектора
OP	описание
OST	остаток описания
OC	описание константы

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

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