编译原理第二章_编译原理 a:real;b:↑integer-程序员宅基地

技术标签：编译原理

编译原理第二章

引言

什么是数据类型

数据类型实质上是对存储器中所存储的数据进行的抽象。它包含了一组值的集合和一组操作。

数据类型的作用

实现了数据的抽象，从机器的具体特征中解脱出来，提高了编程效率

数据类型的分类

内部类型
用户定义类型

内部类型

内部类型的特点

内部类型的优越性

基本类型不可见某些动态特性不一定能查出，如i/j中j=0
编译能检查变量使用的正确性
编译时可确定无二意性
精度控制

精度说明有利于空间优化
精度说明可作为检查的一种手段
精度说明有利于程序的修改

用户自定义类型

笛卡尔积

有限映像

序列

递归

判断或

幂集

C语言的数据类型

非结构类型

分为内部类型和用户自定义类型
非结构内部类型有整型、实型和字符型

聚合构造

数组

实现有限映像
说明的格式
<类型说明符> <数组名> [常量表达式]

可以定义多维数组
说明的格式
<类型说明符> <数组名> [常量表达式]…[常量表达式]

C语言的数组按行存放
对数组名的处理相当于指针

结构

联合

文件

指针

空类型

抽象数据类型

用户定义类型与内部定义类型的抽象

抽象数据类型的定义

类型检查

静态检查：在编译时的检查

动态检查：在运行时的检查

无类型语言：没有类型的语言

弱类型语言：语言的类型检查不能全部在编译时完成，有些在运行时完成

强类型语言：语言的类型检查全部在编译时完成

类型转换

将一个类型的值转换成另一个类型的值，称为类型转换；
类型转换分为拓展（widening）和收缩（narrowing）；

扩展：转换之后的类型值的集合包含转换之前的类型值的集合；

例如：
整型->实型

收缩：转换之前的类型值的集合包含转换之后的类型值的集合；例如：
实型->整型

在某些语言中，类型转换的要求和规则是隐式的，它由编译器自动生成类型转换的代码；
一般来说，语言对基本类型提供适当的类型转换，而对复合类型或用户自定义类型不提供转换；

隐式转换发生在下述的情况下：
混合运算：级别低的类型向级别高的类型值转换。
**将表达式的值赋给变量：**表达式的值向变量类型的值转换。
**实参向函数形参传值：**实参的值向形参的值进行转换。
**函数返回值：**返回值向函数返回类型的值进行转换。

类型等价

若T1和T2是两个类型，T1的任何值都可以赋予T2类型的变量，反之亦然，T1类型的实参可以对应类型T2的形参，反之亦然，则称T1和T2是相容的，或等价的；

两种相容性实现时的比较
①名字等价的实现比较简单
②结构等价的实现需要的模式匹配过程可能十分复杂

实现模型

在实现模型中，数据用描述符和数据对象来表示；描述符用来描述数据对象的所有属性

内部类型和用户定义的非结构类型的实现模型

描述符一般由“类型”和一个指针组成

子界的描述符必须包括子界的界值
布尔型和字符型可以压缩存储

结构类型的实现模型

笛卡尔积

各成分顺序排列（数据）
描述符包含:类型名、构造符、若干三元式。每个域对应一个三元式(选择符名,域类型,指针)
每个成分占整数个可编址的存储单元(字编址或字节编址）

type t=record a:real；
              b:integer；
       end；

有限映像

为每一成分分配整数个可编址的存储单元
描述符包括:类型名、构造符、定义域的基类型、下界、上界、成分类型、单元个数、首地址
内情向量；

地址公式的计算
若定义域类型是子界m…n，每个元素占k个存储单元，那么，按照 k $\times$ (i-m)计算a[i]从首地址b到所分配的存储之间的位移。
a[i]的地址可以写成
b+k $\times$ (i-m）= b-k $\times$ m+k $\times$ i = b’+ k $\times$ i
其中， b’= b-k$ \times$m 是编译时能计算出的

type a=array[1..10] of real;

序列

PASCAL中的串长度静态可定；静态分配；
其他语言中（如SNOBOL 4和ALGOL 68中），可变长串的表示:
静态描述符+动态描述符+堆

判定或

对判定或类型的变量所分配的空间应足以容纳需要最大空间的变体的值
Pascal的变体记录的表示包括:描述符、数据对象、case表、若干变体描述符

type v=record a:integer;
              case b:boolean of
              true:(c:integer);
              false:(d:integer;
                     e:real)
        end;

幂集

对幂集可以通过访问的存储空间（例如机器字）来有效地实现。
若在某个集合S中出现基类型的第i个元素，那么与 S 相关联的字的第i个位置为“1”。

两个集合位操作
联合通过它们相关联的字的“或”操作来实现
交集通过“与”操作来实现。

指针

指针变量的表示类似于内部类型，只是其值为一地址
它指向的匿名数据对象分配在堆上

层次数据结构对象的表示

描述符中的类型可以指向另外的描述符

type t1=array[0..3] of integer;
     t=record a:real;
              b:t1;
              c:integer;
        end;

type t4=array[0..5] of integer;
     t2=array[0..2] of  t4;

本文链接：https://blog.csdn.net/qq_43309286/article/details/104430895

原作者删帖不实内容删帖广告或垃圾文章投诉

智能推荐

稀疏编码的数学基础与理论分析-程序员宅基地

文章浏览阅读290次，点赞8次，收藏10次。1.背景介绍稀疏编码是一种用于处理稀疏数据的编码技术，其主要应用于信息传输、存储和处理等领域。稀疏数据是指数据中大部分元素为零或近似于零的数据，例如文本、图像、音频、视频等。稀疏编码的核心思想是将稀疏数据表示为非零元素和它们对应的位置信息，从而减少存储空间和计算复杂度。稀疏编码的研究起源于1990年代，随着大数据时代的到来，稀疏编码技术的应用范围和影响力不断扩大。目前，稀疏编码已经成为计算...

EasyGBS国标流媒体服务器GB28181国标方案安装使用文档-程序员宅基地

文章浏览阅读217次。EasyGBS - GB28181 国标方案安装使用文档下载安装包下载，正式使用需商业授权, 功能一致在线演示在线API架构图EasySIPCMSSIP 中心信令服务, 单节点, 自带一个 Redis Server, 随 EasySIPCMS 自启动, 不需要手动运行EasySIPSMSSIP 流媒体服务, 根..._easygbs-windows-2.6.0-23042316使用文档

【Web】记录巅峰极客2023 BabyURL题目复现——Jackson原生链_原生jackson 反序列化链子-程序员宅基地

文章浏览阅读1.2k次，点赞27次，收藏7次。2023巅峰极客 BabyURL之前AliyunCTF Bypassit I这题考查了这样一条链子：其实就是Jackson的原生反序列化利用今天复现的这题也是大同小异，一起来整一下。_原生jackson 反序列化链子

一文搞懂SpringCloud，详解干货，做好笔记_spring cloud-程序员宅基地

文章浏览阅读734次，点赞9次，收藏7次。微服务架构简单的说就是将单体应用进一步拆分，拆分成更小的服务，每个服务都是一个可以独立运行的项目。这么多小服务，如何管理他们？(服务治理注册中心[服务注册发现剔除])这么多小服务，他们之间如何通讯？这么多小服务，客户端怎么访问他们？(网关)这么多小服务，一旦出现问题了，应该如何自处理？(容错)这么多小服务，一旦出现问题了，应该如何排错?(链路追踪)对于上面的问题，是任何一个微服务设计者都不能绕过去的，因此大部分的微服务产品都针对每一个问题提供了相应的组件来解决它们。_spring cloud

Js实现图片点击切换与轮播-程序员宅基地

文章浏览阅读5.9k次，点赞6次，收藏20次。Js实现图片点击切换与轮播图片点击切换<!DOCTYPE html><html> <head> <meta charset="UTF-8"> <title></title> <script type="text/ja..._点击图片进行轮播图切换

tensorflow-gpu版本安装教程（过程详细）_tensorflow gpu版本安装-程序员宅基地

文章浏览阅读10w+次，点赞245次，收藏1.5k次。在开始安装前，如果你的电脑装过tensorflow，请先把他们卸载干净，包括依赖的包（tensorflow-estimator、tensorboard、tensorflow、keras-applications、keras-preprocessing），不然后续安装了tensorflow-gpu可能会出现找不到cuda的问题。cuda、cudnn。..._tensorflow gpu版本安装

随便推点

物联网时代权限滥用漏洞的攻击及防御-程序员宅基地

文章浏览阅读243次。0x00 简介权限滥用漏洞一般归类于逻辑问题，是指服务端功能开放过多或权限限制不严格，导致攻击者可以通过直接或间接调用的方式达到攻击效果。随着物联网时代的到来，这种漏洞已经屡见不鲜，各种漏洞组合利用也是千奇百怪、五花八门，这里总结漏洞是为了更好地应对和预防，如有不妥之处还请业内人士多多指教。0x01 背景2014年4月，在比特币飞涨的时代某网站曾经..._使用物联网漏洞的使用者

Visual Odometry and Depth Calculation--Epipolar Geometry--Direct Method--PnP_normalized plane coordinates-程序员宅基地

文章浏览阅读786次。A. Epipolar geometry and triangulationThe epipolar geometry mainly adopts the feature point method, such as SIFT, SURF and ORB, etc. to obtain the feature points corresponding to two frames of images. As shown in Figure 1, let the first image be and th_normalized plane coordinates

开放信息抽取(OIE)系统（三）-- 第二代开放信息抽取系统(人工规则, rule-based, 先抽取关系)_语义角色增强的关系抽取-程序员宅基地

文章浏览阅读708次，点赞2次，收藏3次。开放信息抽取(OIE)系统（三）-- 第二代开放信息抽取系统(人工规则, rule-based, 先关系再实体)一.第二代开放信息抽取系统背景第一代开放信息抽取系统(Open Information Extraction， OIE， learning-based, 自学习, 先抽取实体)通常抽取大量冗余信息，为了消除这些冗余信息，诞生了第二代开放信息抽取系统。二.第二代开放信息抽取系统历史第二代开放信息抽取系统着眼于解决第一代系统的三大问题: 大量非信息性提取（即省略关键信息的提取）、_语义角色增强的关系抽取