测试正则语言的等价性
摘要：改进一种近似线性算法，用于确定两个确定性有限自动机的等价性，该算法避免了最小化。同时，将该算法扩展到非确定性有限自动机，并建立了该算法与Almeida等人提出的算法之间的关系。最后，给出了一些实验比较结果。
作者：Marco Almeida (LIACC-U.Porto), Nelma Moreira (LIACC-U.Porto), Rog''erio Reis (LIACC-U.Porto)
论文ID：0907.5058
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2009-07-30