Аноним

Стандартные схемы: различия между версиями

Материал из WEGA
нет описания правки
Нет описания правки
Нет описания правки
Строка 1: Строка 1:
'''Стандартные схемы''' ([[Standard schemata|''Standard schemata'']]) - схемы алголоподобных программ, исследование которых составляет основное содержание общей теории схем программ. В
'''Стандартные схемы''' ([[Standard schemata|''Standard schemata'']]) - схемы алголоподобных программ, исследование которых составляет основное содержание общей [[Теория схем программ|теории схем программ]].  
отличие от схем Мартынюка стандартные схемы учитывают разбиение памяти на переменные и позволяют исследовать более широкий класс преобразований программ, включающий уже и такие преобразования, как, например, экономия общих подвыражений. Однако как подкласс крупноблочных схем стандартные схемы запрещают структурность операторов и переменных и, таким образом, моделируют лишь узкий класс
 
В отличие от [[Схемы Мартынюка|схем Мартынюка]] стандартные схемы учитывают разбиение памяти на переменные и позволяют исследовать более широкий класс преобразований программ, включающий уже и такие преобразования, как, например, экономия общих подвыражений.  
 
Однако как подкласс [[Крупноблочная схема программ|крупноблочных схем]] стандартные схемы запрещают структурность операторов и переменных и, таким образом, моделируют лишь узкий класс
реальных программ. Каждый оператор в такой схеме является
реальных программ. Каждый оператор в такой схеме является
либо [[преобразователь|''преобразователем'']] --- оператором, изменяющим
либо [[преобразователь|''преобразователем'']] --- оператором, изменяющим
Строка 9: Строка 12:
не содержит присваиваний и имеет две исходящие дуги, одна из
не содержит присваиваний и имеет две исходящие дуги, одна из
которых называется [[плюс-стрелка|''плюс-стрелкой'']] (или ''1-дугой''),
которых называется [[плюс-стрелка|''плюс-стрелкой'']] (или ''1-дугой''),
а вторая --- [[минус-стрелка|''минус-стрелкой'']] (или ''0-дугой'').\end{minipage}
а вторая --- [[минус-стрелка|''минус-стрелкой'']] (или ''0-дугой'').


[[Файл:StSch.gif]]
[[Файл:StSch.gif]]
Строка 29: Строка 32:


[Касьянов/88]
[Касьянов/88]
[[Категория: Теория схем программ]].