罗曼·布伦吉尔;斯特凡·格勒;奥坎·桑库尔 简洁表示的有限状态系统的比较。 (英语) Zbl 1364.68277号 Koutny,Maciej(编辑)等,CONCUR 2012–并发理论。第23届国际会议,2012年CONCUR,英国泰恩河畔纽卡斯尔,2012年9月4-7日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-32939-5/pbk)。《计算机科学讲义》7454147-161(2012)。 摘要:我们研究了不同类简洁表示的有限转移系统在互模拟等价性方面的简洁性。我们的结果表明,有限自动机、层次图和时间自动机的同步乘积在这个意义上是两两不可比的。此外,我们还研究了确定这些类上的模拟预序和互模拟等价性的计算复杂性。关于整个系列,请参见[Zbl 1246.68044号]. 引用于2文件 MSC公司: 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 65年第68季度 算法和问题复杂性分析 第68季度第45季度 形式语言和自动机 PDF格式BibTeX公司 XML格式引用 \textit{R.Brenguier}等人,Lect。注释计算。科学。7454、147--161(2012年;Zbl 1364.68277) 全文: 内政部