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