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