Схемы Мартынюка: различия между версиями

Перейти к навигации Перейти к поиску
нет описания правки
Нет описания правки
Нет описания правки
 
(не показано 5 промежуточных версий 2 участников)
Строка 1: Строка 1:
'''Схемы Мартынюка''' (''[[Martynyuk schemata]]'') -
[[Файл:Martynyuk schemata.gif|200px|right]]
'''Схемы Мартынюка''' (''[[Martynyuk schemata]]'')
подкласс ''неинтерпретированных схем'',
подкласс ''неинтерпретированных схем'',
в которых не содержится
в которых не содержится
Строка 14: Строка 15:
здесь разрешима.
здесь разрешима.


Схемы Мартынюка - основная модель программы при решении
Схемы Мартынюка основная модель программы при решении
задач анализа потока управления в программе.
задач анализа потока управления в программе.


==См. также ==
==См. также ==
''[[Стандартные схемы]], [[Схема программ]], [[Схема с косвенной адресацией]], [[Схема с распределенной памятью]], [[Схемы Лаврова]], [[Схемы Янова]], [[Управляющий граф]].''
* ''[[Стандартные схемы]],''
* ''[[Схема программ]],''
* ''[[Схема с косвенной адресацией]],''
* ''[[Схема с распределенной памятью]],''
* ''[[Схемы Лаврова]],''
* ''[[Схемы Янова]],''
* ''[[Управляющий граф]].''
==Литература==
==Литература==
[Касьянов/88]
* Касьянов В.Н. Оптимизирующие преобразования программ. — М.: Наука, 1988.
 
 
[[Категория:Теория схем программ]]

Навигация