$omega$-代数系统的Greibach正规形式和加权简单$omega$-推动自动机
摘要：关于加权自动机理论，许多关于形式语言的经典结果已经推广到定量的情况。在这里，我们研究了无限字的加权上下文无关语言，这是对ω-上下文无关语言（Cohen，Gold 1977）的一种概括，也是有限字的加权上下文无关语言（Chomsky，Sch"utzenberger 1963）的拓展。就像形式语法理论中的情况一样，这些加权上下文无关语言或ω-代数级数可以表示为混合ω-代数系统方程的解和加权ω-下推自动机。 在我们的第一个主要结果中，我们证明（混合）ω-代数系统可以转化为格雷巴赫范式。我们在第二个主要结果中使用格雷巴赫范式证明了简单的ω-复位下推自动机可以识别所有ω-代数级数。简单的ω-复位自动机不使用ε-转换，并且只能通过至多一个符号来改变栈。这些结果将上下文无关语言的基本属性推广到加权上下文无关语言。
作者：Manfred Droste, Sven Dziadek, Werner Kuich
论文ID：2007.08866
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2022-06-24