О двух методах распознавания эквивалентности в алгебраических моделях программ.


О двух методах распознавания эквивалентности в алгебраических моделях программ.

Авторы

Подловченко Р.И., Захаров В.А.

Аннотация

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

Полный текст статьи в формате pdf

Ключевые слова

схема программ, эквивалентные преобразования, проблема эквивалентности, разрешающий алгоритм`

Издание

Интеллектуальные системы, 2013, том 17, № 1-4, с. 366-370.

Научная группа

Теоретическая информатика

Все публикации за 2013 год Все публикации