热门文档
- 2022-09-18 20:22:00 中国人为什么看不起中国人 张鸣
- 2023-04-19 15:04:26 《千家妙方 上册 1982年》(李文亮等编)
- 2022-09-18 20:22:00 中国兵法之起源 编委会
- 2023-10-13 17:09:40 楚辞 中华传统诗词经典 可复制-李山-9787101097528
- 2022-11-24 16:17:09 《性体验与性爱心理》尤里-谢尔巴特赫
- 2022-11-24 16:17:09 《性爱健康指南》石四维编著
- 2023-10-13 17:09:40 超速学习：我这样做，一个月学会素描，一年学会四种语言，完成MIT四年课程-斯科特·扬著，林慈敏译-9789861755533
- 2022-09-18 19:48:57 心理催眠术 迈克尔.赫普,温迪.德雷顿著
- 2023-10-13 17:09:40 初中诗词格律读本 可复制-周建忠 徐乃为 王业强编著-9787101121704
- 2023-10-13 17:09:40 曾国藩家书 中华经典藏书(升级版)可复制-檀作文译注-9787101115482
- 2022-09-18 19:48:57 成功创业72绝招 艾凡著
- 2023-01-11 15:23:39 孔子学院传播研究_刘程 安然著_9787516112922
1、本文档共计 176 页，下载后文档不带www.pdfdz.com水印，支持完整阅读内容。
2、古籍基本都为PDF扫描版，所以文档不支持编辑功能，即不支持文档内文字的复制粘贴。
3、当您付费下载文档后，您只拥有了使用权限，并不意味着购买了版权，文档只能用于自身使用，不得用于其他商业用途（如 [转卖]进行直接盈利或[编辑后售卖]进行间接盈利）。
4、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。
5、如文档内容存在违规，或者侵犯商业秘密、侵犯著作权等，请点击“违规举报”。
2、古籍基本都为PDF扫描版，所以文档不支持编辑功能，即不支持文档内文字的复制粘贴。
3、当您付费下载文档后，您只拥有了使用权限，并不意味着购买了版权，文档只能用于自身使用，不得用于其他商业用途（如 [转卖]进行直接盈利或[编辑后售卖]进行间接盈利）。
4、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。
5、如文档内容存在违规，或者侵犯商业秘密、侵犯著作权等，请点击“违规举报”。
序言我希望通过这本书逐步地、较全面地给读者介绍一个重要的技术领域，介绍为计算机程序语言的语法和语义的形式规范所需要的元语言（从BNF到公理语义学）。形式语言定义好像总是被人们看作一种复杂而神秘的技术，人们往往认为只有寻找，并阅读了极大量很分散的专门著作，才可能得到形式语义学的一般知识。本书把具有各种特点的定义方法的基本材料和应用例子都集中在一起。为了尽量减少复杂的数学论证及避免过于拘泥于形式，我们虽然很详细地叙述了各种元语言，但这种叙述是非形式化的。我们在定义程序语言时强调怎样使用元语言，而不是强调他们的理论基础或数学背景。现在已有好几本书非形式地研究并选择一些程序语言来说明算法的形式规范（即程序的编码）。和这类书一样，本书非形式地研究并选择一些元语言来说明程序语言的形式规范。对高级程序语言感兴趣的大多数计算机科学家将会发现本书汇集的材料十分有用。我们假定读者已具有程序设计的一般知识，熟悉两种以上高级语言及与计算机科学有关的内容，如树及其他数据结构和递归概念。还需要了解离散数学中各种课题的一些知识，如论、函数、逻辑和近世代数。本书可以作为研究生或大学高年级学生学习程序语言的结构、设计和理论方面的教科书。我们在全书中用两个小型的专门设计的语言作为各种规范技术实例研究的对象，以此作为基本评述工具。其中-一个语言(“Pam”)有整数算术运算和流程挖制（条件句及循环结构)的功能；面另一个(“Ev”)有块结构，递归过程和结构数据类型（字符串）。所有这些特点都和众所周知的Pascal及PL/I等语言中的某些特点相类似。两个小型语言结合在一起提供了解释如何使用各种元语言的良好基础。事实上，为避免实例研究变得过长或过分复杂，每个语言本身必然是又小、又弱而不能实用。每一节结尾处简短地列出指导进一步学习的资料，尽可能只引用读者容易找到的刊物。在大多数情况下，读者还可从那些列出的书目中找到更为完整的参考书目。本书内容的前后次序不基重要，我所选吊的结构只是反映在形式语言规范问题这一复杂领域中我个人的观点。第二章涉及语法的形式规范，包括程序文本的一切上下文有关特性，也包括BNF及其变型(2.1,2.2节)，属性文法(2.3节)，和二级文法(2.4节)。我们在BNF一节中也介绍了语言Pam和Eva。第四章涉及形式语义学，介绍运算性方法和维也纳定义语言(4,1节)，指称方法(4.2节)和公理方法(4.3节)。第三章完成形式语法学向形式语义学的过渡，也包括了利用文法来说明语义的技术。第五章讨论了把程序语言作为元语言的概念，很可能元语言本身恰好就是要定义的语言。我想让读者有尽可能多的灵活性来选择阅读章节的次序。下图指出了阅读某一章节的条件，在你要读某一节前，必须先读完有直线与这节相连的较早章节。因而，对用二级文法作语义规范感兴趣的人可按1,2.1.1,2.1.2,2.1.3,2.4.1,2.4.2,2.4.3,3.1,3.3.1，3.3.2这样的次序来阅读，也可以选择读完2.1.3后立即读3.1节。根据不同的兴趣或不同的课程要求也可以沿其他路径进行阅读。结束语（第6章）中提到所有其他章节的内容，但3即使没有读完全书，也可以阅读这一章。12,1,12.1.22.1.32.22.3.12.4.22.3.22.4.33.23.3.13.3.24.2.14.1.24.134.2.34.3.35,15.2阅读课文各章节的必要条件结构图4
