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

Перейти к навигации Перейти к поиску
нет описания правки
Нет описания правки
Нет описания правки
 
Строка 1: Строка 1:
'''Стандартные схемы''' (''[[Standard schemata]]'') — схемы алголоподобных программ, исследование которых составляет основное содержание общей теории схем программ. В отличие от [[Схемы Мартынюка|схем Мартынюка]] стандартные схемы учитывают разбиение памяти на переменные и позволяют исследовать более широкий класс преобразований программ, включающий уже и такие преобразования, как, например, экономия общих подвыражений. Однако как подкласс [[Крупноблочная схема программ|крупноблочных схем]] стандартные схемы запрещают структурность операторов и переменных и, таким образом, моделируют лишь узкий класс
'''Стандартные схемы''' (''[[Standard schemata]]'') — схемы алголоподобных программ, исследование которых составляет основное содержание общей теории схем программ.  
 
В отличие от [[Схемы Мартынюка|схем Мартынюка]] стандартные схемы учитывают разбиение памяти на переменные и позволяют исследовать более широкий класс преобразований программ, включающий уже и такие преобразования, как, например, экономия общих подвыражений.  
 
Однако как подкласс [[Крупноблочная схема программ|крупноблочных схем]] стандартные схемы запрещают структурность операторов и переменных и, таким образом, моделируют лишь узкий класс
реальных программ. Каждый оператор в такой схеме является
реальных программ. Каждый оператор в такой схеме является
либо [[преобразователь|''преобразователем'']] — оператором, изменяющим
либо [[преобразователь|''преобразователем'']] — оператором, изменяющим

Навигация