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