程序设计语言语法与语义

文档类型

价格(积分)

购买连接

试读

PDF格式

1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。

2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源242 ≥234页】

1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。

2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)

3、所有的电子图书都是原书直接扫描方式制作而成。

第一章引论 1

第一节语言、语法与语义 1

第二节程序设计语言 11

第二章程序设计语言的语法 21

第一节形式文法、Chomsky分类 21

第二节上下文无关文法及其子类 36

第三节几种定义语法的元语言 43

第四节上下文无关文法的局限 55

第五节 W文法 63

第三章程序设计语言的语义 74

第一节语义模型 76

第二节操作语义 83

第三节公理语义 94

第四节标志语义 105

第五节代数语义 119

第六节评论与展望 128

第四章 META-Ⅳ 135

第一节一个例子 136

第二节抽象数据类型 147

第三节抽象语法、论域表达式 166

第四节复合子、表达式及语句 173

第五节用META-Ⅳ定义语义 185

第六节 VDM 197

附录A 208

录附B 212

附录C 224

参考文献 232

程序设计语言 语法与语义