無限制文法

【無限制文法】。又稱為0型文法。這種文法對生成式a→β不作特殊限制，a和β可以是任意的文法符號串，當然a不能是空字元串。0型文法是形式語言譜系中最大的文法類。由0型文法產生的形式語言恰是圖靈機所識別的語言類，即遞歸可枚舉語言。