Добавил:

Studfiles2 Опубликованный материал нарушает ваши авторские права? Сообщите нам.

Вуз:

Санкт-Петербургский государственный электротехнический университет "ЛЭТИ"

Предмет:

Теория языков программирования

Файл:

Курсовик по ТЯП.DOC

Скачиваний:

Добавлен:

01.05.2014

Размер:

240.13 Кб

Скачать

☆

<<< < Предыдущая 1 2 3 4 5 6 78 / 88

Подграмматика для переменных:

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

VAR_t	переменная	t - синтезированный
VO_t	переменная старого типа	t - синтезированный
VO`_t,p	остаток переменной старого типа	t - синтезированный, p - унаследованный
IT_t	имя типа	t - синтезированный
I_t	индекс	t - синтезированный
I`_t,p	остаток индекса	t - синтезированный, p - унаследованный
EAR_t	арифметическая переменная	t - синтезированный
IP_t	имя поля	t - синтезированный

VAR_q₃ ® ( IT_p1 ) VO_q1 {преобразовать_тип}_p2,q2

p2¬p1

q2,q3¬q1

VAR_p2 ® VO_p1

p2¬p1

VO_t2 ® id_p1 VO`_p2,t1

p2¬p1

t2¬t1

VO`_p1,t4® [ I_q1 {ЭМ}_p2,q2,r1 I`_r2,t1 ] VO`_t2,t3

r1,r2¬НОВЭЛТ

p2¬p1

q2¬q1

t2¬t1

t4¬t3

VO`_p1,t2® . IP_q1 {ПЗ}_p2,q2,r1 VO`_r2,t1

r1,r2¬НОВЭЛТ

p2¬p1

q2¬q1

t2¬t1

VO`_p1,p2 ® e

p2¬p1

I_p2 ® EAR_p1

p2¬p1

I`_p1,t2 ® , I_q1 {ЭМ}_p2,q2,r1 I`_r2,t1

r1,r2¬НОВЭЛТ

p2¬p1

q2¬q1

t2¬t1

I`_p1,p2 ® e

p2¬p1

IP_p2 ® id_p1

p2¬p1

Операционные символы:

{преобразовать_тип}_A_1,А2	Генерируется триада ntype A₁,A₂
{ЭМ}_А1,А2_,R	R = номер триады EM A₁,A₂
{ПЗ}_А1,А2_,R	R = номер триады PZ A₁,A₂

Подграмматика для операторов:

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

OP	оператор
OPN	непомеченный оператор
VAR_t	переменная	t - синтезированный
E_t	выражение	t - синтезированный
DAT_t	данные для вывода	t - синтезированный
OPS	последовательность операторов
OPS`	остаток последовательности операторов
ELS_t,p	остаток условного оператора	t - синтезированный, p - унаследованный

OP ® lbl_p1 : {метка:}_p2 OPN

p2¬p1

OP ® OPN

OPN ® rid ( VAR_p1 ) {ввести}_p2

p2¬p1

OPN ® wri ( DAT_q1 ) {вывести}_q2

q2¬q1

OPN ® beg OPS end

OPN ® got lbl_p₁ {БП}_p2

p2¬p1

OPN ® if E_q1 the {УПЛ}_q2,r1 OP {БП}_t2 {метка}_r2 ELS_r1,t1

r1,r2¬НОВМЕТ

r3¬НОВМЕТ

q2¬q1

t2¬t1

OPN ® whi E_p₁ {метка}_r1 {УПЛ}_p2,r4 do OP {БП}_r2 {метка}_r3

r1,r2¬НОВМЕТ

r3,r4¬НОВМЕТ

p2¬p1

OPN ® VAR_p1 := E_q1 {присвоить}_p2,q2

p2¬p1

q2¬q1

OPN ® e

DAT_t2 ® str_t1

t2¬t1

DAT_t2 ® VAR_t1

t2¬t1

OPS ® OP OPS`

OPS` ® ; OP OPS`

OPS` ® e

ELS_p1,p3® els OP {метка}_p2

p2,p3¬p1

ELS_p1,p3 ® e {метка}_p2

p2,p3¬p1

НОВМЕТ - процедура, которая выдает значение указателя на свободную позицию таблицы меток.

Операционные символы:

{метка:}_А	По указанному имени A метки в таблице меток находится соответствующая позиция B, и генерируется триада label B, _
{метка}_A	Генерируется триада label А, _
{ввести}_А	Генерируется триада input А, _
{вывести}_А	Генерируется триада print А, _
{присвоить}_A1,A2	Если типы А1 и А2 совпадают, то генерируется триада = A1, A2
{БП}_А	Генерируется триада jmp А, _
{УПЛ}_А1,А2	Если тип А1 - boolean, то генерируется триада jmpF А1, A2

Управляющая таблица LL1-анализатора для главной подграмматики:

===================================================================================

I I. !lab!; !con!typ!var!beg!end!lbl!= !+ !- !: !num!id !TYP!LI IOPS!EpsI

===================================================================================

I PRG I О ! З ! О ! З ! З ! З ! З ! О ! О ! О ! О ! О ! О ! О ! О ! О ! О I О ! О I