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

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

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

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

См. также

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

Литература

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