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