Аноним

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

Материал из WEGA
нет описания правки
Нет описания правки
Нет описания правки
Строка 1: Строка 1:
'''Стандартные схемы''' ([[Standard schemata|''Standard schemata'']]) - схемы алголоподобных программ, исследование которых составляет основное содержание общей теории схем программ. В
'''Стандартные схемы''' ([[Standard schemata|''Standard schemata'']]) - схемы алголоподобных программ, исследование которых составляет основное содержание общей теории схем программ. В
отличие от схем Мартынюка стандартные схемы учитывают разбиение памяти на переменные и позволяют исследовать более широкий класс преобразований программ, включающий уже и такие преобразования, как, например, экономия общих подвыражений. Однако как подкласс крупноблочных схем стандартные схемы запрещают структурность операторов и переменных и, таким образом, моделируют лишь узкий класс
отличие от схем Мартынюка стандартные схемы учитывают разбиение памяти на переменные и позволяют исследовать более широкий класс преобразований программ, включающий уже и такие преобразования, как, например, экономия общих подвыражений. Однако как подкласс крупноблочных схем стандартные схемы запрещают структурность операторов и переменных и, таким образом, моделируют лишь узкий класс
реальных программ. Каждый\linebreak
реальных программ. Каждый оператор в такой схеме является
\begin{minipage}{70mm}
\unitlength=1mm
\begin{picture}(65,76)
\put(0,75){\special{em: graph 79.pcx}}
\end{picture}\end{minipage}\begin{minipage}{47mm} оператор в такой схеме является
либо [[преобразователь|''преобразователем'']] --- оператором, изменяющим
либо [[преобразователь|''преобразователем'']] --- оператором, изменяющим
состояние памяти, либо [[распознаватель|''распознавателем'']] --- оператором,
состояние памяти, либо [[распознаватель|''распознавателем'']] --- оператором,
Строка 16: Строка 11:
а вторая --- [[минус-стрелка|''минус-стрелкой'']] (или ''0-дугой'').\end{minipage}
а вторая --- [[минус-стрелка|''минус-стрелкой'']] (или ''0-дугой'').\end{minipage}


[[Файл:StSch.gif]]


==См. также==
==См. также==