無限制文法

在形式語言理論中 ， 無限制文法是對文法的產生式左右兩側都沒有限制的形式文法 。 這是喬姆斯基層級中最一般性的文法類 ， 它們可以識別任意的遞歸可枚舉語言 。