三个非终结符离散上下文文法的描述复杂度：一个改进
摘要：每个递归可枚举语言都可以通过一个最多含有三个非终结符的分散上下文语法生成。然而，在该构造中，在推导步骤中同时改写的非终结符的最大数量取决于许多因素，例如生成的语言的字母表的基数和生成的语言本身的结构。本文通过展示，在不考虑其他因素的情况下，任何推导步骤中同时改写的非终结符的最大数量可以被一个小常数限制。
作者：Tom''av{s} Masopust, Alexander Meduna
论文ID：0907.5132
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2009-07-30