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