名词解释编译:编译程序的翻译过程。词法分析,语法分析,语义分析,中间代码生成,代码优化,:由文法G生成的语言记为L(G),它是文法G的一切句子的集合:L(G)={x|S=>*x,其中S为文法的开始符号,且x∈VT*}二义文法:若一个文法存在某个句子对应两棵不同的语法树,则称这个文法是二义的。或者,若一个文法存在某个句子有两个不同的最左(右)推导,则称这个文法是二义的。二义语言:如果产生上下文无关语言的每一个文法都是二义的,则说此语言是先天二义的。属性文法:属性文法(attributegrammar)是一个三元组:A=(G,V,F),其中G:是一个上下文无关文法,V:有穷的属性集,F:关于属性的属性断言或一组属性的计算规则(称为语义规则)。活动记录:一个过程的一次执行所需要的信息,使用一个连续的存储区来管理这个区(块),叫做一个活动记录AR。词法:规定什么是正确的单词,boy不能写成byo等等。语法(文法):是指一组规则,用它可以形成和产生一个合适的程序。(定义什么样的符号序列是合法的)语义:自然语言中词语的意义,逻辑形式系统中符号的解释。(定义什么样的符号序列是有含义的)句子:有文法G[s],若S=>*x,且x∈VT*,则称x是文法G的句子。句型:有文法G[s],若S=>*x,则称x是文法G的句型。语法树:设G=(VN,VT,P,S)为一cfg,若一棵树满足下列4个条件,则此树称作G的语法树。最左/最右推导:在推导的任何一步αβ,其中α、β是句型,都是对α中的最左(右)非终结符进行替换。自上而下分析:从文法的开始符号出发,反复使用文法的产生式,寻找与输入符号串匹配的推导,或者说,为输入串寻找一个最左推导。自下而上分析:从输入符号串开始,逐步进行归约,直至归约到文法的开始符号。短语:存在文法G[s],S=>*αAδ且A=>+β,则称β是句型αβδ相对于非终结符A的短语。句柄:一个句型的最左直接短语称为该句型的句柄项目:在右端某一位置有圆点的G的产生式语法制导翻译:在语法分析的同时,执行语义规则描述的动作:回填:一旦真假出口确定下来之后,:为了记录需回填地址的四元式,把需要回填的真出口的四元式拉成链,把需要回填家出口的四元式拉成一链,:
编译原理--名词解释 来自淘豆网m.daumloan.com转载请标明出处.
