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