• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Глава

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

С. 100-102.

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

В книге

Под редакцией: В. Б. Алексеев, О. М. Касим-Заде, В. Б. Кудрявцев Каз.: Отечество, 2014.