弱$ω$-正则迹语言
摘要：关于分布式系统的并发行为，马祖尔克维奇轨迹能够描述这些行为。闭合轨迹词语语言是轨迹语言的“线性化”，它们构成了一种较弱的并发概念，但仍然为我们提供了研究并发的工具。在这方面，我们的贡献有两个方面。首先，我们提出了定义，允许将ω-正则轨迹语言分类为相应的闭合轨迹ω-正则词语语言，捕捉了可E识别（可达性）和（确定性）布基识别语言。其次，我们展示了第一个自动机理论结果，证明了ω-正则闭合轨迹词语语言和确定性I-钻石布基识别闭合轨迹语言的布尔组合是等价的。
作者：Namit Chaturvedi and Marcus Gelderie
论文ID：1402.3199
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2014-02-14