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

Материал из WEGA
Перейти к навигации Перейти к поиску
(Создана новая страница размером '''Стандартные схемы''' (''Standard schemata'') - схемы алголоподобных прогр...)
 
Нет описания правки
 
(не показано 5 промежуточных версий 2 участников)
Строка 1: Строка 1:
'''Стандартные схемы''' ([[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} оператор в такой схеме является
состояние памяти, либо [[распознаватель|''распознавателем'']] — оператором,
либо ''пре\-обра\-зо\-ва\-те\-лем''~--- оператором, изменяющим
состояние памяти, либо ''распознавателем'' --- оператором,
осуществляющим выбор для исполнения одного из нескольких
осуществляющим выбор для исполнения одного из нескольких
своих преемников. Преобразователь содержит одно обязательное
своих преемников. Преобразователь содержит одно обязательное
присваивание и имеет одну исходящую дугу, а распознаватель
присваивание и имеет одну исходящую дугу, а распознаватель
не содержит присваиваний и имеет две исходящие дуги, одна из
не содержит присваиваний и имеет две исходящие дуги, одна из
которых называется ''плюс-стрелкой'' (или ''1-дугой''),
которых называется [[плюс-стрелка|''плюс-стрелкой'']] (или ''1-дугой''),
а вторая --- ''минус-стрелкой'' (или ''0-дугой'').\end{minipage}
а вторая — [[минус-стрелка|''минус-стрелкой'']] (или ''0-дугой'').


[[Файл:StSch.gif|450px]]


==См. также==
==См. также==
[[Крупноблочная схема программ|''Крупноблочная схема программ'']],
* ''[[Крупноблочная схема программ]]'',
[[Неинтерпретированные схемы|''Неинтерпретированные схемы'']],
* ''[[Неинтерпретированные схемы]]'',
[[Схема программ|''Схема программ'']],
* ''[[Схема программ]]'',
[[Схема с косвенной адресацией|''Схема с косвенной адресацией'']],
* ''[[Схема с косвенной адресацией]]'',
[[Схема с распределенной памятью|''Схема с распределенной памятью'']],
* ''[[Схема с распределенной памятью]]'',
[[Схемы Лаврова|''Схемы Лаврова'']],
* ''[[Схемы Лаврова]]'',
[[Схемы Мартынюка|''Схемы Мартынюка'']],
* ''[[Схемы Мартынюка]]'',
[[Схемы Янова|''Схемы Янова'']].
* ''[[Схемы Янова]]''.


==Литература==
==Литература==
[Ершов/94],  
* Ершов А.П. Избранные труды.  — Новосибирск: Наука. Сиб. отд-ние, 1994.
* Касьянов В.Н. Оптимизирующие преобразования программ. — М.: Наука, 1988.
 
* Котов В.Е., Сабельфельд В.К. Теория схем программ.— М.:  Наука, 1991.


[Котов-Сабельфельд],


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

Текущая версия от 14:40, 9 сентября 2011

Стандартные схемы (Standard schemata) — схемы алголоподобных программ, исследование которых составляет основное содержание общей теории схем программ.

В отличие от схем Мартынюка стандартные схемы учитывают разбиение памяти на переменные и позволяют исследовать более широкий класс преобразований программ, включающий уже и такие преобразования, как, например, экономия общих подвыражений.

Однако как подкласс крупноблочных схем стандартные схемы запрещают структурность операторов и переменных и, таким образом, моделируют лишь узкий класс реальных программ. Каждый оператор в такой схеме является либо преобразователем — оператором, изменяющим состояние памяти, либо распознавателем — оператором, осуществляющим выбор для исполнения одного из нескольких своих преемников. Преобразователь содержит одно обязательное присваивание и имеет одну исходящую дугу, а распознаватель не содержит присваиваний и имеет две исходящие дуги, одна из которых называется плюс-стрелкой (или 1-дугой), а вторая — минус-стрелкой (или 0-дугой).

StSch.gif

См. также

Литература

  • Ершов А.П. Избранные труды. — Новосибирск: Наука. Сиб. отд-ние, 1994.
  • Касьянов В.Н. Оптимизирующие преобразования программ. — М.: Наука, 1988.
  • Котов В.Е., Сабельфельд В.К. Теория схем программ.— М.: Наука, 1991..