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

Статья в сборнике "Математические вопросы кибернетики" №10, Москва, 2001
Авторы: Захаров В.А.
О проблеме эквивалентности операторных программ на уравновешенных однородных обратимых шкалах
Аннотация:
В статье исследована проблема эквивалентности для последовательных императивных программ. Семантика этих программ определена посредством интерпретаций (моделей) пропозициональной динамической логики (PDL). Семантика операторов программ задается шкалами PDL. Шкала называется уравновешенной, если для любой пары конечных операторных цепочек результаты их выполнения будут различными, если эти цепочки имеют разную длину. Шкала называется однородной, если она эквивалентна всякой своей подшкале, порожденной произвольным состоянием данных. Шкала называется обратимой, если каждый программный оператор выполняет обратимое преобразование данных. В статье представлен метод решения проблемы эквивалентности для последовательных программ, проводящих вычисления на уравновешенных однородных обратимых шкалах.
Ключевые слова:
программа, семантика, пропозициональная динамическая логика, шкала, проблема эквивалентности, полугруппа, разрешающий алгоритм
Язык публикации: русский, страниц: 12 (с. 155-166)
Направление исследований:
Математические вопросы и теория численных методов
Полный текст: Сведения об авторах:
  • Захаров Владимир Анатольевич,  ,  Московский государственный университет им. М.В. Ломоносова, факультет вычислительной математики и кибернетики