Схемы Мартынюка: различия между версиями
Glk (обсуждение | вклад) (Создана новая страница размером '''Схемы Мартынюка''' (''Martynyuk schemata'') - подкласс ''неинтерпретированных схем'', в...) |
KEV (обсуждение | вклад) Нет описания правки |
||
| Строка 1: | Строка 1: | ||
'''Схемы Мартынюка''' (''Martynyuk schemata'') - | '''Схемы Мартынюка''' (''[[Martynyuk schemata]]'') - | ||
подкласс ''неинтерпретированных схем'', | подкласс ''неинтерпретированных схем'', | ||
в которых не содержится | в которых не содержится | ||
| Строка 7: | Строка 7: | ||
Введены в литературу В.В.Мартынюком в 1961 г. | Введены в литературу В.В.Мартынюком в 1961 г. | ||
Как ''крупноблочная схема'' схема Мартынюка включает | Как ''[[крупноблочная схема программ|крупноблочная схема]]'' схема Мартынюка включает | ||
только одну переменную и состоит из операторов, | только одну переменную и состоит из операторов, | ||
каждый из которых | каждый из которых | ||
| Строка 14: | Строка 14: | ||
здесь разрешима. | здесь разрешима. | ||
Схемы Мартынюка | Схемы Мартынюка - основная модель программы при решении | ||
задач анализа потока управления в программе. | задач анализа потока управления в программе. | ||
См. также ''Стандартные схемы, Схема программ, Схема с косвенной адресацией, Схема с распределенной памятью, Схемы Лаврова, Схемы Янова, Управляющий граф.'' | ==См. также == | ||
''[[Стандартные схемы]], [[Схема программ]], [[Схема с косвенной адресацией]], [[Схема с распределенной памятью]], [[Схемы Лаврова]], [[Схемы Янова]], [[Управляющий граф]].'' | |||
==Литература== | ==Литература== | ||
[Касьянов/88] | [Касьянов/88] | ||
Версия от 12:21, 4 февраля 2010
Схемы Мартынюка (Martynyuk schemata) - подкласс неинтерпретированных схем, в которых не содержится никакой информации о программе, кроме членения программы на операторы с указанием совпадающих (эквивалентно работающих) операторов и системы управляющих связей между операторами. Введены в литературу В.В.Мартынюком в 1961 г.
Как крупноблочная схема схема Мартынюка включает только одну переменную и состоит из операторов, каждый из которых имеет два операнда: обязательный вход и необязательный выход. Проблема распознавания эквивалентности здесь разрешима.
Схемы Мартынюка - основная модель программы при решении задач анализа потока управления в программе.
См. также
Стандартные схемы, Схема программ, Схема с косвенной адресацией, Схема с распределенной памятью, Схемы Лаврова, Схемы Янова, Управляющий граф.
Литература
[Касьянов/88]