数学与软件科学学院 实验报告
学期: 2015 至 2016第 2 学期 2016 年 5月 2 日
2013 5
课程名称: 编译原理 专业: 信息与计算科学 级 班
实验编号: 4 实验名称: LR(0)分析器 指导教师: 王开端
学生姓名: 李丹 学号: 2013060510 实验成绩:
实验四 LR(0)分析器
实验目的:
根据书本知识和查阅相关资料,设计一个LR(0)语法分析器。
实验内容:
设计一个LR(0)语法分析器,并判断语句i+i*i 是否为文法G[E]的句子。文法
G[E]如下:
G[E]:
E E T
E T
T T *F
T F
F (E )
F i
实验步骤:
1LR 分析法
LR LR “
分析法是一种自底向上进行的规范规约的语法分析方法, 指 自左向
右扫描和自底向上进行归约”。LR 分析法的一个主要缺点是,若用手工构造分析
LR
器则工作量相当大,因此必须求助于自动产生 分析器的产生器。
2 LR 分析器
LR DFA GOTO GOTP[s,x]
分析器是一个 ,应具有一个称为 表的状态转换矩阵,
规定了状态栈栈顶s在在输入符号为x 时所应转换的下一状态是什么;其次LR
“ — ” ACTION
分析器还必须完成 移进 归约 操作,因此还应有一个称为 表的操作
动作表,且每一项ACTION[s,a]所规定的动作是以下四种情况之一:
1 s a
() 移进:使栈顶状态 与当前扫描的输入符号 (终结符)的下一状态
s’ ACTION[s,a] a
和输入符号 进栈,而下一个输入符号则变成当前扫描的输入符
号。
2 α α
()归约:如果符号栈栈顶的符号串为 (自栈顶向下则为 的逆序)且文
法中存在A ,则将栈顶的符号串α用非终结符A 替换,即实现将α归约为A。
对状态栈来说,假定α中有 个符号 (即α的长度为 ),则状态栈栈顶的 个状态
序列恰好能识别符号串α,此时用产生式A 进行归约。归约的动作是去掉栈
s s
顶的 个状态项,然后使 ( 为栈顶状态)与所归约的非终结符A 的下一
m m
状态s’ GOTO[s ,A]和A 分别进入状态栈和符号栈。
m
(3)接受:分析工作成功,表明所分析的句子为文法所识别,此时分析器
停止工作。
(4)报错:发现所分析的句子不是文法所允许的句子,调用出错处理程序
进行处理。
LR 分析器由分析栈、