无限制文法 在形式语言理论中无限制文法是对文法的产生式左右两侧都没有限制的形式文法这是乔姆斯基层级中最一般性的文法类它们可以识别任意的递归可枚举语言