总结:
1. 语法分析是编译过程的核心部分。
它的任务是在词法分析识别出单词符号串的基础上,分析并判定程序的语法结构是否符合语法规则。
它的任务是在词法分析识别出单词符号串的基础上,分析并判定程序的语法结构是否符合语法规则。
2. 从文法的起始符出发进行句子的推导,即自上而下的分析
从句子本身出发,进行归约,看能否把句子规约为到起始符,即自下而上的规约。
从句子本身出发,进行归约,看能否把句子规约为到起始符,即自下而上的规约。
3.自上而下分析面临问题
1. 文法的左递归问题
2.回溯的不确定性,要求我们将已经完成工作推倒从来,
3.虚假匹配的问题
4.不能准确地确定输入串中出错的位置
5.效率低
2.回溯的不确定性,要求我们将已经完成工作推倒从来,
3.虚假匹配的问题
4.不能准确地确定输入串中出错的位置
5.效率低
4.消除文法左递归
按任意顺序对非终结符排序,P1,P2,P3……,然后作如下工作
FOR i=1 TO N{
FOR j=1 TO i-1{
对PiPjγ的产生式,改写成
Piδ1 γ| δ2 γ|…| δk γ
}
消除Pi的直接左递归;
}
最后,删除无用的非终结符的产生式
FOR i=1 TO N{
FOR j=1 TO i-1{
对PiPjγ的产生式,改写成
Piδ1 γ| δ2 γ|…| δk γ
}
消除Pi的直接左递归;
}
最后,删除无用的非终结符的产生式
5.消除间接左递归考虑文法:
SQc|c
QRb|b
RSa|a
改造过程如下:
S->Rbc|bc|c
S Sabc|abc|ab|b
消除直接左递归:
S->abcS’|abS’|bS’
S->abcS’|ε
继续处理另外两个产生式
Q->Sab|ab|b
R->Sa|a
SQc|c
QRb|b
RSa|a
改造过程如下:
S->Rbc|bc|c
S Sabc|abc|ab|b
消除直接左递归:
S->abcS’|abS’|bS’
S->abcS’|ε
继续处理另外两个产生式
Q->Sab|ab|b
R->Sa|a
6.消除回溯
1.消除回溯的要求
对文法的任何非终结符,当要它去匹配输入串时,能够根据该非终结符所面临的输入符号准确地指派它的一个候选式去匹配,并且此候选式匹配后得到的工作结果应该是确信无疑的,即:
(1)若该候选式匹配成功,那么该匹配不是虚假匹配
(2)若该候选式无法完成最终的匹配任务,则其他任何候选式肯定也无法完成。
对文法的任何非终结符,当要它去匹配输入串时,能够根据该非终结符所面临的输入符号准确地指派它的一个候选式去匹配,并且此候选式匹配后得到的工作结果应该是确信无疑的,即:
(1)若该候选式匹配成功,那么该匹配不是虚假匹配
(2)若该候选式无法完成最终的匹配任务,则其他任何候选式肯定也无法完成。
2.消除回溯的条件
定义FIRST集
令文法G是不含左递归的文法,对G的非终结符的候选α,定义它的开始符号(终结首符)集合:
特别地,如果α ε,则ε∈FIRST(α)
定义FIRST集
令文法G是不含左递归的文法,对G的非终结符的候选α,定义它的开始符号(终结首符)集合:
特别地,如果α ε,则ε∈FIRST(α)
如果非终结符A的任意两个候选式αi和αj的开始符号集满足FIRST(αi)∩FIRST(αj)=Φ,则A可以根据所面临的第一个输入符号,准确地指派一个候选式α去执行任务,α是那个FIRST集含a的候选式,即 a ∈FIRST(α)。
习题: