編譯原理

【文法】 分類 設G=（VN，VT，P，S），如果它的每個產生式α→β是這樣一種結構：α∈(VN∪VT)且至少含有一個非終結符，而β∈(VN∪VT)，則G是一個0型文法。 0型文法也稱短語文法。一個非常重要的理論結果是： 0型文法的能力相當於圖靈機(Turing)。或者說，任何0型文語言都是遞歸可枚舉的，反之，遞歸可枚舉集必定是一個0型語言。0型文法是這幾類文法中，限制最少的一個，所以我們在試題中

>>阅读原文<<