【形式语言与自动机理论教学参考书】蒋宗礼编.pdf

21世纪大学本科计算机专业系列教材形式语言与自动机理论教学参考书蒋宗礼编著北京

扇言 PREFACE 21世纪是知识经济的时代,是人才竞争的时代。随着21世纪的到来,人类已步人信息社会,信息产业正成为全球经济的主导产业。计算机科学与技术在信息产业中占据了最重要的地位,这就对培养21世纪高素质创新型计算机专业人才提出了迫切的要求.为了培养高素质创新型人才,必须建立高水平的教学计划和课程体系。在20多年流,及时制定并修正教学计划和课程体系是尤其重要的。计算机科学与技术的发展对高水平人才的要求,需要我们从总体上优化课程结构,精炼教学内容,拓宽专业基础,加强教学实践,特别注重综合素质的培养,形成“基础课程精深,专业课程宽新”的格局。

前言计算机科学与技术学科要求学生具有形式化描述和抽象思维能力,并且能够很好地掌握逻辑思维方法。我们称其为“计算思维”能力,或者叫做“计算机思维”能力。当然,一种能力的培养决不是一、两门孤立的课程可以实现的,尤其是思维能力的培养更是如此。它需要一系列课程,并且通过长期的学习和实践来完成.形式语言与自动机理论不仅对问题及其求解提供了良好的形式化描述工具,更在培养的一门重要技术基础课程.抽象和形式化是本书所涉及内容的主要特点。在这里,既有严格的理论证明,又具有很强的构造性。包含一些基本模型、模型的建立、性质等。