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


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

Авторы

Захаров В.А.

Аннотация

В заметке аннонсируется основной результат исследований проблемы эквивалентности автоматов-преобразователей, рассматриваемых как реагирующие программы над полугруппами операторов.

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

автомат-преобразователь, полугруппа, эквивалентность, сложность

Издание

Материалы XVII международной конференции «Проблемы теоретической кибернетики», 2014, Отечество Казань, с. 100-102.

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

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

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