编译原理课件第讲文法和语法.pptVIP

五、 文 法 的 等 价 若L(G1) = L(G2)，则称文法G1和G2是等价的。 如文法G1[A]：A→0R 与G2[S]：S→0S1 等价 A→01 S→01 R→A1 注：语言和文法的对应关系是一对多（1：n）的关系。 第三十一页，共六十三页，2022年，8月28日 第五节 文 法 的 类 型 通过对产生式施加不同的限制，Chomsky将文法分为四种类型（称为Chomsky 文法） 第三十二页，共六十三页，2022年，8月28日 一、文 法 的 类 型 0型文法：对任一产生式α→β，都有α∈(VN∪VT)+，且至少包含一非终结符，β∈(VN∪VT)* 1型文法：对任一产生式α→β，都有|β|≥|α|， 仅仅 S→ε 除外 2型文法：对任一产生式α→β，都有α∈VN ， β∈(VN∪VT)* 3型文法：任一产生式α→β的形式都为 (1) A→aB 或 A→a，其中A∈VN ，B∈VN ，a∈VT* (右线性文法) 或 (2) A→Ba 或 A→a，其中A∈VN ，B∈VN ，a∈VT* (左