- 作 者：周之英译
- 出 版 社：北京：清华大学出版社
- 出版年份：1986
- ISBN：15235·230
- 注意：在使用云解压之前，请认真核对实际PDF页数与内容!
在线云解压
价格(点数)
购买连接
说明
转为PDF格式
8
（在线云解压服务）
云解压服务说明
1、本站所有的云解压默认都是转为PDF格式，该格式图书只能阅读和打印，不能再次编辑。
云解压下载及付费说明
1、所有的电子图书云解压均转换为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、云解压在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
序言 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