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