Добавил:

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

Вуз:

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

Предмет:

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

Файл:

Курсовик по ТЯП. Вариант 5.doc

Скачиваний:

Добавлен:

01.05.2014

Размер:

975.87 Кб

Скачать

☆

<<< < Предыдущая 1 2 3 4 5 6 7 89 / 109 10 > Следующая >>>

16. Грамматика вызовов функций

Входные символы :

Имя	Семантика	Атрибуты
CallFunc _a	Результат вызова функции	a – синтезированный
V_b	Переменная из таблицы идентификаторов	b– синтезированный
Id_с	Идентификатор из таблицы идентификаторов	с – синтезированный
Int_c	Целое из таблицы промеж. значений	с – синтезированный
Num_с	Вещественное из таблицы промеж. значений	с – синтезированный
B_c	Булевское из таблицы промеж. значений	с – синтезированный

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

Имя символа	Семантика	Атрибуты
{ВЫЗОВ EQ}_a, {ВЫЗОВV}_a, {ВЫЗОВCondition}_a	Вызовы соответствующих ДМП-процессоров. Результаты их работы запоминаются как атрибут a	a-синтезированный
{ПОРЯДКОВЫЙ НОМЕР}p,q,r	По адресу pв таблице идентификаторов находится переменная. Если она не перечислимого типа, то ошибка. Иначе в таблице перечислимых значений данного перечислимого типа ищется значениеq. Если оно найдено, то результат записывается в таблицу триад по новому адресуr	p,q– унаследованные,r– синтезированный
{ОБЪЕМ СПИСКА}p, q	По адресу pв таблице идентификаторов находится переменная. Если она не является списком, то ошибка. В противном случае в таблицу промежуточных значений по адресуqзаносится количество элементов этого списка и поле «тип» помечается как «целое»	p – унаследованный,q –синтезированный
{ ПО НОМЕРУ В СПИСКЕ}p,q,r	По адресу pв таблице идентификаторов ищется переменная. Если она не является списком, то ошибка. По адресуqв таблице констант ищется номер элемента, который нужно найти. Если тип этого номера – не целый или целый, но отрицателен, то ошибка. Если ошибок нет, в таблице найденного списка ищется элемент с заданным номером. В случае, когда к-во элементов меньше заданного номера – ошибка, иначе по адресуrв таблицу промежуточных значений записывается найденное значение. Тип промежуточного значения устанавливается как тип элементов списка	p,q– унаследованные,r– синтезированный
{ПРЕОБРАЗОВАТЬ ЗНАЧЕНИЕ}f,g,p,q	Если f= 0, то в таблице идентификаторов ищется переменная и находится ее значение, а еслиf= 1, то в таблице констант ищется значение по адресуp. Далее если g= 0, то полученное значение преобразуется к целому типу, еслиg= 1- к вещественному. Схема преобразования указана в таблице. Полученное значение записывается в таблицу промежуточных значений по адресуr. Тип промежуточного значения в этой таблице устанавливается в зависимости от атрибутаg	f,g– синтезированные,p– унаследованный,q- синтезированный
{НАЙТИ ЗНАЧЕНИЕ}list,n, val,ind	По адресу listв таблице идентификаторов ищется переменная. В зависимости от атрибутаnадресvalподходящего значения находится в таблице идентификаторов (n= 2) или промежуточных значений (n= 1). Далее генерируется триадаFNDlistvalи полученный результат записывается по адресуindв таблице промежуточных значений	list,val– унаследованные,n,ind- синтезированные

Таблица преобразований

Тип начального значения ->	integer	real
Преобразовать к целому	В качестве результата берется исходное значение	Генерируется триада RTOI p
Преобразовать к вещественному	Генерируется триада ITOR p	В качестве результата берется исходное значение

Правила:

CallFunc _a -> ord ( V{ВЫЗОВ V}_с ) {ПОРЯДКОВЫЙ НОМЕР}_{p,
q, r}

p, q<-c

q<-c

r = НовоеЗначение

a<-r

CallFunc _a -> qua ( Id_b ) {ОБЪЕМ СПИСКА}_p,
q

p <- b

q = НовоеЗначение

a <- q

CallFunc _a -> cou ( Id_b , Int_c ) {НОМЕР В СПИСКЕ}_{p,
q, r}

p <-b

q <-c

r =НовоеЗначение

a <- r

CallFunc _a -> integer ( V {ВЫЗОВ V}_c ) {ПРЕОБРАЗОВАТЬ ЗНАЧЕНИЕ}_{0,
0, p, q}

p <- c

q = НовоеЗначение

a <- q

CallFunc _a -> real ( V {ВЫЗОВ V}_c ) {ПРЕОБРАЗОВАТЬ ЗНАЧЕНИЕ}_{0,
1, p, q}

p <- c

q = НовоеЗначение

a <- q

CallFunc _a -> integer ( Int_c ) {ПРЕОБРАЗОВАТЬ ЗНАЧЕНИЕ}_{1,
0, p, q}

p <- c

q = НовоеЗначение

a <- q

CallFunc _a -> integer ( Num_c ) {ПРЕОБРАЗОВАТЬ ЗНАЧЕНИЕ}_{1,
0, p, q}

p <- c

q = НовоеЗначение

a <- q

CallFunc _a -> real ( Int_c ) {ПРЕОБРАЗОВАТЬ ЗНАЧЕНИЕ}_{1,
1, p, q}

p <- c

q = НовоеЗначение

a <- q

CallFunc _a -> real ( Num_c ) {ПРЕОБРАЗОВАТЬ ЗНАЧЕНИЕ}_{1,
1, p, q}

f , g <- 1

p <- c

q = НовоеЗначение

a <- q

CallFunc_a -> find ( Id_b , Int_c ) {НАЙТИ ЗНАЧЕНИЕ}_{list,
1, val, ind}

list <- b

val <- c

ind = НовоеЗначение

a <- ind

CallFunc_a -> find ( Id_b , Num_c ) {НАЙТИ ЗНАЧЕНИЕ}_{list,
1, val, ind}

list <- b

val <- c

ind = НовоеЗначение

a <- ind

CallFunc_a -> find ( Id_b , B_c ) {НАЙТИ ЗНАЧЕНИЕ}_{list,
1 , val, ind}

list <- b

val <- c

ind = НовоеЗначение

a <- ind

CallFunc_a -> find ( Id_b , V {ВЫЗОВ V}_c ) {НАЙТИ ЗНАЧЕНИЕ}_{list,
2, val, ind}

list <- b

val <- c

ind = НовоеЗначение

a <- ind

НоваяМетка – выдает адрес первой свободной позиции в таблице меток

НовыйИдентификатор – выдает адрес первой свободной позиции в таблице идентификаторов

НовыйТип выдает адрес первой свободной позиции в таблице пользовательских типов

НоваяСекция - выдает адрес первой свободной позиции в таблице секций

НовоеЗначение - выдает адрес первой свободной позиции в таблице промежуточных значений

Управляющие таблицы для ДМП-процессоров

Грамматика описания программы

---- функция "перенос" ( количество элементов : 17 * 12 ) :

ФУНКЦИИ ТИПА "ПЕРЕНОС-СВЕРТКА" :

---- функция "перенос" ( количество элементов : 17 * 12 ) :

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

I Ibeg!end!. !; !prg!id !OpD!LbD!CsD!TpD!VrD!EpsI

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

IS IОШ !ОШ !ОШ !ОШ !ОШ !ОШ !ОШ !ОШ !ОШ !ОШ !ОШ !ОШ I