Схемы Мартынюка

Материал из WEGA
Версия от 13:09, 2 февраля 2010; Glk (обсуждение | вклад) (Создана новая страница размером '''Схемы Мартынюка''' (''Martynyuk schemata'') - подкласс ''неинтерпретированных схем'', в...)
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)
Перейти к навигации Перейти к поиску

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

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

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

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

Литература

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