Hardprob/Minimum Consistent Finite Automaton — различия между версиями

Материал из DISCOPAL
Перейти к: навигация, поиск
(Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Два конечных множества <em>P, N</em> двоичных строк. * На…»)
 
(нет различий)

Текущая версия на 23:59, 13 апреля 2023

  • Два конечных множества P, N двоичных строк.
  • Найти детерминированный конечный автомат , который принимает все строки из P и отвергает все строки из N.
  • Минимизировать число состояний в автомате.

Задача в лаб22 (рид-онли просмотр)