编译原理--文法和语言

一、逐渐对产生式施加限制     
          四种类型：0型，1型，2型，3型
0型：（短语结构文法）

    G=(VT,VN,S,P)，对任一产生式α→β，都α∈(VN∪VT)+，       β∈(VN∪VT)* 

1型（上下文有关） ：    
对任一产生式α→β，都有|β|≥|α|， 仅仅 S→ε除外

（即产生一个更长的序列）

2型（上下文无关）：
     对任一产生式α→β，都有α∈VN ， β∈(VN∪VT)* 

（满足左边的式子一定是非终结符）

3型（右线性）：
    任一产生式α→β的形式都为A→aB或A→a，其中A∈ VN ，B∈VN ，a∈ VT

（满足左边的式子一定是非终结符，右边的式子一定是终结符开头）

二、二义性

如果一个文法的句子存在两棵分析树，则该句子是二义性的。

三、左递归

1、左递归的定义：

对于某些α，存在推导 A =+> A α 这样妨碍自顶向下方法的使用。

2、消除直接左递归的方法

（1）直接删除左递归的产生式（老师上课没讲，我也不清楚是怎么回事orz）

（2）引入新的非终结符A'

将   A → Aα｜β   替换为
       A→βA'  和  A'→αA'｜ε

消除直接左递归例子：

3、间接左递归的删除