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

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


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


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


См. также ''Стандартные схемы, Схема программ, Схема с косвенной адресацией, Схема с распределенной памятью, Схемы Лаврова, Схемы Янова, Управляющий граф.''
==См. также ==
''[[Стандартные схемы]], [[Схема программ]], [[Схема с косвенной адресацией]], [[Схема с распределенной памятью]], [[Схемы Лаврова]], [[Схемы Янова]], [[Управляющий граф]].''
==Литература==
==Литература==
[Касьянов/88]
[Касьянов/88]

Версия от 12:21, 4 февраля 2010

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

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

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

См. также

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

Литература

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