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

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


Как ''[[крупноблочная схема программ|крупноблочная схема]]'' схема Мартынюка включает
Как ''[[крупноблочная схема программ|крупноблочная схема]]'' схема Мартынюка включает

Версия от 19:08, 23 ноября 2010

Martynyuk schemata.gif

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

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

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

См. также

Стандартные схемы, Схема программ, Схема с косвенной адресацией, Схема с распределенной памятью, Схемы Лаврова, Схемы Янова, Управляющий граф.

Литература

[Касьянов/88]