[语法制导翻译.ppt

谢 谢 语法制导翻译 静态语义分析 这一步才真正开始考虑程序设计语言的实际意义 静态语义分析的作用：检查出源程序中的静态语义错误 并且将语义正确的语句翻译成中间代码 该过程中通常使用的方法是语法制导翻译 * 由苏州翻译公司推荐 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. * 第四章 语法制导翻译生成中间代码 语法制导翻译是处理语义的基本方法，它以语法分析为基础，在语法分析得到语言结构的结果时，对附着于此结构的语义进行处理，如计算表达式的值、生成中间代码等。 主要内容包括： 语法制导翻译的基本概念 中间代码简介 符号表简介 典型声明语句与可执行语句的翻译 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. * 4.1 语法制导翻译简介 语法与语义 语法与语义的关系 语法是指语言的结构、即语言的“样子”；语义是指附着于语言结构上的实际含意 ，即语言的“意义”。 语义不能离开语法独立存在； 语义远比语法复杂； 同一语言结构可包含多种含意，不同语言结构可表示相同含意； 语法与语义之间没有明确的界线。 [例1] 猫吃老鼠与老鼠吃猫，晒被子与晒太阳(语法正确不一定语义正确) Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. * 4.1 语法制导翻译简介 语义分析的两个作用 检查是否结构正确的句子所表示的意思也合法； 执行规定的语义动作，如： 表达式求值 符号表填写 中间代码生成等 语义分析的方法 语法制导翻译 基本思想：将语言结构的语义以属性的形式赋予代表此结构 的文法符号，而属性的计算以语义规则的形式赋予由文法符 号组成的产生式，在语法分析推导或者规约的每一步骤中， 通过语义规则实现对属性的计算。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. * 4.1 语法制导翻译简介 属性与语义规则 语法制导翻译的基本思想 为每个产生式配上语义规则并且在适当的时候执行这些规则 具体方法： 将文法符号所代表的语言结构的意思，用附着于该文法符号的属性表示； 用语义规则规定产生式所代表的语言结构之间的关系（即属性之间的关系），即用语义规则实现属性计算。 语义规则的执行：在语法分析的适当时刻（如推导或归约）执行附着在对应产生式上的语义规则，以实现对语言结构语义的处理，如计算、查填符号表、生成中间代码、发布出错信息等。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. Evaluation only. Created with