二型文法，又稱上下文無關文法，擁有足夠強的表述力來表示絕大多數程式設計語言。
基本介紹
- 中文名：二型文法
- 釋義：表示絕大多數程式設計語言
- 例如：C Pascal Java
- 區別：在1型文法的基礎上再加一條限制
例如：C Pascal Java 。。上下文無關語言，用下推自動機識別
2型文法在1型文法的基礎上，再加一條限制。簡單的說就是規則左邊只能都是非終結符，上下文無關文法的一個典型特徵是可以遞歸嵌套。由2型文法的產生的語言稱2型語言，識別2型語言機器對應於下推自動機。
G=(Vn, Vt, P, S)
2型文法： G的任何產生式形如A->β，其中A∈Vn,
