贝尔纳多·阿尔梅达;安德烈亚·莫迪多;Vasco T.瓦康塞洛斯。 决定无上下文会话类型的相似性。 （英语） Zbl 1483.68219号 Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12079, 39-56 (2020). 小结：我们提出了一种算法来确定无上下文会话类型的等价性，实用到将其并入编译器的程度。我们证明了它的可靠性和完整性。我们在实践中进一步评估了其行为。在此过程中，我们引入了一种判定简单文法的双相似性的算法。关于整个系列，请参见[Zbl 1471.68010号]. 引用于7文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 68N20型 编译与解释理论 2012年第68季度 语法和重写系统 关键词：会话类型;类型等效;互模拟;算法 PDF格式BibTeX公司 XML格式引用 \textit{B.Almeida}等人，Lect。注释计算。科学。12079，39-56（2020；Zbl 1483.68219） 全文： 内政部 OA许可证 参考文献： [1] Thiemann，P.，Vasconcelos，V.T.：无上下文会话类型。摘自：第21届ACM SIGPLAN函数编程国际会议记录。第462-475页（2016年）。https://doi.org/10.1145/2951913.2951926 ·Zbl 1361.68052号 [2] Tarski，A.等人：格理论不动点定理及其应用。太平洋数学杂志5（2），285-309（1955）·Zbl 0064.26004号 [3] Takeuchi，K.，Honda，K.Kubo，M.：一种基于交互的语言及其打字系统。包含：PARLE。LNCS，第817卷，第398-413页。斯普林格（1994） [4] Stirling，C.：DPDA等效性的决定。理论计算机科学255（1-2），1-31（2001）·Zbl 0974.68056号 [5] 塞尼泽格斯：确定性下推自动机的等价问题是可判定的。在：关于自动机、语言和程序设计的国际学术讨论会。第671-681页。施普林格（1997）·Zbl 1401.68168号 [6] Sangiorgi，D.：互模拟和共约简介。剑桥大学出版社（2014）·Zbl 1252.68008号 [7] Padovani，L.：无上下文会话类型推理。收录：编程语言和系统——第26届欧洲编程研讨会。第804-830页（2017）。https://doi.org/10.1007/978-3-662-54434-1_30 ·Zbl 1485.68072号 [8] Kiefer，S.：Bpa的双重相似性很难解释。信息处理快报113（4），101-106（2013）·Zbl 1259.68145号 [9] Jančar，P.，Moller，F.：双相似性的可判定性和不可判定性技术。在：并发理论国际会议。第30-45页。斯普林格（1999）·Zbl 0940.68087号 [10] Jancar，P.：基本过程代数的双相似性在2-exptime中（一个明确的证明）。arXiv预印arXiv:1207.2479（2012）·Zbl 1260.68269号 [11] Jančar，P.：用于判定相似性和不相似性的精选思想。参加：语言理论发展国际会议。第56-71页。施普林格（2008）·Zbl 1161.68621号 [12] Honda，K.：二元交互的类型。1993年CONCUR，第四届并行理论国际会议。LNCS，第715卷，第509-523页。斯普林格（1993）·Zbl 0939.68642号 [13] Hirshfeld，Y.，Moller，F.：判定赋范无上下文过程的双相似性的快速算法。收录于：CONCUR’94，并发理论。第48-63页（1994年）。https://doi.org/10.1007/978-3-540-48654-1_5 [14] Hirshfeld，Y.，Jerrum，M.，Moller，F.：确定赋范无上下文过程的双相似性的多项式算法。西奥。计算。科学。158(1&2), 143-159 (1996). https://doi.org/10.1016/0304-3975（95）00064-X·Zbl 0871.68086号 [15] Hirshfeld，Y.：互模拟树和弱互模拟的可判定性。选举人。注释Theor。计算。科学。5, 2-13 (1996) [16] Henry，P.，Sénizergues，G.：Lalblc是一个测试dpda等效性的程序。参加：自动化实施和应用国际会议。第169-180页。施普林格（2013）·Zbl 1298.68139号 [17] Gay，S.J.，Hole，M.：圆周率演算中会话类型的子类型。《学报》第42卷（2-3期），191-225页（2005年）。https://doi.org/10.1007/s00236-005-0177-z ·Zbl 1079.68065号 [18] Czerwinski，W.，Lasota，S.：规范无上下文过程的快速等价性检查。In:IARCS软件技术和理论计算机科学基础年会（FSTTCS 2010）。Dagstuhl-Leibniz-Zentrum fuer Informatik学校（2010年）·Zbl 1245.68134号 [19] Claessen，K.，Hughes，J.：Quickcheck：一种用于随机测试haskell程序的轻量级工具。摘自：第五届ACM SIGPLAN函数编程国际会议记录。第268-279页。ACM（2000），https://doi.org/10.1145/351240.351266 [20] Christensen，S.，Hüttel，H.，Stirling，C.：对于所有无上下文过程，互模拟等价性是可判定的。Inf.计算。121(2), 143-148 (1995) ·Zbl 0833.68074号 [21] Caucal，D.：语言的多样性是无限简单的。摘自：计算机科学理论方面年度研讨会。第37-48页。施普林格（1986）·Zbl 0595.68072号 [22] Burkart，O.，Caucal，D.，Steffen，B.：任意无上下文过程的基本互模拟决策过程。收录于：计算机科学数学基础。第423-433页（1995年）。https://doi.org/10.1007/3-540-60246-1_148 ·Zbl 1193.68172号 [23] Baeten，J.C.，Bergstra，J.A.，Klop，J.W.：生成无上下文语言的过程的互模拟等价性的判定。美国医学会杂志（JACM）40（3），653-682（1993）·Zbl 0801.68102号 [24] Almeida，B.，Mordido，A.，T.Vasconcelos，V.：自由：函数式语言中的上下文无关会话类型。In:Proceedings Programming Language Approachs to Concurrency and Communication-cEntric Software（并发与通信软件程序设计语言方法）。《理论计算机科学电子期刊》，第291卷，第12-23页。开放出版协会（2019年）。https://doi.org/10.4204/EPTCS.291.2 [25] Aceto，L.、Hennessy，M.：终止、僵局和分歧。J.ACM 39（1），147-187（1992）·Zbl 0799.68131号 [26] Honda，K.，Vasconcelos，V.T.，Kubo，M.：结构化通信编程的语言原语和类型规程。在：编程语言和系统。第122-138页（1998年）。https://doi.org/10.1007/BFb0053567 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。