ВУЗ:
Составители:
- 29 -
лица переменных должна иметь атрибуты области действия.
2.2 Контекстные условия II рода.
Контекстными условиями II рода называется требование соот-
ветствия определяющего высказывания об объектах и высказывания,
использующего данные объекты.
Согласно контекстным условиям II рода каждая переменная мо-
жет быть объявлена с некоторым типом, а затем должна участвовать
в выражении, содержащем операции только данного типа.
Обработка контекстного условия II рода сводится к организа-
ции таблицы, фиксирующей тип каждой переменной при объявлении и
последующему сканированию такой таблицы при анализе каждого ис-
пользующего выражения. Если язык программирования содержит абс-
трактные типы данных, то необходимо иметь таблицу типов, фиксиру-
ющую соответствие абстрактного типа и его определения через
стандартные типы.
2.3 Контекстные условия III рода.
Это требования соответствия формальных и фактических пара-
метров, границ индексов массивов и индексов в элементах массивов
и др., т.е. контекстные условия, не принадлежащие к первому и
второму роду.
Большинство языков программирования, за исключением Паскаля,
С++, не проверяют соответствие формальных и фактических парамет-
ров. Проверка соответствия является обязанностью программиста и
узким местом языков программирования. Большинство языков (исклю-
чая Си) проверяют оперделение элемента массива и его использова-
ние.
2.4 Контекстные условия IV рода.
К контекстным условиям IV рода относят количественные огра-
ничения, вносимые в язык транслятором, например, количество
переменных, диапазон представимых чисел и т.д.
3. Программные грамматики.
Программной грамматикой называют пятерку объектов:
G(T,N,P,S,M),
где T - множество термов,
N - множество нетермов,
Р - множество правил,
S - начальный символ,
Страницы
- « первая
- ‹ предыдущая
- …
- 26
- 27
- 28
- 29
- 30
- …
- следующая ›
- последняя »
