- 1、本文档共121页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
编译原理复习课;第一章 引 论;源语言程序;高级语言程序;一. 什么是编译程序;二. 编译过程;1. 词法分析;2. 语法分析;3. 中间代码产生;4. 优化;5. 目标代码产生;三. 编译程序结构;四元式;2. 表格和表格管理;3. 出错处理;4. 遍(pass);5. 编译前端与后端;第二章 高级语言及其语法描述 ;一. 语法;语 法;语义;2.3 程序语言的语法描述 ;∑*的子集U和V的连接(积)定义为
UV={ ?? | ??U ??V }
设:
U={ a, aa }
V= { b, bb }
那么:
UV= { ab, abb, aab, aabb} ;V自身的 n次积记为
Vn=VV…V
规定V0={?},令
V*=V0∪V1∪V2∪V3∪…
称V*是V的闭包;
记 V+=VV* ,称V+是V的正规闭包。
闭包V*中每个符号串都是由V中的符号串经有限次连接而成的。
;2.3.1 上下文无关文法;上下文无关文法的定义:
一个上下文无关文法G是一个四元式
G=(VT,VN,S,P),其中
VT:终结符集合(非空)
VN:非终结符集合(非空),且VT ? VN=?
S:文法的开始符号,S?VN
P:产生式集合(有限),每个产生式形式为
P??, P?VN, ? ? (VT ? VN)*
开始符S至少必须在某个产生式的左部出现一次。;定义:称?A?直接推出???,即
?A?????
仅当A ? ?是一个产生式,
且?, ?? (VT ? VN)* 。
如果?1 ? ?2 ? ? ??n,则我们称这个序列是从?1到?n的一个推导。若存在一个从?1到?n的推导,则称?1可以推导出?n 。
对文法G(E): E ? i | E+E | E*E | (E)
E ? (E) ? (E+E)? (i+E)? (i+i);通常,用 表示:从?1出发,经过一步或若干步,可以推出?n。;从一个句型到另一个句型的推导往往不唯一。
E+E?i+E?i+i E+E?E+i?i+i
最左推导:任何一步? ? ?都是对?中的最左非终结符进行替换。
最右推导:任何一步? ? ?都是对?中的最右非终结符进行替换。
规范推导、规范规约;定义:如果一个文法存在某个句子对应两颗不同的语法树,则说这个文法是二义的。
G(E): E ? i|E+E|E*E|(E) 是二义文法。
语言的二义性:一个语言是二义性的,如果对它不存在无二义性的文法。
可能存在G和G’,一个为二义的,一个为无二义的。但L(G)=L(G’)
二义性问题是不可判定问题,即不存在一个算法,它能在有限步骤内,确切地判定一个文法是否是二义的。
可以找到一组无二义文法的充分条件。;2.3.3 形式语言鸟瞰;0型(短语文法,图灵机):
产生式形如: ? ? ?
其中:?? (VT ? VN)*且至少含有一个非终结符;?? (VT ? VN)*
1型(上下文有关文法,线性界限自动机):
产生式形如: ? ? ?
其中:|?| ? |?|,仅 S?? 例外。;2型(上下文无关文法,非确定下推自动机):
产生式形如: A ? ?
其中:A? VN;?? (VT ? VN)*。
3型(正规文法,有限自动机):
产生式形如: A ? ?B 或 A ? ?
其中: ?? VT*;A,B?VN
产生式形如: A ? B? 或 A ? ?
其中: ?? VT*;A,B?VN;第三章 词法分析;3.1 对于词法分析器的要求;输出的单词符号的表示形式:
(单词种别,单词自身的值)
单词种别通常用整数编码表示。
若一个种别只有一个单词符号,则种别编码就代表该单词符号。假定基本字、运算符和界符都是一符一种。
若一个种别有多个单词符号,则对于每个单词符号,给出种别编码和自身的值(单词符号的属性信息)。
标识符单列一种;标识符自身的值表示成按机器字节划分的内部码。
常数按类型分种;常数的值则表示成标准的二进制形式。;三、状态转换图;识别标识符的状态转换图;单词的描述工具;3.3.1 正规式和正规集;正规式和正规集的递归定义:
对给定的字母表?
1)? 和?都是?上的正规式,它们所表示的正规集为{?}和?;
2) 任何a?? ,a是?上的正规式,它所表示的正规集为{a} ;;3) 假定e1和e2都是?上的正规式,它们所表示的正规集为L(e1)和L(e2),则
i) (e1|e2)为正规式,它所表示的正规集为L(e1)?L(e2),
ii) (e1.e2)为正规式,它所表示的正规集为L(e1)L(e2),
iii) (e1)*为正规式,它所表示的正规集为(L(
您可能关注的文档
最近下载
- 《家用医疗器械租赁服务规范》.pdf VIP
- 重庆市渝北区2024年七年级上学期数学期末试卷附答案.pptx VIP
- 力学实验(解析版)-2025版高三物理寒假讲义.pdf VIP
- 肘关节运动学.pptx VIP
- 2025年生活会个人对照检视发言材料【四个带头+违纪行为典型案例解析】与个人检查材料2篇文.docx VIP
- 家用医疗器械租赁服务规范.docx VIP
- 锂离子电池和电池组生产安全要求SJT 11798-2022.docx VIP
- 专业技术职务任职资格评审表 - 专业技术职务任职资格评审表.doc
- 2024-2025学年深圳市南山区四上数学期末试卷及答案.pdf
- 2022-2023学年辽宁省沈阳126中七年级下学期期中数学试卷(含答案解析).docx
文档评论(0)