• 中间代码表示 – 抽象语法树 – 三地址代码：x=y op z • 静态类型检查 – 类型检查（type checking） – 语法分析之后的抽象语法(syntax)检查，比如 break的位置，goto的目标…. • 中间代码生成

第一节 语法和语法单位 第二节 组合规则（词法、句法） 第三节 聚合规则 第四节 变换 第五节 语言的结构类型和普遍特征

电子科技大学《Delphi程序设计》_delphi语法基础

修饰(一):词组中的修饰语 修饰”( Modification)是扩展基本句型使之成为 生动的、能表达丰富思想的重要语法手段。 我们知道,基本句型多半是一些不带修饰语的 骨架,而实际使用中的句子则像活人一样总都 是有血有肉的,带有各式各样的修饰语,比如 说, Rain fell这样一个句式,从结构上看,是个 完整的SV句型,但它并没有表达多少意思

句子(Sentence)是最高一层的语法结构,也是人们进 行交际、表达思想的最小语言单位。 句子在具体的语境中能够表达相对完整的意思,即能够 说明一个情况,提出一个问题,下达一个指示或表达一种 感情

后置( Postponement 后置是一种表示强调的语法手段,也就是把一个非句尾成分移 至句尾。 旧信息( Old Information)和新信息( New Information),句尾焦

错误种类 词法错误:在词法分析阶段就可以发现的错误。 语法错误:程序的书写不符合语法规则。 语义错误:静态语义错误:编译程序可以发现

经过词法分析、语法分析后，源程序在静态结构上的正确性得到了保证，编译程序接着需作静态语义检查以及翻译，真正实现不同程序语言的代码间的等价变换

7.2节要点: 1.属性文法(语法制导的定义)(Syntax-Directed- Definition)。 形式:每个产生式A→a对应与之相关联的一个语义规则(semantic rules) 集合,每条规则形如b:=f(C1,2,k),其中f是一个函数,bc1C2k是该 产生式中文法符号的属性(attributes),b有两个可能:(1)是A的综合属性 (synthesized attribute),(2)是a中文法符号的继承属性(inherited attribute) 函数f通常以表达式的形式出现

属性文法 语法制导翻译 逆波兰表示法 三元式和树 四元式 简单算术表达式和赋值句到四元式的翻译 布尔表达式到四元式的翻译 控制语句的翻译 数组元素的引用 说明语句的翻译 自上而下分析制导翻译概说