Mazurkiewicz 迹并发环境下的圈积/级联积及相关的分解结果（扩展版）
形式语言与自动机理论
2020-09-01 v2
摘要
我们发展了一个新的代数框架来推理 Mazurkiewicz 迹的语言。该框架支持真并发，并提供了圈积运算到迹环境的一种非平凡推广。我们建立了一个新的局部圈积原理。该新框架被关键性地用于提出可识别迹语言的一个分解结果，它是 Krohn-Rhodes 定理的类似物。我们在无环架构的特殊情形下证明该分解结果，并将其应用于将此环境下的 Kamp 定理加以推广。我们还引入并分析了称为局部与全局级联积的分布式自动机理论运算。最后，我们证明了可用局部化且分布式的双态复位自动机的全局级联积来刻画非周期迹语言。
引用
@article{arxiv.2007.07940,
title = {Wreath/cascade products and related decomposition results for the concurrent setting of Mazurkiewicz traces (extended version)},
author = {Bharat Adsul and Paul Gastin and Saptarshi Sarkar and Pascal Weil},
journal= {arXiv preprint arXiv:2007.07940},
year = {2020}
}