Hardprob/Minimum Consistent Finite Automaton
Материал из DISCOPAL
- Два конечных множества P, N двоичных строк.
- Найти детерминированный конечный автомат , который принимает все строки из P и отвергает все строки из N.
- Минимизировать число состояний в автомате.
Задача в лаб22 (рид-онли просмотр)
- Задача в базе NP-полных задач Вигго Кана
- Код задачи в книге «ГД» → «AL8»
[ Хронологический вид ]Комментарии
Войдите, чтобы комментировать.