高维度自动机的语言
摘要：高维度自动机（HDAs）的语言与其属性的引入。为此，我们定义了一种新的前立方集类别，与标准类别唯一自然同构，并引入了事件一致性的概念。 HDAs是有限的、带标签的、事件一致的前立方集，具有初始和接受单元的指定子集。它们的语言是下包闭子和区间顺序的集合；作为一个重要的技术步骤，我们揭示了在区间顺序和一类HDAs之间的双射。我们证明任何有限的下包闭区间顺序集都是HDA的语言，HDAs的语言在二进制并集和并行组合下封闭，并且语言等价性意味着双模等价性。
作者：Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemia''nski
论文ID：2103.07557
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2021-09-06