![](https://csdnimg.cn/release/download_crawler_static/45996843/bg1.jpg)
1
名词解释
编译
:编译程序的翻译过程。 词法分析 , 语法分析 , 语义分析 , 中间代码生成 , 代码优化 , 目标代码生成 .
语言
:由文法 G 生成的语言记为 L(G), 它是文法 G的一切句子的集合 :L(G)={x|S =>* x,其中 S 为文
法的开始符号,且 x ∈VT*}
二义文法
:若一个文法存在某个句子对应两棵不同的语法树,则称这个文法是二义的。或者,若一
个文法存在某个句子有两个不同的最左(右)推导,则称这个文法是二义的。
二义语言
:如果产生上下文无关语言的每一个文法都是二义的,则说此语言是先天二义的。
属性文法
:属性文法 (attribute grammar) 是一个三元组: 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 的产生式
语法制导翻译
:在语法分析的同时,执行语义规则描述的动作:
评论0
最新资源