NFA最小化而不确定

jkf*_*kff 12 regex language-agnostic algorithm computer-science finite-automata

众所周知,如何从常规语言的NFA到最小的DFA.但是,DFA可能具有指数级更大的州.

我需要的是一种减少NFA的方法,再次给出一个NFA但具有较少数量的状态.Ti我不需要结果是确定性的,但我希望它保持尽可能小,同时保留公认的语言(可能不是绝对最佳,但越小越好).

这个问题的最佳算法是什么?或者也许不是"最好的",但至少"最容易实现非极端效率"?或者问题是否有一个众所周知的名称,以便我自己能找到好的信息来源?

Gia*_*ian 9

我认为这个问题也被称为NFA最小化.我相信这一般是NP难的.

一种富有成效的方法可能是Bisimulation Minimization [Paige,Tarjan 1987]以及随后的衍生物.

本演示文稿对问题的易处理性以及某些方法的参考文献及其相对优点进行了详细说明.