马丁·苏尔兹曼;彼得·蒂曼 可分叉正则表达式。 （英语） Zbl 1443.68097号 Dediu，Adrian-Horia（编辑）等人，《语言和自动机理论与应用》。2016年3月14日至18日在捷克共和国布拉格举行的2016年拉丁美洲旅游协会第十届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9618, 194-206 (2016). 摘要：我们考虑使用fork操作符丰富正则表达式的可分叉正则表达式，以便为并发程序的通信行为的静态和动态分析奠定形式基础。我们为可分叉表达式定义了一种新的组合语义，建立了它们的基本属性，并定义了它们的派生，作为生成自动机、进行匹配和进行语言包含测试的基础。{}一般来说，分叉表达式可能会产生非正则语言，但我们在表达式上确定了足够的条件，以保证通过导数构造的自动机的有限性。关于整个系列，请参见[Zbl 1331.68010号]. 引用于2文件 MSC公司： 65年第68季度 形式语言和自动机 第68季度85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：自动机;可分叉表达式;衍生产品 PDF格式BibTeX公司 XML格式引用 \textit{M.Sulzmann}和\textit{P.Thiemann}.莱克特。注释计算。科学。9618，194--206（2016；Zbl 1443.68097） 全文： 内政部 arXiv公司