4183
правки
Схемы Мартынюка: различия между версиями
Материал из WEGA
нет описания правки
KEV (обсуждение | вклад) Нет описания правки |
KEV (обсуждение | вклад) Нет описания правки |
||
| (не показано 5 промежуточных версий 2 участников) | |||
| Строка 1: | Строка 1: | ||
'''Схемы Мартынюка''' (''[[Martynyuk schemata]]'') | [[Файл:Martynyuk schemata.gif|200px|right]] | ||
'''Схемы Мартынюка''' (''[[Martynyuk schemata]]'') — | |||
подкласс ''неинтерпретированных схем'', | подкласс ''неинтерпретированных схем'', | ||
в которых не содержится | в которых не содержится | ||
| Строка 14: | Строка 15: | ||
здесь разрешима. | здесь разрешима. | ||
Схемы Мартынюка | Схемы Мартынюка — основная модель программы при решении | ||
задач анализа потока управления в программе. | задач анализа потока управления в программе. | ||
==См. также == | ==См. также == | ||
''[[Стандартные схемы]], [[Схема программ]], [[Схема с косвенной адресацией]], [[Схема с распределенной памятью]], [[Схемы Лаврова]], [[Схемы Янова]], [[Управляющий граф]].'' | * ''[[Стандартные схемы]],'' | ||
* ''[[Схема программ]],'' | |||
* ''[[Схема с косвенной адресацией]],'' | |||
* ''[[Схема с распределенной памятью]],'' | |||
* ''[[Схемы Лаврова]],'' | |||
* ''[[Схемы Янова]],'' | |||
* ''[[Управляющий граф]].'' | |||
==Литература== | ==Литература== | ||
[ | * Касьянов В.Н. Оптимизирующие преобразования программ. — М.: Наука, 1988. | ||
[[Категория:Теория схем программ]] | |||
