книги из ГПНТБ / Землянский, А. А. Транслирующая система с языка АЛГЭК-М на ЭВМ Минск-32 учеб. пособие

также управляющим блоком. Перечень семантических ошибок приве­ ден в инструкции по эксплуатации САП МЭСИ-32.

Зѳдвчеіі семантического контроля, производимого на момент трансляции, является проверка правильности применения конструк­ ций входного языка, а также установления области действия объявлений (описаний) объектов программы.

Семантический контроль, выполняемый на момент трансляции,

обеспечивает:

1) выявление неописанных и описанных дважды идентификато­ ров; ■

2)соответствие области действия метки с областью действия оператора перехода;

3)обнаружение нарушений ограничений входного языке (на­

149

Семантический контроль, осуществлявши на момент трансляции,

реализуется в САП МЭСИ-32 с использованием двух способов:

1)сведение контекстной грамматики к бесконтекстной,

2)программный.

Сведение контекстной грамматики к бесконтекстной систоит в том, что в результате одного из просмотров текста 1ЛЯП информация о типе и классе объектов переносится в операнды. Таким образом,’ каж­ дый операнд имеет необходимые сведения о его принадлежности к клас­ су и типу, другими словами, запись операторов становится бескон­ текстной.

Идея программного способа семантического контроля сводится к проверке правильности применения конструкций семантическими программами, логика которых соответствует неформализованным пра­

вилам семантики входного языка. Этот способ обеспечивает проверку выполнения ограничений, налагаемых разработчиками транслятора, как на количество допустимых конструкций, так и на принимаемые значения величин.

Примеры программного семантического контроля, выполняемого на момент трансляции: допустимое количество уровней для структур;

количество внешних устройств, закрепляемых ва данным массивом;

количество используемых в программе попарно различимых объектов;

количество блоков программы и т .п .) .

Полный перечень ограничений приведен в приложении 2 дан­ ного пособия.

Семантический контроль,осуществляемый на момент выполнения программы, обеспечивает:

I) проверку выхода значения индексе за пределы соответствую­ щей границы массива и/или составной-a t сива;

]50

2)проверку соответствия позиций при работе с конструкцией

ЭЛЕМЕНТ:

3)выявление соответствия значений компонентов в заголовке

циклов;

4)установление области действия операторов, работающих с внешними массивами и/или состазными-массивами с областью дей­

ствия операторов "ОТКРЫТЬ" и "НАКРЫТЬ".

Кроме рассмотренных разновидностей контроля, в САП МЗСИ-32

при трансляции ИЯП выдаются сообщения об исчерпании памяти, не­ обходимой для размещения "временных переменных" (внутренние пе­ ременные транслятора). Это может произойти при трансляции выраже­ ний, в состав которых входит большое количество операндов. В

этом случае необходимо разделить выражение на несколько частей,

каждую из которых оформить как оператор.

Выдается сообщение об исчерпании-памяти, отводимой под объекты программы. При выдаче сообщения об исчерпании памяти необходимо пересмотреть структурную организацию программы, то есть переупорядочить соподчиненность блоков программы, или из­ менить местоположение описаний, массивов составных, а в отдель­ ных случаях необходимо изменить длины зон для создаваемых мас­ сивов. Однако дліі каждого конкретного случая эти общие реко­ мендации могут быть использованы кѳк самостоятельные варианты или как их возможные сочетания.

Контроль правильности программы не гарантирует получения достоверных результатов. В связи с этим в САП ЫЭСИ-32 семан­ тический контроль распространен и на исходные данные, с которы­ ми работают программы обмена с внешними устройствами.

Семантический контроль исходных данных обеспечивает:

І5 І

Б л о к - с х е м а решения задачи

ввод исходных данных массива А; К :=0; Н :=0:________________

[ организация цикла на перебор

Iстрок матрицъ; А ( І := І ) ;__________

организация цикла на перебор столбцов матрицы А( Г :=£)

KtfBLX) ; вывод на печать номера строки и значения К по заден-

номт Формат-

(конец^

153

Алгоритм программы в нотации входного яэыка

Для наглядности исходные данные запишем в виде двухмерной

матрицы с использованием соответствующих разделителей:

П Р И Л О Ж Е Н И Я

в

155

155

ДРКІОКЕНИ5 2

Ограничения и уточнения

в САП МЭСИ - 32 ...

1 ) . Идентификатор распознается по первым четырем символам и не должен начинаться с символа Ь .

2)В качестве повторителя недопускается использовать цифру НОЛЬ.

3)В качестве индексного выражения не допускается использовать цифру НОЛЬ.

4)Список индексов ограничен до трех.

5)Количество операндов, заключенных в круглые скобки в арифме­ тическом и/или логическом выражениях, не должно превышать 20.

6)Значение параметра цикла на должно быть равным нулю.

7)Длина списка описаний переменных не должна превышать 20.

8)Список верхних границ не должен превышать 3 .

9)■ Список массивов не должен превышать 20.

10)Количество уровней для составной не должно превышать 10,

11)Список меток в описании переключателя не должен превышать 20.

12)Количество всізх блоков, допускаемых в программе, не должно превышать 45.

13)Значение целого числа, используемого в программе, не должно превышать 999 999 999.

14)Текстовой переменной, описанной без формата, приписывается формат по умолчанию, равный С (5 ), т . е . отводится память равная одной ячейке.

15)Вход в блок (сосігавной блок) возможен только через его на­ чало.

ІЬ7