形式语言与自动机理论

作者：  蒋宗礼，姜守旭编著

出版社：清华大学出版社,2007

简介：　　 形式语言与自动机理论是计算机科学与技术专业本科生的一门重要课 　　程。本书是作者结合其10余年来在大学讲授该门课程的经验和体会，选择 　　和组织有关内容撰写而成。本书不仅含有有关正则语言、上下文无关语言 　　的文法、识别模型及其性质、图灵机的基本知识，更涉及到本学科方法论 　　中所包含的三个学科形态。其内容特点是抽象和形式化，既有严格的理论 　　证明，又具有很强的构造性。从而培养学生的形式化描述和抽象思维能力 　　，使学生了解和初步掌握“问题、形式化、自动化(计算机化)”的解题思 　　路。为了便于学生对内容的掌握，附录A还给出了建议的教学设计。 　　 本书配套出版有《形式语言与自动机理论教学参考书》，归纳各章知 　　识点，解读主要内容，解析典型习题。 　　 本书适合于计算机科学与技术专业的高年级本科生、研究生使用，也 　　可供相关专、啦的学生、教师和科研人员参考。 　　

形式语言与自动机理论[电子资源.图书]

作者：  蒋宗礼，姜守旭编著

出版社：清华大学出版社,2003

简介：　　 形式语言与自动机理论是计算机科学与技术专业本科生的一门重要课程。本书是作者结合其10余年来在大学讲授该门课程的经验和体会，选择和组织有关内容撰写而成。本书不仅含有有关正则语言、上下文无关语言的文法、识别模型及其性质、图灵机的基本知识，更涉及到本学科方法论中所包含的三个学科形态。其内容特点是抽象和形式化，既有严格的理论证明，又具有很强的构造性，从而培养学生的形式化描述和抽象思维能力，使学生了解和初步掌握“问题、形式化、自动化(计算机化)”的解题思路。为了便于学生对内容的掌握，附录A还给出了建议的教学设计。 　　 本书适合于计算机科学与技术专业的高年级本科生、研究生使用，也可供相关专业的学生、教师和科研人员参考。 　　

Compiler principles and techniques

作者：  蒋宗礼，姜守旭编著

出版社：高等教育出版社,2010

简介：　　本教材是国家精品课程“编译原理”课程主讲教材，是在哈尔滨工业大学和北京工业大学“编译原理”课程讲义的基础上，结合作者近三十年来的经验和体会形成的。作者将丰富的教学经验和先进的教学思想反映在教材中，不仅讲知识，更注意讲思想和方法，为学生计算思维能力、算法设计与分析能力、程序设计与实现能力以及系统能力这四大专业基本能力的培养提供强有力的支撑。 　　“编译原理”是计算机科学与技术专业重要的专业(基础)课程。本书是普通高等教育“十一五”国家级规划教材，也是国家精品课程主讲教材，是作者结合近三十年在哈尔滨工业大学、北京工业大学讲授该课程的经验和体会，根据本科生教学的实际需要选择和组织有关内容撰写而成的，包含了“编译原理”课程所需涵盖的知识。本书将以知识为载体，对本学科问题求解的典型思想和方法进行探讨，致力于学生四大专业基本能力的培养，为“能力导向”的课程教学提供有力支持。为了便于读者学习和掌握有关内容，面向工程应用型学生的培养，在附录中给出了相应的课程设计。 　　本书适合于高等学校计算机科学与技术学科本科生“编译原理”课程教学使用，也可供有关专业的学生、教师和科研人员参考。　　

形式语言与自动机理论

作者：  蒋宗礼，姜守旭编著

出版社：清华大学出版社,2013

简介：　　形式语言与自动机理论是计算机科学与技术专业的一门重要课程。《普通高等教育精品教材·21世纪大学本科计算机专业系列教材：形式语言与自动机理论（第3版）》是作者结合其20余年来在大学讲授该门课程的经验和体会，选择和组织有关内容撰写而成。不仅含有有关正则语言、上下文无关语言的文法、识别模型及其性质、图灵机的基本知识，更涉及到本学科方法论中所包含的3个学科形态。其内容特点是抽象和形式化，既有严格的理论证明，又具有很强的构造性，从而培养学生的形式化描述和抽象思维能力，使学生了解和初步掌握“问题、形式化、自动化（计算机化）”的解题思路。为了便于学生对内容的掌握，附录A还给出了建议的教学设计。 　　《普通高等教育精品教材·21世纪大学本科计算机专业系列教材：形式语言与自动机理论（第3版）》配套出版有《形式语言与自动机理论教学参考书（第3版）》，归纳各章知识点，解读主要内容，解析典型习题。 　　《普通高等教育精品教材·21世纪大学本科计算机专业系列教材：形式语言与自动机理论（第3版）》适合作为计算机科学与技术专业的高年级本科生、研究生的教材，也可供相关专业的学生、教师和科研人员参考。