无限制文法

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

形式定义

无限制文法是形式文法 ，这里的 是非终结符的集合， 是终结符的集合，这里的 和  是无交集的(实际上这个限制不是必需的，因为无限制文法在非终结符和终结符之间不做真实区分，存在这个指定纯粹是为了使得你在尝试生成文法的句子形式的时候知道何时停止)， 是形如 的产生规则的集合，这里的 和  是在 中的符号的字符串而 是非空字符串， 是特别指定的开始符号。如名称所暗含的，在无限制文法可以有什么类型的产生规则上没有真实限制。

计算性质

从无限制文法和图灵机的等价性上，给定一个字符串 是否属于某个无限制文法的语言的决定性问题一般是不可判定的。
给出一个语言的描述完全可能建立一个通用无限制文法有能力接受任何其他无限制文法的语言，如同有可能建立一个通用图灵机，所以在理论上有可能建造一个基于无限制文法的编程语言。