形式语言与自动机理论(第2版) 蒋宗礼课后答案[1-12章].pdf-资料库

baidu_36838273-11391493-4744302542904963358.pdf-第1页.png

第1页 / 共257页

baidu_36838273-11391493-4744302542904963358.pdf-第2页.png

第2页 / 共257页

baidu_36838273-11391493-4744302542904963358.pdf-第3页.png

第3页 / 共257页

baidu_36838273-11391493-4744302542904963358.pdf-第4页.png

第4页 / 共257页

baidu_36838273-11391493-4744302542904963358.pdf-第5页.png

第5页 / 共257页

baidu_36838273-11391493-4744302542904963358.pdf-第6页.png

第6页 / 共257页

baidu_36838273-11391493-4744302542904963358.pdf-第7页.png

第7页 / 共257页

baidu_36838273-11391493-4744302542904963358.pdf-第8页.png

第8页 / 共257页

霸 21 世纪大学本科计算机专业系列教材学手助 xuebazhushou.com 形式语言与自动机理论教学参考书手助霸蒋宗礼编著 xuebazhushou.com 学手助霸 xuebazhushou.com 学清华大学出版社北　京学霸助手[xuebazhushou.com]-课后答案|期末试卷|复习提纲

手助霸 xuebazhushou.com 学内容简介本书根据作者对计算机专业教育特点的理解和中国计算机学会“21 世纪大学本科计算机专业系列教材”编写的总体要求,作为《形式语言与自动机理论》(主教材)一书的配套教学辅导用书,按照原书的结构编写而成。本书包括有关内容的讲解、学习要点、问题分析、求解思路和方法、注意事项、典型习题的解析等内容,并且按照小节给出知识点和主要内容解读。为读者学习和掌握原书中的知识点和问题求解方法,体会问题求解的核心思想提供帮助,对教师和学生来说,阅读这些内容都是有意义的。版权所有,翻印必究。本书封面贴有清华大学出版社激光防伪标签,无标签者不得销售。形式语言与自动机理论教学参考书/ 蒋宗礼编著 .—北京:清华大学出版社,2003 .7 图书在版编目(CIP)数据 (21 世纪大学本科计算机专业系列教材) ISBN 7-302-06861-5 Ⅰ .形… Ⅱ .蒋… Ⅲ .① 形式语言 - 高等学校 - 教学参考资料 ② 自动机理论 - 高等学校 - 教学参考书 Ⅳ .TP301 中国版本图书馆 CIP 数据核字(2003)第 053936 号手助霸 xuebazhushou.com 学出版者: 清华大学出版社 http:// www .tup .com .cn 社总机: 010-62770175 地邮址: 北京清华大学学研大厦编: 100084 客户服务: 010-62776969 责任编辑: 张瑞庆封面设计: 孟繁聪版式设计: 肖米印刷者: 清华大学印刷厂发行者: 新华书店总店北京发行所开本: 787×960 1/ 16 印张: 16 .25 字数: 313 千字版书印定次: 2003 年 8 月第 1 版 2003 年 8 月第 1 次印刷号: ISBN 7-302-06861-5/ TP·5090 数: 1～5000 价: 22 .00 元手助霸 xuebazhushou.com 学学霸助手[xuebazhushou.com]-课后答案|期末试卷|复习提纲

手助霸 xuebazhushou.com 学名誉主任: 陈火旺主任: 李晓明副主任: 钱德沛焦金生委员: (按姓氏笔画为序) 手助霸 xuebazhushou.com 学马殿富王志英王晓东宁洪刘辰孙茂松李大友李仲麟吴朝晖何炎祥宋方敏张大方张长海周兴社侯文永袁开榜钱乐秋黄国兴蒋宗礼曾明廖明宏樊孝忠秘书: 张瑞庆本书责任编委: 宋方敏手助霸 xuebazhushou.com 学学霸助手[xuebazhushou.com]-课后答案|期末试卷|复习提纲

手助霸 xuebazhushou.com PR E FAC E 学序　　言 21 世纪是知识经济的时代,是人才竞争的时代。随着 21 世纪的到来,人类已步入信息社会,信息产业正成为全球经济的主导产业。计算机科学与技术在信息产业中占据了最重要的地位, 这就对培养 21 世纪高素质创新型计算机专业人才提出了迫切的要求。手为了培养高素质创新型人才,必须建立高水平的教学计划和课程体系。在 20 多年跟踪分析 ACM 和 IEEE 计算机课程体系的基础上,紧跟计算机科学与技术的发展潮流,及时制定并修正教学计划和课程体系是尤其重要的。计算机科学与技术的发展对高水平人才的要求,需要我们从总体上优化课程结构,精炼教学内容,拓宽专业基础,加强教学实践,特别注重综合素质的培养,形成“基础课程精深,专业课程宽新”的格局。助霸 xuebazhushou.com 学为了适应计算机科学与技术学科发展和计算机教学计划的需要,要采取多种措施鼓励长期从事计算机教学和科技前沿研究的专家教授积极参与计算机专业教材的编著和更新,在教材中及时反映学科前沿的研究成果与发展趋势,以高水平的科研促进教材建设。同时适当引进国外先进的原版教材。为了提高教学质量,需要不断改革教学方法与手段,倡导因材施教, 强调知识的总结、梳理、推演和挖掘,通过加快教案的不断更新,使学生掌握教材中未及时反映的学科发展新动向,进一步拓广视野。教学与科研相结合是培养学生实践能力的有效途径。高水平的科研可以为教学提供最先进的高新技术平台和创造性的工作环境,使学生得以接触最先进的计算机理论、技术和环境。高水平的科研还可以为高水平人才的素质教育提供良好的物质基础。学生在课题研究中不但能了解科学研究的艰辛和科研工作者的奉献精神,而且能熏陶和培养良好的科研作风,锻炼和培养攻关能力和协作精神。霸手进入 21 世纪,我国高等教育进入了前所未有的大发展时期,时代的进步与发展对高等教育质量提出了更高、更新的要求。2001 年 8 月,教育部颁发了《关于加强高等学校本科教学工作,提高教学质量的若干意见》。文件指出,本科教育是高等教育的主体助 xuebazhushou.com 学学霸助手[xuebazhushou.com]-课后答案|期末试卷|复习提纲

形式语言与自动机理论教学参考书手助 xuebazhushou.com 学霸和基础,抓好本科教学是提高整个高等教育质量的重点和关键。随着高等教育的普及和高等学校的扩招,在校大学本科计算机专业学生的人数将大量上升,对适合 21 世纪大学本科计算机科学与技术学科课程体系要求的,并且适合中国学生学习的计算机专业教材的需求量也将急剧增加。为此,中国计算机学会和清华大学出版社共同规划了面向全国高等院校计算机专业本科生的“21 世纪大学本科计算机专业系列教材”。本系列教材借鉴美国 ACM 和 IEEE/ CS 最新制定的《Computing Curricula 2001》(简称 CC2001)课程体系,反映当代计算机科学与技术学科水平和计算机科学技术的新发展、新技术,并且结合中国计算机教育改革成果和中国国情。 Ⅳ 中国计算机学会教育专业委员会和全国高等学校计算机教育研究会,在清华大学出版社的大力支持下,跟踪分析 CC2001,并结合中国计算机科学与技术学科的发展现状和计算机教育的改革成果,研究出了《中国计算机科学与技术学科教程 2002》( China Computing Curricula 2002,简称 CCC2002),该项研究成果对中国高等学校计算机科学与技术学科教育的改革和发展具有重要的参考价值和积极的推动作用。 “21 世纪大学本科计算机专业系列教材”正是借鉴美国 ACM 和 IEEE/ CS CC2001 课程体系,依据 CCC2002 基本要求组织编写的计算机专业教材。相信通过这套教材的编写和出版,能够在内容和形式上显著地提高我国计算机专业教材的整体水平,继而提高我国大学本科计算机专业的教学质量,培养出符合时代发展要求的具有较强国际竞争力的高素质创新型计算机人才。霸手助 xuebazhushou.com 学中国工程院院士国防科学技术大学教授 21 世纪大学本科计算机专业系列教材编委会名誉主任 2002 年 7 月手助霸 xuebazhushou.com 学学霸助手[xuebazhushou.com]-课后答案|期末试卷|复习提纲

手助霸 xuebazhushou.com FO R EW O RD 学前　　言助霸 xuebazhushou.com 学计算机科学与技术学科要求学生具有形式化描述和抽象思维能力, 并且能够很好地掌握逻辑思维方法。我们称其为“计算思维”能力,或者叫做“ 计算机思维”能力。当然,一种能力的培养决不是一、两门孤立的课程可以实现的,尤其是思维能力的培养更是如此。它需要一系列课程,并且通过长期的学习和实践来完成。手形式语言与自动机理论不仅对问题及其求解提供了良好的形式化描述工具,更在通过适当的描述和解析而降低难度之后,成为对本科生和研究生进行“ 计算思维”能力培养的一门重要技术基础课程。抽象和形式化是本书所涉及内容的主要特点。在这里,既有严格的理论证明,又具有很强的构造性。包含一些基本模型、模型的建立、性质等。通过对本课程的学习,除了使学生掌握正则语言、下文无关语言的文法、识别模型及其基本性质、图灵机的基本知识以外,主要致力于培养学生的形式化描述和抽象思维能力。同时使学生了解和初步掌握“问题、形式化描述、自动化(计算机化)”的解题思路。这样,我们就扣上了“ 什么能被有效地自动化”这一计算学科的主题。当我们用计算机进行问题的求解时,需要实现对“ 问题”所在系统的状态及其变换的描述,要用适当的数据在计算机中表示该问题,并用适当的算法通过对这些数据的变换来获得问题的求解结果。因此,对问题进行抽象和形式化表示,然后进行处理,是进行计算机问题求解的基本途径。形式语言与自动机理论给出了一类基本问题的基本描述与计算模型———抽象表示。并通过研究这些模型的性质及其变化方法来对这些问题进行研究。它们都是问题的数学模型化的典范,给计算机问题求解提供了一种优美而坚实的基础,而且,它也向人们展示了一种典型的方法和思想。另外,形式语言与自动机理论还是研究算法及其理论的基础。霸手助 xuebazhushou.com 学形式语言与自动机理论对于一个计算机科学与技术工作者来说, 是非常重要的。它已经成为国际上计算机科学与技术专业本科生的一门重要课程。 ACM 和 IEEE/ CS 学霸助手[xuebazhushou.com]-课后答案|期末试卷|复习提纲

霸 CC2001 和《中国计算机科学与技术学科教程 2002》(简称为 CCC2002)给出了明确的要求。这里面不仅含有本学科最基本的知识内容,更涉及本学科方法论中所包含的全部三个学科形态。它可以被用来引导学生站在更高的高度去看待问题,去粗存真,直击本质,抓住问题及求解的关键点,以“计算机”的方式解决问题。学 Ⅵ 形式语言与自动机理论教学参考书手助 xuebazhushou.com 《形式语言与自动机理论》一书包括了 CC2001-CS 和 CCC2002 规定的全部相关知识单元的内容,并且完全满足 CC2001 建议的高级课程———自动机理论的教学大纲的要求。它不仅是后续课《编译原理》的理论基础,而且还广泛地用于一些新兴的研究领域。与国外现有的教材比较,《形式语言与自动机理论》一书主要突出了三个特点: (1)充分考虑国内教学计划的容量,进行内容的取舍和组织;(2)在培养读者的计算思维能力上做出进一步的尝试;(3)主要考虑国内读者的特点,并且按照国内的教学风格的要求讨论问题。本书将按照小节清晰地列举出相关知识点,给出主要内容的解读。通过这些,进一步地讨论讲解学习的要点、问题分析、求解思路和方法、注意事项等内容, 为读者学习和掌握原书中的知识点和问题求解方法、体会问题求解的核心思想提供帮助。考虑到初学者在解答习题中将会遇到的主要困难,本书选择了一些典型习题,并且给出了解答及分析。助手形式语言与自动机理论课程的教学,最大的问题有两个,一是内容非常抽象,这就导致阅读起来比较枯燥,而且它的作用主要是在潜移默化中体现的,难以让学生看出其 “用处”,似乎让人感到学习这门课程是在“ 自讨辛苦”,而且这种“ 辛苦”没有太大的意义,不如学习 Java 语言等编程更容易,更实用。其二是这些内容具有较大的难度,难以找到体验感性认识的具体实例,这就导致读者难以发现相关知识点的来龙去脉,以达到深入领会之目的。要想解决这两个问题,必须掌握问题求解的思想和方法,并且通过对它们的研究,来领略这门课程在高度抽象和形式化下的优美和乐趣,使这些看似抽象枯燥的内容活起来。实际上,许多内容都可能是读者自己的体会,哪怕这些体会是不完善的,甚至是过于理想化(理性)的,与历史不十分符合的。但是,它们一定是更理性的“ 思路”和“ 想法”。实际上,这正是人们在科学研究中所努力追求的。霸 xuebazhushou.com 学虽然目前在国内的计算机科学与技术学科的本科生的课程教学计划中,设置形式语言与自动机理论课程的学校还不是很普遍,甚至在一些学校的研究生的培养方案中也还未开设此课程,但是,随着我国的计算机学科教学的不断发展和条件的逐渐成熟, 将会有越来越多的学校开设本课程。助本书共分 12 章。为了便于阅读,从第 1 章到第 10 章完全与原书结构相对应。第 1 章回顾在离散数学中学过的本书将要用到的一些基础知识,为后续的章节做好准备。由于主要是为了复习,所以这里给出的是知识点和应该注意的事项。除最后一节的“ 形式语言及其相关的基本概念”为新内容外,其他内容都可以由学生自学。第 2 章到第 8 手霸 xuebazhushou.com 学学霸助手[xuebazhushou.com]-课后答案|期末试卷|复习提纲

资料库

形式语言与自动机理论(第2版) 蒋宗礼课后答案[1-12章].pdf

相关推荐

课程资源

热门标签

最新资料