Схемы Мартынюка: различия между версиями
KVN (обсуждение | вклад) |
KVN (обсуждение | вклад) Нет описания правки |
||
| Строка 1: | Строка 1: | ||
'''Схемы Мартынюка''' (''[[Martynyuk schemata]]'') - | '''Схемы Мартынюка''' (''[[Martynyuk schemata]]'') - | ||
подкласс ''неинтерпретированных схем'', | подкласс ''неинтерпретированных схем'', | ||
| Строка 7: | Строка 6: | ||
операторов и системы управляющих связей между операторами. | операторов и системы управляющих связей между операторами. | ||
Введены в литературу В.В.Мартынюком в 1961 г. | Введены в литературу В.В.Мартынюком в 1961 г. | ||
[[Файл:Martynyuk schemata.gif|200pxt]] | |||
Как ''[[крупноблочная схема программ|крупноблочная схема]]'' схема Мартынюка включает | Как ''[[крупноблочная схема программ|крупноблочная схема]]'' схема Мартынюка включает | ||
Версия от 18:37, 23 ноября 2010
Схемы Мартынюка (Martynyuk schemata) - подкласс неинтерпретированных схем, в которых не содержится никакой информации о программе, кроме членения программы на операторы с указанием совпадающих (эквивалентно работающих) операторов и системы управляющих связей между операторами. Введены в литературу В.В.Мартынюком в 1961 г.
Как крупноблочная схема схема Мартынюка включает
только одну переменную и состоит из операторов,
каждый из которых
имеет два операнда: обязательный вход и
необязательный выход. Проблема распознавания эквивалентности
здесь разрешима.
Схемы Мартынюка - основная модель программы при решении задач анализа потока управления в программе.
См. также
Стандартные схемы, Схема программ, Схема с косвенной адресацией, Схема с распределенной памятью, Схемы Лаврова, Схемы Янова, Управляющий граф.
Литература
[Касьянов/88]