Стандартные схемы: различия между версиями
KVN (обсуждение | вклад) Нет описания правки |
KVN (обсуждение | вклад) Нет описания правки |
||
| Строка 1: | Строка 1: | ||
'''Стандартные схемы''' ([[Standard schemata|''Standard schemata'']]) - схемы алголоподобных программ, исследование которых составляет основное содержание общей теории схем программ. В | '''Стандартные схемы''' ([[Standard schemata|''Standard schemata'']]) - схемы алголоподобных программ, исследование которых составляет основное содержание общей [[Теория схем программ|теории схем программ]]. | ||
отличие от схем Мартынюка стандартные схемы учитывают разбиение памяти на переменные и позволяют исследовать более широкий класс преобразований программ, включающий уже и такие преобразования, как, например, экономия общих подвыражений. Однако как подкласс крупноблочных схем стандартные схемы запрещают структурность операторов и переменных и, таким образом, моделируют лишь узкий класс | |||
В отличие от [[Схемы Мартынюка|схем Мартынюка]] стандартные схемы учитывают разбиение памяти на переменные и позволяют исследовать более широкий класс преобразований программ, включающий уже и такие преобразования, как, например, экономия общих подвыражений. | |||
Однако как подкласс [[Крупноблочная схема программ|крупноблочных схем]] стандартные схемы запрещают структурность операторов и переменных и, таким образом, моделируют лишь узкий класс | |||
реальных программ. Каждый оператор в такой схеме является | реальных программ. Каждый оператор в такой схеме является | ||
либо [[преобразователь|''преобразователем'']] --- оператором, изменяющим | либо [[преобразователь|''преобразователем'']] --- оператором, изменяющим | ||
| Строка 9: | Строка 12: | ||
не содержит присваиваний и имеет две исходящие дуги, одна из | не содержит присваиваний и имеет две исходящие дуги, одна из | ||
которых называется [[плюс-стрелка|''плюс-стрелкой'']] (или ''1-дугой''), | которых называется [[плюс-стрелка|''плюс-стрелкой'']] (или ''1-дугой''), | ||
а вторая --- [[минус-стрелка|''минус-стрелкой'']] (или ''0-дугой''). | а вторая --- [[минус-стрелка|''минус-стрелкой'']] (или ''0-дугой''). | ||
[[Файл:StSch.gif]] | [[Файл:StSch.gif]] | ||
| Строка 29: | Строка 32: | ||
[Касьянов/88] | [Касьянов/88] | ||
[[Категория: Теория схем программ]]. | |||
Версия от 12:33, 3 июня 2009
Стандартные схемы (Standard schemata) - схемы алголоподобных программ, исследование которых составляет основное содержание общей теории схем программ.
В отличие от схем Мартынюка стандартные схемы учитывают разбиение памяти на переменные и позволяют исследовать более широкий класс преобразований программ, включающий уже и такие преобразования, как, например, экономия общих подвыражений.
Однако как подкласс крупноблочных схем стандартные схемы запрещают структурность операторов и переменных и, таким образом, моделируют лишь узкий класс реальных программ. Каждый оператор в такой схеме является либо преобразователем --- оператором, изменяющим состояние памяти, либо распознавателем --- оператором, осуществляющим выбор для исполнения одного из нескольких своих преемников. Преобразователь содержит одно обязательное присваивание и имеет одну исходящую дугу, а распознаватель не содержит присваиваний и имеет две исходящие дуги, одна из которых называется плюс-стрелкой (или 1-дугой), а вторая --- минус-стрелкой (или 0-дугой).
См. также
Крупноблочная схема программ, Неинтерпретированные схемы, Схема программ, Схема с косвенной адресацией, Схема с распределенной памятью, Схемы Лаврова, Схемы Мартынюка, Схемы Янова.
Литература
[Ершов/94],
[Котов-Сабельфельд],
[Касьянов/88].