Статья в сборнике "Математические вопросы кибернетики" №9, Москва, 2000
Авторы:Подловченко Р.И.
К вопросу об эквивалентных преобразованиях алгоритмов и программ
Аннотация:
В статье представлены основные понятия и методы, относящиеся к задаче эквивалентных преобразований алгоритмов и программ. Статья состоит из двух разделов. В первом разделе формулируется задача эквивалентных преобразований алгоритмов. Показано, как исследование этой задачи приводит к концепции схемы программ. В следующем разделе в рамках теории схем программ приведено определение эквивалентного преобразования схемы программ и описаны основные этапы построения систем эквивалентных преобразований. Показано, что для некоторых моделей программ предложенный метод приводит к получению полных систем эквивалентных преобразований.
Ключевые слова:
алгоритм, программа, схема программ, модель программ, эквивалентное преобразование, полная система эквивалентных преобразований
