程序设计语言与编译ppt课件_7.4 预测分析法.pptxVIP

第七章语法分析;预测分析程序的结构;一个M[X,a]形式的二维表格，其中X为VN，a为VT或#，表项内容为一个产生式或空白。产生式：表示栈顶符号为X，当前单词为a时，应采用该产生式进行推导；空白：表示出错。

例如文法G’： E→TE’

E’→+TE’|ε

T→FT’

T’→*FT’|ε

F→(E)|i;预测分析表;初始时，#和文法开始符相继入栈，输入指针指向第一个单词；然后比较栈顶符号X和当前单词a：

1. 如X=a=#，分析结束，输入串合法。

2. 如X=a?#，两个符号匹配，X出栈，输入指针右移。

3. 如X?VN，查分析表的M[X，a]表项，

3.1 如为“X→α”，X出栈，α反向入栈；

3.2 如为“空白”，输入串非法，分析结束。

4. 跳转到1。;输入串i+i*i的分析过程：;输入串i+i*i的分析过程：;文法的FIRST集

文法的FOLLOW集

预测分析表构造算法

LL(1)文法;?;?;;?;?;文法G’：

E→TE’

E’→+TE’|ε

T→FT’

T’→*FT’|ε

F→(E)|i;对文法的每个产生式X→α执行以下操作：

1. 对?a?FIRST(α)，将X→α记入M[X,a]

2. 若ε?FIRST(α)，则对?b?FOLLOW(X)，将X→α记入M[X,b]

3. 其它表项为空白，表示出错;;如果文法G的预测分析表中不含冲突表项，则称文法G为LL(1)文法；否则称文法G为非LL(1)文法。

对于LL(1)文法，在进行自上而下的语法分析时，可根据输入串中的当前单词a选择唯一的产生式进行推导。;文法G(S)：

S?iCtS|iCtSeS|a

C?b

提取公共左因子后：

S?iCtSS’|a

S’?eS|ε

C?b;

不是LL(1)文法，因为存在冲突表项。

解决方法：人为删除冲突表项，使其仅含一个产生式。

例：句子ibtibtaea存在二义性，人为规定最近匹配原则。