Неинтерпретированные схемы

Материал из WEGA

Неинтерпретированные схемы (Non-interpreted schemata) - важный подкласс крупноблочных схем, в которых множество интерпретаций совпадает с множеством всех возможных интерпретаций базиса. Этот подкласс содержит схемы Мартынюка и стандартные схемы и ориентирован на чисто схемные преобразования программ, которые предполагают доступность только информационно-логической структуры программ и составляют ядро различных видов обработки программ.

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

См. также

Крупноблочная схема программ, Стандартные схемы, Схема программ, Схема с косвенной адресацией, Схема с распределенной памятью, Схемы Мартынюка.

Литература

[Касьянов/88]