朱里安·罗特；马塞洛·邦桑格；简·拉特 语言对等的共创性证明技术。 （英语） Zbl 1333.68173号 Dediu，Adrian-Horia（编辑）等人，《语言和自动机理论与应用》。2013年4月2-5日在西班牙毕尔巴鄂举行的2013年拉丁美洲旅游协会第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-37063-2/pbk）。计算机科学课堂讲稿7810，480-492（2013）。 摘要：通过在合适的确定性自动机上建立互模拟，可以共同检查语言等价性。我们使用互模拟up-to改进和扩展了该技术，这是互模拟证明方法的一个增强。首先，我们重点研究并、级联和Kleene星的正则运算，并用经典结果（如Arden规则）的新证明来说明我们的方法。然后我们扩展了我们的增强证明方法，将语言补语和交集结合起来。最后，我们定义了行为微分方程的一般格式，在这种格式中，可以定义对语言的操作，而互模拟是一种隔音技术。有关整个系列，请参见[Zbl 1258.68008号]. 引用于1审查引用于4文件 MSC公司： 65年第68季度 形式语言和自动机 软件：中国保监会 PDF格式BibTeX公司 XML格式引用 \textit{J.Rot}等人，Lect。票据计算。科学。7810480-492（2013年；Zbl 1333.68173） 全文： 内政部 链接