Или, по крайней мере, сгенерируйте набор строк, которые принимает один NFA, чтобы я мог передать их в другой NFA. Если я сделаю поиск по каждому пути NFA, это будет работать? Хотя это займет много времени.
10
Или, по крайней мере, сгенерируйте набор строк, которые принимает один NFA, чтобы я мог передать их в другой NFA. Если я сделаю поиск по каждому пути NFA, это будет работать? Хотя это займет много времени.
Ответы:
Решение проблемы является PSPACE-полным, как отметил Шаул.
Тем не менее, оказывается, что на практике часто можно достаточно быстро определить эквивалентность NFA. Майр и Клементе (на основе экспериментальных данных) утверждают, что сложность среднего случая масштабируется квадратично . Их методы основаны на обрезке базовой маркированной переходной системы с помощью локальных аппроксимаций следовых включений.
Точно так же, как SAT является NP-полной в анализе наихудшего случая, но часто оказывается удивительно пригодным для реальных случаев, поэтому представляется вероятным, что эквивалентность NFA может быть эффективно решена для многих реальных случаев.
источник