Стандартные схемы: различия между версиями
KEV (обсуждение | вклад) (Создана новая страница размером '''Стандартные схемы''' (''Standard schemata'') - схемы алголоподобных прогр...) |
KEV (обсуждение | вклад) Нет описания правки |
||
Строка 7: | Строка 7: | ||
\put(0,75){\special{em: graph 79.pcx}} | \put(0,75){\special{em: graph 79.pcx}} | ||
\end{picture}\end{minipage}\begin{minipage}{47mm} оператор в такой схеме является | \end{picture}\end{minipage}\begin{minipage}{47mm} оператор в такой схеме является | ||
либо '' | либо [[преобразователь|''преобразователем'']] --- оператором, изменяющим | ||
состояние памяти, либо ''распознавателем'' --- оператором, | состояние памяти, либо [[распознаватель|''распознавателем'']] --- оператором, | ||
осуществляющим выбор для исполнения одного из нескольких | осуществляющим выбор для исполнения одного из нескольких | ||
своих преемников. Преобразователь содержит одно обязательное | своих преемников. Преобразователь содержит одно обязательное | ||
присваивание и имеет одну исходящую дугу, а распознаватель | присваивание и имеет одну исходящую дугу, а распознаватель | ||
не содержит присваиваний и имеет две исходящие дуги, одна из | не содержит присваиваний и имеет две исходящие дуги, одна из | ||
которых называется ''плюс-стрелкой'' (или ''1-дугой''), | которых называется [[плюс-стрелка|''плюс-стрелкой'']] (или ''1-дугой''), | ||
а вторая --- ''минус-стрелкой'' (или ''0-дугой'').\end{minipage} | а вторая --- [[минус-стрелка|''минус-стрелкой'']] (или ''0-дугой'').\end{minipage} | ||
Версия от 10:58, 3 июня 2009
Стандартные схемы (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} оператор в такой схеме является либо преобразователем --- оператором, изменяющим состояние памяти, либо распознавателем --- оператором, осуществляющим выбор для исполнения одного из нескольких своих преемников. Преобразователь содержит одно обязательное присваивание и имеет одну исходящую дугу, а распознаватель не содержит присваиваний и имеет две исходящие дуги, одна из которых называется плюс-стрелкой (или 1-дугой), а вторая --- минус-стрелкой (или 0-дугой).\end{minipage}
См. также
Крупноблочная схема программ, Неинтерпретированные схемы, Схема программ, Схема с косвенной адресацией, Схема с распределенной памятью, Схемы Лаврова, Схемы Мартынюка, Схемы Янова.
Литература
[Ершов/94],
[Котов-Сабельфельд],
[Касьянов/88]