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

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

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

либо [[преобразователь|''преобразователем'']] --- оператором, изменяющим

состояние памяти, либо [[распознаватель|''распознавателем'']] --- оператором,

а вторая --- [[минус-стрелка|''минус-стрелкой'']] (или ''0-дугой'').\end{minipage}

==См. также==