Головная страница ИПМ Библиотеки, издания  •  Поиск публикаций  English 
Публикация

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