Институт системного программирования им. В.П. Иванникова РАН


Общие методы построения разрешающих алгоритмов для эквивалентности пропозициональных операторных программ.

Авторы

Захаров В.А.

Аннотация

Предложен новый метод построения эффективных алгоритмов, разрешающих эквивалентность операторных программ, семантика которых определяется в терминах пропозициональной динамической логики. Этот метод обобщает многие известные ранее подходы к построению разрешающих процедур распознавания эквивалентности операторных программ.

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

операторная программа, динамическая логика, семантика, разрешающий алгоритм

Издание

Труды IV Международной конференции 'Дискретные модели в теории управляющих систем', 2000, МАКС-Пресс, с. 25-28.

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

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

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