Аноним

Неинтерпретированные схемы: различия между версиями

Материал из WikiGrapp
нет описания правки
(Создана новая страница размером '''Неинтерпретированные схемы''' (''Non-interpreted schemata'') - важный подкласс крупнобл...)
 
Нет описания правки
Строка 1: Строка 1:
'''Неинтерпретированные схемы''' (''Non-interpreted schemata'') -  
'''Неинтерпретированные схемы''' (''[[Non-interpreted schemata]]'') -  
важный подкласс крупноблочных схем, в которых множество
важный подкласс [[крупноблочная схема программ|крупноблочных схем]], в которых множество
интерпретаций совпадает с множеством всех возможных
интерпретаций совпадает с множеством всех возможных
интерпретаций базиса. Этот подкласс содержит схемы Мартынюка
интерпретаций [[базис|базиса]]. Этот подкласс содержит схемы Мартынюка
и стандартные схемы и ориентирован на чисто схемные
и стандартные схемы и ориентирован на чисто схемные
преобразования программ, которые предполагают доступность
преобразования программ, которые предполагают доступность
Строка 14: Строка 14:
''эрбрановых'') интерпретаций базиса, составляющих небольшую и
''эрбрановых'') интерпретаций базиса, составляющих небольшую и
вполне обозримую часть всех интерпретаций. Основу этих
вполне обозримую часть всех интерпретаций. Основу этих
интерпретаций составляют термы значений --- слова, правильно
интерпретаций составляют [[терм|термы]] значений --- слова, правильно
построенные из констант, переменных и символов операций и
построенные из констант, переменных и символов операций и
доступов.
доступов.


См. также ''Крупноблочная схема программ, Стандартные схемы, Схема программ, Схема с косвенной адресацией, Схема с распределенной памятью, Схемы Мартынюка.''
==См. также==
''[[Крупноблочная схема программ]], [[Стандартные схемы]], [[Схема программ]], [[Схема с косвенной адресацией]], [[Схема с распределенной памятью]], [[Схемы Мартынюка]].''
==Литература==
==Литература==
[Касьянов/88]
[Касьянов/88]