蒋宗礼著作：形式语言与自动机理论详解

"《形式语言与自动机理论》是蒋宗礼教授编著的一门针对计算机科学和技术领域的教材，旨在培养学生的计算思维能力、算法设计与分析能力、程序设计技能以及对计算机软硬件系统理解的能力。课程的核心内容围绕形式语言和自动机理论展开，包括但不限于： 1. 课程目标强调了计算思维的重要性，要求学生具备逻辑思维和抽象思维能力，能够将问题转化为形式化描述，并通过自动化手段解决。掌握正则语言、下文无关语言（如正则文法、有限自动机、右线性文法、确定有限自动机等）的概念、模型及其性质是基础。 2. 课程内容深入浅出，涵盖了语言的文法描述，如正规语言（Regular Languages，RG）、有限自动机（Finite Automata，FA）、递归 enumerable languages（RE）、正规表达式（Regular Expressions，RE）和上下文无关语言（Context-Free Languages，CFL）及其相应的文法（如上下文无关文法（Context-Free Grammar，CFG）、上下文敏感文法（Context-Sensitive Grammar，CSG）、推导规范和部分状态机（Pushdown Automata，PDA）的性质。 3. 学生还将学习图灵机（Turing Machines，TM）的基本概念，理解其构造技术和可能的修改，这是计算理论中的核心工具。此外，课程还涉及了上下文无关语言的进一步扩展，如计算敏感语言（Context-sensitive Languages，CSL）和左线性文法（Linear Bounded Automata，LBA）。 4. 教材推荐使用蒋宗礼和姜守旭编写的《形式语言与自动机理论》作为主教材，配合John E. Hopcroft、Rajeev Motwani和Jeffrey D. Ullman的经典著作《自动机理论、语言与计算》（2nd Edition），以及1979年的原版，以确保学生获取全面且深入的理解。 通过这门课程的学习，学生不仅会掌握理论知识，还会发展出在实际问题中运用这些理论来构建和分析复杂系统的技能，这对于理解计算机科学的本质和解决实际编程挑战具有重要意义。"