DFA等效查询的费用

受这个问题的启发，我对以下几点感到好奇：

检查给定的DFA是否接受与给定的正则表达式相同的语言，最糟糕的情况是什么？

这是已知的吗？希望这个问题在P中-两者的大小都有一个算法多项式。

根据Garey和Johnson（p。174）的说法，常规表达非通用性是PSPACE-complete。这是决定是否在正则表达式的问题并没有产生的所有字符串。因此，您的问题也是PSPACE完整的。$\{0,1\}$

$A$$r$$B$$r$$C$$B$$C$$C$$D$$A$$C$$L(A) = L(r)$$D$$2^{\mathrm{poly}(n)}$$L(D) = \emptyset$$\mathrm{NSPACE}(\mathrm{poly}(n)) = \mathrm{NPSPACE} = \mathrm{PSPACE}$，由于萨维奇定理，后者相等。