两种带有简单上下文检查机制的无上下文重写系统的比较
摘要：非消除型上下文无关重写系统的生成能力的开放性问题在本文中得到解决，采用一种简单的机制来检查上下文依赖性，这在文献中被称为(1,1)阶半条件语法。在这些语法中，每个上下文无关的产生式附有两个非终结符号，如果其中一个附有的符号出现在当前的句子形式中，而另一个符号没有出现，则该产生式是可应用的。具体来说，本文证明了由(1,1)阶半条件语法生成的语言族与随机上下文语言族相一致。此外，本文还表明，Mayer对于带有消除产生式的随机上下文语法所证明的正则形式也适用于没有消除产生式的随机上下文语法。本文还讨论了文献中使用的直接推导步骤的两种可能定义的关系。
作者：Tomas Masopust
论文ID：1004.3635
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2010-04-22