编译原理—语义分析、语法制导翻译、翻译模式、数组元素的翻译、中间代码生成

语法制导翻译

  1. L属性文法包含S属性文法

    • S属性：sythesis综合属性
    • L属性：left to right继承属性
    • LL属性一定是LR属性的 ，LL文法一定是LR文法的，可以用LL自顶向下的方法分析L属性文法，L属性文法中有一些是可以自下而上分析的，因此LR不一定能够解决L属性文法，LL可以解决的问题LR不一定能够解决
      在这里插入图片描述

  2. 语法分析中进行静态语义检查和中间代码生成的技术称为语法制导翻译技术;

语法制导定义(属性文法)

  • 引入语法制导定义的目的:
    • 为了将语义属性关联到文法符号:
    • 为了将语义规则关联到产生式:
    • 有效地将语法和语义关联起来。
  1. 为相应的语法成分设置表示语义的属性，属性的值是可以计算的。
  2. 根据属性值计算的关联关系，将其分成综合属性和继承属性;
  3. 根据属性文法中所含的属性将属性文法分成:
    • S-属性文法和L-属性文法;

翻译模式

  • 不仅将语义属性关联到文法符号、将语义规则关联到产生式，而且还通过将语义动作嵌入到产生式的适当位置来表达该语义动作的执行时机。
  • 翻译模式给语义分析的实现提供了更好的支持。
  • 在这里插入图片描述

后缀式

在这里插入图片描述

图示表示法

在这里插入图片描述

构建表达式的语法树

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

中间代码的种类

在这里插入图片描述

三地址码

在这里插入图片描述

四地址码

在这里插入图片描述

对比

在这里插入图片描述

举例

在这里插入图片描述

中间代码产生的场景

在这里插入图片描述

说明语句的翻译

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

举例

在这里插入图片描述
在这里插入图片描述

嵌套说明语句的翻译方案

在这里插入图片描述
在这里插入图片描述

相关定义

在这里插入图片描述

举例

在这里插入图片描述
在这里插入图片描述

在这里插入图片描述

过程嵌套声明

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

在这里插入图片描述
在这里插入图片描述

记录的说明

在这里插入图片描述

记录说明的翻译

在这里插入图片描述

记录域的偏移

在这里插入图片描述
在这里插入图片描述

举例

在这里插入图片描述
在这里插入图片描述

赋值语句的翻译

在这里插入图片描述

含简单变量的赋值语句的翻译

在这里插入图片描述

举例

在这里插入图片描述

在这里插入图片描述

数组元素的翻译

数组类型的声明

在这里插入图片描述

数组元素的地址计算

在这里插入图片描述
在这里插入图片描述

举例

在这里插入图片描述

输入串的分析树

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

翻译方案

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

举例

在这里插入图片描述
在这里插入图片描述

Logo
魔乐社区

魔乐社区（Modelers.cn) 是一个中立、公益的人工智能社区，提供人工智能工具、模型、数据的托管、展示与应用协同服务，为人工智能开发及爱好者搭建开放的学习交流平台。社区通过理事会方式运作，由全产业链共同建设、共同运营、共同享有，推动国产AI生态繁荣发展。

更多推荐

cover

【计算机视觉】Pixel逐像素分类&Mask掩码分类理解摘要

avatar 魔乐社区

计算机视觉（opencv）实战三十二——CascadeClassifier 人脸微笑检测（摄像头）

本文从原理到实现，详细介绍了基于 OpenCV Haar 分类器的人脸与微笑检测：讲解了 Haar 特征和级联检测原理。对代码逐行拆解并解释参数含义。画出完整流程图，帮助理解执行过程。给出了常见问题和优化建议，甚至扩展到深度学习方法。这种方法简单、轻量、实时性好，非常适合入门和小型应用项目。但如果需要更高准确率和更强鲁棒性，建议使用深度学习检测器替代 Haar 分类器。

avatar 魔乐社区
cover

小杰机器学习（seven）——贝叶斯分类

avatar 魔乐社区