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

algorithm, program, program scheme, equivalent transformation, complete system of equivalent transformations

Mathematical problems and theory of numerical methods