一.语法分析的目的
通过前面的词法分析把源代码拆分成一个一个的token,然后通过上下文无关文法生成语法树。
二.生成语法树有两种方法:自顶向下和自底向上
三.克服自顶向下的左递归问题:
1.通过下面的公式解决各种A-》Aa|b之类的文法
2.左递归有两种:直接左递归和间接左递归
2.1直接左递归(也就是通过上面1的通过公式直接解决)
例题:
2.2间接左递归
1.如何消除:通过代入法,然后再使用上面的一般公式
上面的例题二:通过把A带入B中解决
四.解决回溯问题:
1.为什么会产生回溯:
因为一个分法可能有多个结果,一般结果不是我们需要的,就需要回溯到另一条方向去。
2.消除回溯:
通过分配法把共同的部分提出来,不同的部分用一个非终结符表示。
3.例题:
五.利用递归下降的方式
1.使用递归下降分析:
2.什么是递归下降,如何实现:
3.开始分析
3.1.分析文法,若有左递归和回溯,先清除左递归和回溯。
3.2.如果一个文法可以推出两个结果的,他们的第一个字符不能相同,因为如果相同,后面写该方法里面的判断是不知道到底进入哪个判断条件。
3.3.先写出一个判断终结符的方法,如果是该token,则looahead跳到下一个token,否则输出error。
3.4.从文法开始符号开始:1.E->TEˉ
2.T->FTˉ
如果是直接没有终结符 全是终结符直接调用它的方法即可
*3.5.Eˉ->+TEv1h|э
T ˉ->FT ˉ | э
这种含有空串的我们只需要判断非空串的第一个字符就可以了,然后判断该字符是否符合,然后调用方法,最后不用打印异常,什么都不用处理默认就是空串
3.6.与3.5相似,不过右边不是空串了,就是多一个分支条件,如果没有空串最后记得返回error。
4.分析i1+i2*i3
从上边的开始符号开始,逐个用上方的方法来解决。
六.LL(1)文法
1.LL(1)文法的特点:
2.如何满足tt(1)文法
- 不含左递归
- 右边的推导式非终结符没有相同的
- 前提:A有空串,若A的非终结符与后面的非终结符不相同就可以
3.First
比如求A-》ab|ε|c,那么First(A)就是推导出来的第一个终结符,即First(A)={a,ε,c}
特别注意例题二:
4.First表示的是推出的第一个非终结符,记住是第一个,特别注意空串
比如Y1Y2Y3Y4Y5如果Y1为空串,则看Y2,如果Y2还是为空串,则看Y3,直到不是空串为止
例题:
七.FOLLOW集
2.如何构造FOLLW集合
根据上面的规则构造FOLLOW
4.d两者的区别