菲利波·邦奇;乔治亚娜·卡尔泰斯;Damien Pous;亚历山德拉·席尔瓦 用于必须测试的Brzozowski和up-to算法。 （英语） Zbl 1426.68180号 Shan，Chung-chieh（编辑），《编程语言和系统》。第十一届亚洲研讨会，2013年APLAS，澳大利亚维多利亚州墨尔本，2013年12月9-11日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8301, 1-16 (2013). 摘要：检查有限自动机的语言等价性（或包含性）是计算机科学中的一个经典问题，最近人们对它重新产生了兴趣，并找到了新的更有效的解决方案，例如基于反链或互模拟的方法。等价性（或预序）的几个概念已被提议用于并发系统的分析。通常，检查这些等价性的问题被简化为检查互相似性。在本文中，我们采用了不同的方法，并提出采用语言等价算法来检查并发理论中的一个素数等价，必须测试语义。为了实现技术从语言到必须语义的转变，我们对这个问题采取了联合观点。关于整个系列，请参见[兹比尔1298.68034]. 引用于2文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 65年第68季度 形式语言和自动机 PDF格式BibTeX公司 XML格式引用 \textit{F.Bonchi}等人，Lect。注释计算。科学。8301，1--16（2013；Zbl 1426.68180） 全文： 内政部 链接