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

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