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