1303
правки
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]  | ||
[[Категория: Теория схем программ]].  | |||