在形式语言理论中，无限制文法是对文法的产生式左右两侧都没有限制的形式文法。这是乔姆斯基层级中最一般性的文法类，它们可以识别任意的递归可枚举语言。
形式定义.无限制文法是形式文法formula_1，这里的 formula_2 是非终结符的集合，formula_3 是终结符的集合，这里的 formula_2 和 formula_3 是无交集的(实际上这个限制不是必需的，因为无限制文法在非终结符和终结符之间不做真实区分，存在这个指定纯粹是为了使得你在尝试生成文法的句子形式的时候知道何时