加权Ω-限制的一计数器自动机
摘要：完全星Omega半环$S$和字母表$Sigma$。对于具有状态集合$\{1, \ldots, n\}$（$n \geq 1$）的加权ω-限制的一计数器自动机$\mathcal{C}$，我们证明存在一个混合代数系统，它在一个完全半环-半模对${((S \ll \Sigma^* \gg)^{n \times n}, (S \ll \Sigma^{\omega} \gg)^n)}$上，并且$\mathcal{C}$的行为$|\mathcal{C}|$是这个系统的解的一个分量。如果基本半环是$\mathbb{B}$或$\mathbb{N}^{\infty}$，我们证明存在一个混合上下文无关文法生成$|\mathcal{C}|$。从$\mathcal{C}$构建混合上下文无关文法是在受限制的一计数器自动机中众所周知的三元组构造的一般化，并称之为$omega$-限制的一计数器自动机的三元组对构造.
作者：Manfred Droste, Werner Kuich
论文ID：1701.08703
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-06-22