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

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


Как ''крупноблочная схема'' схема Мартынюка включает
Как ''[[крупноблочная схема программ|крупноблочная схема]]'' схема Мартынюка включает
только одну переменную и состоит из операторов,
только одну переменную и состоит из операторов,
каждый из которых
каждый из которых
Строка 14: Строка 15:
здесь разрешима.
здесь разрешима.


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


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

Текущая версия от 11:43, 13 сентября 2011

Martynyuk schemata.gif

Схемы Мартынюка (Martynyuk schemata) — подкласс неинтерпретированных схем, в которых не содержится никакой информации о программе, кроме членения программы на операторы с указанием совпадающих (эквивалентно работающих) операторов и системы управляющих связей между операторами. Введены в литературу В.В.Мартынюком в 1961 г.

Как крупноблочная схема схема Мартынюка включает только одну переменную и состоит из операторов, каждый из которых имеет два операнда: обязательный вход и необязательный выход. Проблема распознавания эквивалентности здесь разрешима.

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

См. также

Литература

  • Касьянов В.Н. Оптимизирующие преобразования программ. — М.: Наука, 1988.