- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
编 译 原 理 实 验 报 告
题目:对下面的文法对象,使用c 语言构造它的预测分析程序;并任意给一算术
表达式进行分析测试.
分析对象对象定义如下:
算术表达式 项 | 算术表达式 + 项 | 算术表达式 - 项
项 因式 | 项 * 因式 |项 因式
因式 变量 | (算术表达式)
变量 字母
字母 A|B|C|D|E|F|G|H|I|J|K|L|M|N|O|P|Q|R|S|T|U|V|W|X|Y|Z
一、分析
语法分析部分我们我们采用ll(1)方法实现,采用ll(1)方法实现语法
发分析要求文法满足以下要求:
一个文法能否用确定的自顶向下分析与文法中相同左部的每个产生式右部的开
始符号集合有关,当有右部能=*=ε 时则与其左部非终结符的后跟符号集合也有关,
此外在产生式中不存在左递归即经过压缩,无左递归,无回溯。它的基本思想是从左
到右扫描源程序,同时从识别符号开始生成句子的最左推导,并只向前查看一个输入
符号,便能唯一确定应选择的规则。
下面将确切地定义满足确定的自顶向下分析条件的文法即LL(1)文法及LL(1)文
法的判别并介绍如何对非LL(1)文法进行等价变换问题,也就是消除一个文法中的左
递归和左公共因子。
注意:
一个文法中含有左递归和左公共因子绝对不是LL(1)文法,所以也就不可能用确
定的自顶向下分析法,对此结论可以证明。然而,某些含有左递归和左公共因子的文
法在通过等价变换把它们消除以后可能变为LL(1)文法,但需要用LL(1)文法的定义判
别,也就是说文法中不含左递归和左公共因子,只是LL(1)文法的必要条件。
LL(1) 文法的定义(5 种定义):
一个文法符号串的开始符号集合定义如下:
定义 1. 设 G=(VT ,VN ,S ,P) 是上下文无关文法, α 是任意的文法符号
串 ,FIRST(α )是从α 推导出的串的开始符号的终结符集合。。。。
FIRST(α )={a|α =*=aβ ,a ∈VT ,α ,β ∈V*}若α =*=ε ,则规定ε ∈FIRST(α ) .
当一个文法中相同左部非终结符的右部存在能=*=ε 的情况则必须知道该非终
结符的后跟符号的集合中是否含有其它右部开始符号集合的元素。为此,我们定义一
个文法非终结符的后跟符号的集合如下:
定义2. 设 G=(VT,VN ,S,P)是上下文无关 文法,A ∈VN ,S 是开始符号
FOLLOW(A)= {a|S=*=μAβ ,且a ∈VT ,a ∈FIRST(β ),μ ∈VT* ,β ∈V+ }
若 S=*= μ A β , 且 β ε , 则# ∈FOLLOW(A) 。也 可 定 义 为 :
FOLLOW(A)={a|S=*= …Aa…,a ∈VT}
若有S=*= …A ,则规定# ∈FOLLOW(A)
这里我们用#作为输入串的结束符,或称为句子括号,如:#输入串# 。
定义3. 给定上下文无关文法的产生式 A→α , A ∈VN,α ∈V*, 若α ==ε ,
则SELECT(A→α )=FIRST(α )
如果 α =*= ε ,则 SELECT(A → α )=FIRST( α ε ) ∪FOLLOW(A) 。
FIRST(α ε )表示 FIRST(α )的非{ε }元素。
更进一步可以看 出能够使用自顶向下分析技术必须使文法满足如下条件,我们称
满足条件的文法为LL(1)文法,其定义为:
定义4. 一个上下文无关文法是LL(1)文法的充分必要条件是:
对每个非终结符A 的两个不同产生式,A→α , A→β ,满足SELECT(A→α ) ∩
SELECT(A→β )=空,其中α ,β 不同时能ε .
定义5. LL (1)文法也可定义为:
一个文法G 是LL (1)的,当且仅当对于G 的每一个非终结符A 的任何两
个不同产生式 A→α |β ,下面的条件成立:
① FIRST (α )∩FIRST(β )= 空,也就是α 和β 推导不出以某个相同的终
结符a 为首的符号串;它们
原创力文档


文档评论(0)