网站大量收购闲置独家精品文档,联系QQ:2885784924

编译原理复习陆筱霞.ppt

  1. 1、本文档共121页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 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(

文档评论(0)

bokegood + 关注
实名认证
内容提供者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档