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

Авторы

Захаров В.А.

Аннотация

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

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

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

Издание

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

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

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

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

Все публикации