状态存储的状态文法
摘要：状态语法是一种上下文无关语法，其中的产生式与状态相关，并且只有在当前的状态与产生式中的状态匹配时，才能将产生式应用于非终结符。一旦状态被添加到语法中，自然地可以添加各种存储器，类似于机器模型。通过这样的扩展，只有在当前的句子形式和产生式之间的状态和从每个存储器读取的值都匹配时，才能应用产生式。在这里，给出了不同推导方式（带或不带附加存储器）的生成能力结果。特别地，通过标准的推导关系，证明了添加有限逆向计数器不会增加生成能力，而仅仅使用状态就足够了。此外，使用最左派生方式操作的具有有限逆向计数器的状态语法被证明与由一次机器和具有有限逆向计数器的下推的语言相一致，并且出人意料地比具有标准推导关系（和无计数器）的状态语法严格弱。还研究了涉及具有有限逆向计数器的状态语法的空性问题的复杂性。
作者：Oscar H. Ibarra and Ian McQuillan
论文ID：2212.03992
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2022-12-09