编译原理 第四章

语法分析分为：自顶向下分析法 和 自底向上分析法。自顶向下分析法分为：非确定的自顶向下的语法分析 和 确定的自顶向下的语法分析。

非确定的自顶向下语法分析将产生两个问题：左递归性 和 回溯。

左递归性：对规则 A->Aα|β，使用自顶向下语法分析，始终替换当前举行中的最左非终结符，即A->Aα->Aα->...造成无穷循环。

消除左递归性：引入一个新的非终结符，把含左递归的规则改写为右递归。

若A->Aα|β，则改写为A->βA'，A'->αA'|ε； //原来的规则除非遇到β才会停下，也就是βαααα...，改写后生成的依然是βαααα...

回溯：自顶向下分析中试探匹配失败则需要回溯重新试探，降低了语法分析器效率，因此需要消除回溯。

引起回溯的两种情况：

(1)相同左部的规则，其右部左端第一个符号相同而引起回溯。

     //A->de|d;匹配上d后，若后面不为e则引起回溯

(2)相同左部的规则，其中某一右部能退出ε串。

     //G:A->Bx;B->x|ε;分析符号串W=x，x与A->Bx->xx匹配，成功后，结束符与x匹配不上，产生回溯，B->ε后匹配成功。

LL(1)文法：避免回溯要求描述语言的文法为LL(1)文法，L自上而下的分析是从左到右扫描输入串，L使用最左推导，1每一步向前看一个符号决定所用的规则。

LL(1)文法判断条件的三个相关集：FIRST集、FOLLOW集和SELECT集：