Z形式规约的自动求精研究2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

Z形式规约的自动求精研究PDF格式电子书版下载

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

第1章 Z形式规约1

1．1软件开发的形式化方法1

形式化方法的意义1

Z形式规约的产生与发展4

Z形式规约的特点8

1．2 Z形式规约的类型9

Z形式规约中的基本数据类型10

Z形式规约中的复合数据类型11

1．3 Z形式规约的构造单元14

Z形式规约的符号14

Z形式规约的模式15

1．4 Z形式规约的关系和函数16

关系16

函数19

1．5 Z形式规约求精技术21

软件求精的概念21

Z形式规约的软件体系结构21

求精过程24

Z形式规约自动求精的研究29

第2章 C＋＋标准模板库STL33

2．1 STL简介33

2．2 STL基本结构34

2．3容器36

2．4迭代器40

2．5算法40

2．6其他组件41

第3章 Z形式规约的精简—Smart Z44

3．1概述44

3．2 Z形式规约的类型约束45

Z形式规约约束和可判定性45

约束问题的提出46

Z形式规约的类型约束47

3．3 Z形式规约的谓词约束52

谓词的约束与可判定性52

谓词与模式的可扩展性54

3．4 Z形式规约的精简55

形式语言的描述55

Smart Z的词法59

Smart Z文法设计61

第4章 Smart Z的自动求精71

4．1 Smart Z的词法分析71

扫描器71

词法分析72

词法分析的流程75

表达式的处理75

组合运算符处理的流程77

中文字符处理78

其他字符78

出错处理78

4．2 Smart Z的语法分析79

Smart Z语法分析阶段79

Smart Z文法范式的确定79

语法转换规则82

程序图形化设计方法84

从语法图到SI-NI图的转换法则87

语法分析程序的实现89

语法出错处理95

4．3 Smart Z的语义分析96

符号表的设计97

语义树的建立99

变量声明的语义分析与求精101

4．4 Smart Z的自动求精转换器105

Smart Z的自动求精过程106

从规格说明到程序代码的自动求精108

第5章 一阶逻辑算子的自动求精111

5．1一阶逻辑111

5．2一阶逻辑算子的自动求精步骤112

5．3表达式处理113

算术表达式和逻辑表达式114

表达式向逆波兰式的转换算法115

5．4 Smart Z的量词与连接词的自动求精117

全称量词和存在量词118

连接词119

赋值语句119

5．5一阶逻辑算子的目标代码生成120

语义分析与求精过程120

一阶逻辑算子的目标代码顺序124

出错处理125

5．6一个模式求精实例126

第6章 集合论算子的自动求精131

6．1集合类型的声明131

6．2目标代码中的集合操作132

6．3集合论算子到中间代码的转换133

6．4采用模板及重载技术设计Smart Z中集合论算子的求精140

采用模板实现Smart Z算子的自动求精140

运算符重载在Smart Z算子自动求精中的应用141

Smart Z中集合论算子自动求精的具体算法143

6．5集合论算子自动求精实例144

图书馆数据库管理的规格说明144

用于自动求精的规格说明145

转换为C＋＋程序代码146

第7章 幂集算子的自动求精149

7．1幂集类型149

7．2广义表151

广义表的定义151

广义表的存储结构152

7．3单层幂集的自动求精153

7．4多层嵌套幂集的自动求精155

7．5幂集的自动求精实例158

第8章 笛卡儿积的自动求精161

8．1笛卡儿积的声明161

8．2笛卡儿积的数据求精161

8．3笛卡儿积的过程求精164

8．4笛卡儿积的自动求精实例166

第9章 关系和函数的自动求精172

9．1序偶与关系172

序偶172

关系173

9．2关系操作与自动求精174

Smart Z的关系操作及中间代码174

Smart Z关系操作实例175

9．3函数操作与自动求精179

函数179

函数操作的中间代码与自动求精179

第10章 序列和包的自动求精187

10．1序列和包187

序列187

包189

10．2序列操作的自动求精190

序列的个数190

序列的连接操作191

序列的逆置操作193

序列的查找操作193

序列的head操作194

序列的last操作194

序列的tail操作195

序列的front操作195

序列的抽取196

序列的过滤197

序列的压缩197

序列的划分198

10．3包操作的自动求精199

C＋＋STL中的map容器199

包的计数操作201

计算包中任意元素个数的操作202

包的扩大操作203

判断元素是否为包的成员操作203

判断子包关系的操作204

给定序列返回包的操作205

包的和函数操作205

包的减函数操作206

10．4序列和包的自动求精实例207

附录1 Z语法209

附录2 Smart Z词法214

附录3 Smart Z的词法DFA215

附录4 Smart Z语法216

附录5 Smart Z语法的部分SI-NS图220

附录6 部分Smart Z算子的函数模板223

参考文献228