ACM

ACM通信

研究突出了

用归纳法和归纳法破解不确定性

菲利波·邦奇、达米恩·普斯著
ACM通讯，2015年2月，第58卷第2期，第87-95页
10.1145 / 2713167
评论

我们将介绍达到同余的双模拟作为一种证明非确定性有限自动机的语言等价性的方法。利用这一技术，我们对Hopcroft和Karp的经典算法进行了优化。¹³我们将我们的方法与最近引入的反链算法进行了比较，并给出了我们在反链算法上进行指数级改进的具体示例。实验结果表明，改进效果显著。

有限自动机的语言等价性检验是计算机科学中的一个经典问题，在编译器和模型检验等领域都有广泛的应用。

没有找到条目

请选择以下其中一个选项以访问优质内容和功能。

如果您已经是ACM会员，通信订阅用户，或数码图书馆订阅用户，请设立网上帐户，以便阅览本网站的优质内容。

成为ACM会员可以充分利用ACM卓越的计算信息资源、网络机会和其他优势。

获得完全访问超过50年的CACM内容，并每月收到印刷版杂志。

非会员可以购买这篇文章或它出现的杂志的副本。