编译原理--名词解释

合集下载
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

名词解释
1、编译:编译程序的翻译过程。

词法分析,语法分析,语义分析,中间代码生成,代码优化,目标代码生成. 语言:由文法G生成的语言记为L(G),它是文法G的一切句子的集合:L(G)={x|S =>* x,其中S为文法的开始符号,且x ∈VT*}
2、义文法:若一个文法存在某个句子对应两棵不同的语法树,则称这个文法是二义的。

或者,若一个文法存在某个句子有两个不同的最左(右)推导,则称这个文法是二义的。

3、二义语言:如果产生上下文无关语言的每一个文法都是二义的,则说此语言是先天二义的。

4、属性文法:属性文法(attribute grammar)是一个三元组:A=(G,V,F),其中G:是一个上下文无关文法,V:有穷的属性集,F:关于属性的属性断言或一组属性的计算规则(称为语义规则) 。

5、活动记录:一个过程的一次执行所需要的信息,使用一个连续的存储区来管理这个区(块),叫做一个活动记录AR。

6、词法:规定什么是正确的单词,boy 不能写成byo等等。

7 、语法(文法):是指一组规则,用它可以形成和产生一个合适的程序。

(定义什么样的符号序列是合法的)
8 、语义:自然语言中词语的意义,逻辑形式系统中符号的解释。

(定义什么样的符号序列是有含义的)
9 、句子:有文法G[s],若S =>* x,且x∈VT*,则称x是文法G的句子。

10 、句型:有文法G[s],若S =>* x,则称x是文法G的句型。

11 、语法树:设G=( VN,VT,P,S)为一cfg,若一棵树满足下列4个条件,则此树称作G的语法树。

12 、最左/最右推导:在推导的任何一步α β,其中α、β是句型,都是对α中的最左(右)非终结符进行替换。

13 、自上而下分析:从文法的开始符号出发,反复使用文法的产生式,寻找与输入符号串匹配的推导,或者说,为输入串寻找一个最左推导。

14 、自下而上分析:从输入符号串开始,逐步进行归约,直至归约到文法的开始符号。

15 、短语:存在文法G[s],S =>* αAδ且 A =>+ β,则称β是句型αβδ相对于非终结符A的短语。

16 、句柄:一个句型的最左直接短语称为该句型的句柄
17 、项目:在右端某一位置有圆点的G的产生式
18 、语法制导翻译:在语法分析的同时,执行语义规则描述的动作
19 、回填:一旦真假出口确定下来之后,用顺着真链和假链把真假出口补上.
20 、拉链:为了记录需回填地址的四元式,把需要回填的真出口的四元式拉成链,把需要回填家出口的四元式拉成一链,分别称作真链假链。

21 、目标程序运行时存储区划分图:。

相关文档
最新文档