根據對產生式施加的限制不同，喬姆斯基（chomsky）定義了四類文法和語言。
0型文法:短語結構文法或無限制文法，可使用任何的語法描述形式;
1型文法:也叫上下文有關文法，其描述能力相當於線性有界自動機，語法形式如下:
xsy -> xay。也就是說，s推導出a是和上下文x, y相關的，即s只有在上下文x, y的環境中才能推導出a;
2型文法:也叫上下文無關文法，其描述能力相當於下推自動機，語法形式如下:
s -> a。s可以無條件的推導出a，和上下文無關，上下文無關文法因此得名;
3型文法:也叫正則文法，等價於正規表示式，其描述能力相當於有窮自動機，語法形式如下:s -> aa。其中最後乙個a必須為非終結符。
喬姆斯基的文法分類
終結符，通俗的說就是不能單獨出現在推導式左邊的符號，也就是說終結符不能再進行推導。不是終結符的都是非終結符。非終結符可理解為乙個可拆分元素，而終結符是不可拆分的最小元素。如 有 則 必然是個非終結符。一般書上把非終結符用大寫字母表示，而終結符用小寫字母表示。識別符號就是開始符。由文法產生語言句子的基...
喬姆斯基正規化
在電腦科學中，乙個形式文法是chomsky 正規化的，當且僅當所有產生規則都有如下形式 a bc 或 a 或 s 這裡的 a,b 和 c 是非終結符，是終結符 表示常量值的符號 s 是開始符號，而 是空串。還有，b 和 c 都不可以是開始符號。所有的 chomsky 正規化的文法都是上下文無關，反過...
喬姆斯基生成語法 喬姆斯基的轉換生成語法理論
無論是分析哲學還是歐洲大陸哲學，都重視研究語言，這是當代西方哲學的乙個重要特徵，語言不能脫離世界，語言只有表現世界才有它正真的存在。當代美國語言大師喬姆斯基首創了轉換生成語法理論，正是這種轉換生成語法在語言中挑起了一場革命。它標誌著西方語言學的研究，尤其是美國的語言學界研究進入了乙個嶄新的時代，即喬...