ACM通信
研究档案
研究档案提供对ACM通信过去几期发表的所有研究文章的访问。
2015年2月
选自ACM通信
用归纳法和同归法破解不确定性
我们将介绍达到同余的二模拟作为证明非确定性有限自动机语言等价性的一种技术。
选自ACM通信
技术视角:有限自动机的等价问题
由于等价问题在许多应用程序中是必不可少的，我们需要尽可能避免最坏情况复杂性的算法。在“用归纳法和同归法攻击非决定论”中，Filippo Bonchi和Damien…
研究档案提供对ACM通信过去几期发表的所有研究文章的访问。
我们将介绍达到同余的二模拟作为证明非确定性有限自动机语言等价性的一种技术。
由于等价问题在许多应用程序中是必不可少的，我们需要尽可能避免最坏情况复杂性的算法。在“用归纳法和同归法攻击非决定论”中，Filippo Bonchi和Damien…