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