程序语言的形式规范概论PDF电子书下载

序言 1

第一章 引言 1

目录 1

第二章 形式语法 4

2.1 巴科斯-瑙尔范式 4

2.1.1 BNF元语言 4

2.1.2 Pam语言 7

2.1.3 Eva语言 9

2.2 BNF的变型 13

2.3.1 概念和特点 17

2.3 属性文法 17

2.3.2 Eva完整的语法规范 22

2.4 二级文法 33

2.4.1 上下文无关文法的另一种记号法 33

2.4.2 上下文有关——宏规则及元记号 35

2.4.3 Eva另一个完整的语法规范 40

第三章 从语法到语义 51

3.1 语法，语义和抽象语法 51

3.2 利用属性文法的转化语义——Pam的完整定义 54

3.3.1 Pam完整的定义 71

3.3 采用二级文法的解释性语义 71

3.3.2 Eva完整的定义 88

第四章 形式语义 99

4.1 运算性方法——维也纳定义语言 100

4.1.1 对象及抽象语法记号法 100

4.1.2 指令定义所需的控制机构及记号Pam的语义规范 104

4.1.3 Eva的语义规范 113

4.2 指称方法 122

4.2.1 概念及特征 122

4.2.2 Pam的指称语义 126

4.2.3 Eva的指称语义 131

4.3 公理方法 141

4.3.1 概念和特点 141

4.3.2 Pam的公理语义 145

4.3.3 Eva的公理语义 149

第五章 程序语言作为元语言 158

5.1 用一种程序语言来定义另一种语言 158

5.2 自定义 165

第六章 结束语 167