二型文法

例如：C Pascal Java 。。上下文無關語言，用下推自動機識別

2型文法在1型文法的基礎上，再加一條限制。簡單的說就是規則左邊只能都是非終結符，上下文無關文法的一個典型特徵是可以遞歸嵌套。由2型文法的產生的語言稱2型語言，識別2型語言機器對應於下推自動機。

G=(Vn, Vt, P, S)

2型文法： G的任何產生式形如A->β，其中A∈Vn,