Курсовая работа1 / ТAIАIТ~1

Семантика

1. Семантика описаний

а. Каждый идентификатор, используемый в программе должен быть описан в начале программы в разделе описаний и только один раз.

Идентификаторы, определяющие имена переменных, констант и меток не должны попарно совпадать.

б. Множества переменных различных типов обозначим как integer, boolean.

в. При описании массива целое без знака соответствует размерности. элементы массива могут принадлежать только множеству boolean. массив переменного размера задавать нельзя. Элементы массива могут использоваться в выражениях и к этому моменту должны быть определены.

г. Целое число должно принадлежать диапазону -32768 .. 32767

д. Для хранения булевских переменных используется один байт.

Преобразование типов:

1. из boolean в integer: считаем, что true = 1, false = 0.

2. из integer в boolean: если число = 0 то false, иначе – true.

2. Семантика выражений

а. В качестве параметров могут использоваться только описанные имена.

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

3. Семантика безусловных переходов: Все используемые метки должны быть описаны.

4. Семантика условного оператора: после ключевых слов then и else всегда должен стоять составной оператор.

5. оператор присваивания: оператор присваивания не должен применяться к константе.