关于级联并行Pomset语言：合理性、上下文无关性和自动机
摘要：并发Kleene代数（CKA）是研究并发程序的形式化方法。与之前的Kleene代数扩展一样，确立表现语义和操作语义之间的对应关系对于基础理论和应用都很重要。本文通过精确地将双向Kleene代数（BKA）与一种新型的自动机，pomset自动机（PAs），关联起来，迈向了这种对应关系。我们展示了PAs可以实现BKA对级数-并行有理表达式的语义，而且一类PAs可以被转换回这些表达式。我们也以上下文无关的pomset语法来描述了一般PAs的行为；因此，一般PAs的普遍性、等价性和级数-并行有理性是不可判定的。
作者：Tobias Kapp''e and Paul Brunet and Bas Luttik and Alexandra Silva and Fabio Zanasi
论文ID：1812.03058
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-02-03