×
托比亚斯·卡佩;保罗·布鲁内特;巴斯鲁提克;亚历山德拉·席尔瓦;法比奥·扎纳西

关于串并行pomset语言：合理性、上下文自由性和自动机。 （英文） Zbl 1417.68134号

J.日志。阿尔盖布。方法计划。 103, 130-153 (2019).
概要：并发克莱纳代数（CKA）是研究并发程序的一种形式主义。与之前的Kleene代数扩展一样，发展指称视角和操作视角之间的对应关系对于基础和应用都很重要。本文通过将CKA的一个片段双Kleene代数（BKA）与一种称为pomset自动机（PA）。
我们表明，PA可以实现串行并行有理表达式的BKA语义，并且一类PA可以翻译回这些表达式。我们还根据上下文无关的pomset语法描述了一般PA的行为；因此，一般PA的普遍性、等价性和系列平行合理性是不可判定的。

引用于1审查
引用于三文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
68号30 软件工程的数学方面（规范、验证、度量、需求等）
2012年第68季度 语法和重写系统
65年第68季度 形式语言和自动机
70年第68季度 语言代数理论与自动机

关键词：

并发;系列-国家表达式;克莱尼代数;pomset自动机;Brzozowski衍生物;克莱恩定理

软件：

NetKAT公司
PDF格式BibTeX公司 XML格式引用
\textit{T.Kappé}等人，J.Log。阿尔盖布。方法程序。103、130-153（2019年；Zbl 1417.68134）
全文： 内政部 arXiv公司

参考文献：

[1] 卡佩，T。；布鲁内特，P。；Luttik，B。；席尔瓦，A。；Zanasi，F.，Brzozowski goes concurrent-pomset语言的Kleene定理，（Proc.Concurrency Theory.Proc.Confurrency理论，CONCUR（2017）），25:1-25:16·Zbl 1442.68145号
[2] 霍尔，T。；Möller，B。；斯特鲁思，G。；Wehrman，I.，并发Kleene代数，（并发理论（CONCUR）（2009）），399-414·Zbl 1254.68172号
[3] Kleene，S.C.，神经网络和有限自动机中事件的表示，（自动机研究（1956）），3-41
[4] Kozen，D.，Kleene代数与测试，ACM Trans。程序。语言系统。，19, 3, 427-443 (1997)
[5] 霍普克罗夫特，J.E。；Karp，R.M.，《测试有限自动机等价性的线性算法》（1971年12月），技术代表TR71-114
[6] Lodaya，K。；Weil，P.，系列平行语言和有界宽度属性Theor。计算。科学。，237, 1, 347-380 (2000) ·Zbl 0939.68042号
[7] 吉普森，P。；Moshier，M.A.，《带测试和分支自动机的并发Kleene代数》，J.Log。代数方法程序。，85, 4, 637-652 (2016) ·Zbl 1344.68083号
[8] Brzozowski，J.A.，正则表达式的导数，J.ACM，11，4，481-494（1964）·Zbl 0225.94044号
[9] Thompson，K.，正则表达式搜索算法，Commun。ACM，11，6，419-422（1968）·Zbl 0164.46205号
[10] 劳伦斯，M.R。；Struth，G.，双Kleene代数和串并联有理ponset语言的完备性定理，（《计算机科学中的关系和代数方法》，《计算机科学的关系和代数学方法》，RAMiCS（2014）），65-82·Zbl 1405.68198号
[11] 乔姆斯基，N.，《语言描述的三种模型》，IRE Trans。Inf.理论，2，3，113-124（1956）·Zbl 0156.25401号
[12] Gischer，J.L.，《pomsets方程理论》，Theor。计算。科学。，61, 199-224 (1988) ·Zbl 0669.68015号
[13] Grabowski，J.，《关于部分语言》，Fundam。通知。，4, 2, 427 (1981) ·Zbl 0468.68088号
[14] 埃西克，Z。；Németh，Z.L.，高维自动机，J.Autom。语言梳。，9, 1, 3-29 (2004) ·Zbl 1102.68059号
[15] Conway，J.H.，《正则代数与有限机器》（1971），查普曼与霍尔有限公司：查普曼和霍尔有限公司，伦敦·Zbl 0231.94041号
[16] 麦克诺顿，R。；Yamada，H.，自动机的正则表达式和状态图，IRE Trans。电子。计算。，9，1，39-47（1960年）·兹伯利0156.25501
[17] 巴·希勒，Y。；Perles，M。；Shamir，E.，《简单短语结构语法的形式属性》，Sprachtypeol。普遍主义出版社。，14, 143-172 (1961) ·Zbl 0106.34501号
[18] Greibach，S.，关于形式语言不可判定属性的注释，数学。系统。理论，2,1,1-6（1968）·Zbl 0157.01902号
[19] 布鲁内特，P。；Pous，D。；Struth，G.，关于并发Kleene代数的可判定性，（Proc.并发理论（CONCUR）（2017）），28:1-28:15·Zbl 1442.68128号
[20] 布鲁内特，P。；Pous，D.，Petri自动机，Log。方法计算。科学。，13, 3 (2017) ·Zbl 1427.68185号
[21] 布鲁内特，P。；Pous，D.，Kleene寓言的Petri自动机，（《计算机科学中的逻辑程序》，《计算机科学的逻辑程序，LiCS（2015）》），68-79·Zbl 1392.68285号
[22] Prisacariu，C.，同步Kleene代数，J.Log。代数程序。，79, 7, 608-635 (2010) ·Zbl 1204.68123号
[23] 布罗达，S。；卡瓦达斯，S。；费雷拉，M。；Moreira，N.，决定带导数的同步Kleene代数，（《自动机的实现与应用程序》，《自动机实现与应用》，CIAA（2015），49-62·Zbl 1465.68192号
[24] Kozen，D.，Kleene代数和正则事件代数的完备性定理，Inf.Comput。，110, 2, 366-390 (1994) ·Zbl 0806.68082号
[25] 劳伦斯，M.R。；Struth，G.，pomset语言和并发Kleene代数的完备性定理·Zbl 1405.68198号
[26] 卡佩，T。；布鲁内特，P。；席尔瓦，A。；Zanasi，F.，并发Kleene代数：自由模型和完备性，（欧洲编程研讨会，欧洲编程研讨会，ESOP（2018）），856-882·兹比尔1422.68035
[27] 罗特，J。；Bonsangue，M.M。；Rutten，J.J.M.M.，Coalgebraic bisimulation-up-to，（《计算机科学理论与实践的当前趋势》，《计算机科学的理论与实践趋势》，SOFSEM（2013）），369-381·Zbl 1303.68088号
[28] Jipsen，P.，Concurrent Kleene algebration with tests，（《计算机科学中的关系和代数方法》，《计算机科学的关系和数学方法》，RAMiCS 2014（2014）），37-48·Zbl 1345.68139号
[29] 安德森，C.J。；福斯特，N。；古哈，A。；Jeannin，J。；Kozen，D。；施莱辛格，C。；Walker，D.，《NetKAT：网络的语义基础》，（Proc.Principles of Programming Languages.Proc.Princess of Program Languages，POPL（2014）），113-126·Zbl 1284.68100号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。