Схемы Мартынюка: различия между версиями
Перейти к навигации
Перейти к поиску
Glk (обсуждение | вклад) (Создана новая страница размером '''Схемы Мартынюка''' (''Martynyuk schemata'') - подкласс ''неинтерпретированных схем'', в...) |
KVN (обсуждение | вклад) Нет описания правки |
||
| (не показано 7 промежуточных версий 2 участников) | |||
| Строка 1: | Строка 1: | ||
'''Схемы Мартынюка''' (''Martynyuk schemata'') | [[Файл:Martynyuk schemata.gif|200px|right]] | ||
'''Схемы Мартынюка''' (''[[Martynyuk schemata]]'') — | |||
подкласс ''неинтерпретированных схем'', | подкласс ''неинтерпретированных схем'', | ||
в которых не содержится | в которых не содержится | ||
| Строка 7: | Строка 8: | ||
Введены в литературу В.В.Мартынюком в 1961 г. | Введены в литературу В.В.Мартынюком в 1961 г. | ||
Как ''крупноблочная схема'' схема Мартынюка включает | Как ''[[крупноблочная схема программ|крупноблочная схема]]'' схема Мартынюка включает | ||
только одну переменную и состоит из операторов, | только одну переменную и состоит из операторов, | ||
каждый из которых | каждый из которых | ||
| Строка 14: | Строка 15: | ||
здесь разрешима. | здесь разрешима. | ||
Схемы Мартынюка | Схемы Мартынюка — основная модель программы при решении | ||
задач анализа потока управления в программе. | задач анализа потока управления в программе. | ||
См. также ''Стандартные схемы, Схема программ, Схема с косвенной адресацией, Схема с распределенной памятью, Схемы Лаврова, Схемы Янова, Управляющий граф.'' | ==См. также == | ||
* ''[[Стандартные схемы]],'' | |||
* ''[[Схема программ]],'' | |||
* ''[[Схема с косвенной адресацией]],'' | |||
* ''[[Схема с распределенной памятью]],'' | |||
* ''[[Схемы Лаврова]],'' | |||
* ''[[Схемы Янова]],'' | |||
* ''[[Управляющий граф]].'' | |||
==Литература== | ==Литература== | ||
[ | * Касьянов В.Н. Оптимизирующие преобразования программ. — М.: Наука, 1988. | ||
* Касьянов В. Н., Евстигнеев В. А. Графы в программировании: обработка, визуализация и применение. – СПб.: БХВ-Петербург, 2003. | |||
[[Категория:Теория схем программ]] | |||
[[Категория:Граф-модели]] | |||
[[Категория:Потоковый анализ программ]] | |||
[[Категория:Преобразование программ]] | |||
Текущая версия от 10:57, 5 ноября 2024
Схемы Мартынюка (Martynyuk schemata) — подкласс неинтерпретированных схем, в которых не содержится никакой информации о программе, кроме членения программы на операторы с указанием совпадающих (эквивалентно работающих) операторов и системы управляющих связей между операторами. Введены в литературу В.В.Мартынюком в 1961 г.
Как крупноблочная схема схема Мартынюка включает только одну переменную и состоит из операторов, каждый из которых имеет два операнда: обязательный вход и необязательный выход. Проблема распознавания эквивалентности здесь разрешима.
Схемы Мартынюка — основная модель программы при решении задач анализа потока управления в программе.
См. также
- Стандартные схемы,
- Схема программ,
- Схема с косвенной адресацией,
- Схема с распределенной памятью,
- Схемы Лаврова,
- Схемы Янова,
- Управляющий граф.
Литература
- Касьянов В.Н. Оптимизирующие преобразования программ. — М.: Наука, 1988.
- Касьянов В. Н., Евстигнеев В. А. Графы в программировании: обработка, визуализация и применение. – СПб.: БХВ-Петербург, 2003.