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