三、语法分析器构造原理【待更】

本文详细介绍了语法分析器的构造原理,包括自顶向下分析的无回溯方法、递归下降分析、消除左递归与公共前缀,以及LL1文法和预测分析表的概念。同时,文章探讨了自底向上分析的基本方法,增广文法的作用,LR分析法以及移进-归约和归约-归约冲突的解决策略。
摘要由CSDN通过智能技术生成

一、自顶向下分析(top-down parsing)

1.自顶向下构造分析树一般方法:

采用最左推导方式,总选择句型中最左非终结符进行替换,替换时根据输入流的下一个终结符选择一个候选式。自顶向下构造方法可能引起回溯操作因此需要一定文法规则支持来避免回溯(即消除公共前缀),又要防止无限推导(即消除左递归)。下图是一个无回溯操作的自顶向下分析树构造方法。

 

2.递归下降分析(recursive-descent parsing):

由一组过程(即函数)组成,每个过程对应一个非终结符。

 

3.消除左递归文法(left recursive):

对于文法 E  E+T ,会使自顶向下分析产生无限循环 E  E+T  E+E+T  ...。

(1)消除直接左递归:

A  Aa | b 这种表示   Aaaaa...  baaaa... (即b打头的a串,a个数可以为0),则可改写为

<1> A  bA'            <2> A'  aA' | ε

即把左递归改写为右递归。

若把  T  T*F | F  改写,则我们把*F看作上述a,得到

<1> T  FT'            <2> T'  *FT' | ε

以下为一般形式

A  Aa1 | Aa2 | ... | Aan | b1 | b2 | ... | bm , 消除直接左递归改写为

<1> A 

这个里面的都是测试数据,总共得分5分。从控制台输入,不能从文件中读取。实现了基本功能,加分项目都没有去实现,没有函数数组这些的实现。这是用C++语言写的,新建parser类别要选C++,其他对于VS的配置和C语言一样。for语句用的是枚举所有情况,你可以自行修改。 对预备工作中自然语言描述的简化C编译器的语言特性的语法,设计上下文无关文法进行描述 借助Yacc工具实现语法分析器 考虑语法树的构造: 1.语法树数据结构的设计:节点类型的设定,不同类型节点应保存哪些信息,多叉树的实现方式 2.实现辅助函数,完成节点创建、树创建等功能 3.利用辅助函数,修改上下文无关文法,设计翻译模式 4.修改Yacc程序,实现能构造语法树的分析器 考虑符号表处理的扩充 1.完成语法分析后,符号表项应增加哪些标识符的属性,保存语法分析的结果 2.如何扩充符号表数据结构,Yacc程序如何与Lex程序交互,正确填写符号表项 以一个简单的C源程序验证你的语法分析器,可以文本方式输出语法树结构,以节点编号输出父子关系,来验证分析器的正确性,如下例: main() { int a, b; if (a == 0) a = b + 1; } 可能的输出为: 0 : Type Specifier, integer, Children: 1 : ID Declaration, symbol: a Children: 2 : ID Declaration, symbol: b Children: 3 : Var Declaration, Children: 0 1 2 4 : ID Declaration, symbol: a Children: 5 : Const Declaration, value:0, Children: 6 : Expr, op: ==, Children: 4 5 7 : ID Declaration, symbol: a Children: 8 : ID Declaration, symbol: b Children: 9 : Const Declaration, value:1, Children: 10: Expr, op: +, Children: 8 9 11: Expr, op: =, Children: 7 10 12: if statement, Children: 6 11 13: compound statement, Children: 3 12
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值