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

Материал из WEGA
Перейти к навигации Перейти к поиску
Нет описания правки
Нет описания правки
Строка 1: Строка 1:
'''Стандартные схемы''' ([[Standard schemata|''Standard schemata'']]) - схемы алголоподобных программ, исследование которых составляет основное содержание общей [[Теория схем программ|теории схем программ]].  
'''Стандартные схемы''' (''[[Standard schemata]]'') - схемы алголоподобных программ, исследование которых составляет основное содержание общей [[Теория схем программ|теории схем программ]].  


В отличие от [[Схемы Мартынюка|схем Мартынюка]] стандартные схемы учитывают разбиение памяти на переменные и позволяют исследовать более широкий класс преобразований программ, включающий уже и такие преобразования, как, например, экономия общих подвыражений.  
В отличие от [[Схемы Мартынюка|схем Мартынюка]] стандартные схемы учитывают разбиение памяти на переменные и позволяют исследовать более широкий класс преобразований программ, включающий уже и такие преобразования, как, например, экономия общих подвыражений.  
Строка 14: Строка 14:
а вторая --- [[минус-стрелка|''минус-стрелкой'']] (или ''0-дугой'').
а вторая --- [[минус-стрелка|''минус-стрелкой'']] (или ''0-дугой'').


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


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


==Литература==
==Литература==

Версия от 13:41, 11 июня 2010

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

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

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

StSch.gif

См. также

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

Литература

[Ершов/94],

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

[Касьянов/88].