KIAM Main page Web Library  •  Publication Searh  Русский 
Publication

Article collection "Mathematical Problems of Cybernetics" №9, Moscow, 2000
Authors: Podlovchenko R.I.
On equivalence transformation of algorithms and programs
Abstract:
В статье представлены основные понятия и методы, относящиеся к задаче эквивалентных преобразований алгоритмов и программ. Статья состоит из двух разделов. В первом разделе формулируется задача эквивалентных преобразований алгоритмов. Показано, как исследование этой задачи приводит к концепции схемы программ. В следующем разделе в рамках теории схем программ приведено определение эквивалентного преобразования схемы программ и описаны основные этапы построения систем эквивалентных преобразований. Показано, что для некоторых моделей программ предложенный метод приводит к получению полных систем эквивалентных преобразований.
Keywords:
algorithm, program, program scheme, equivalent transformation, complete system of equivalent transformations
Publication language: russian,  pages: 12 (p. 25-36)
Research direction:
Mathematical problems and theory of numerical methods
Russian source text:
Export link to publication in format:   RIS    BibTex