编译原理 教学大纲作者 王生原 董渊 杨萍 张素琴 形式语言与自动机-王生原.docVIP

1、课程基本情况 课程编号学分 2 学时 32 开课学期 三年级 秋季学期 课程名称 形式语言与自动机 Formal Languages and Automata 课程定位 任何信息处理与计算问题都可归结为对语言的处理。形式语言与自动机理论从语言处理的角度揭示计算的本质，在计算机科学领域有着重要的地位与作用，对于计算机专业学生的知识结构及其发展潜力有深刻的影响。 本课程是计算机专业基础课，主要讲授理论和应用中的常用语言类及其相应的计算模型，以及计算模型之间的联系。课程旨在培养计算机科学理论方面的素养，提高逻辑思维和解决相关问题的能力，为学生在后续专业课程的学习以及今后从事科学研究或技术开发工作打下扎实的基础。 课程简介 课程内容以实践中应用较多的正规语言和上下文无关语言及其计算模型为主，以图灵机和计算理论初步为辅，主要包括： （1）正规语言的计算模型（正规表达式，确定有限自动机；非确定有限自动机，带?-转移的非确定有限自动机），它们之间的联系，正规语言的基本性质，以及相关的算法。 （2）上下文无关语言的计算模型（上下文无关文法，下推自动机），它们之间的联系，上下文无关语言的基本性质，以及相关的算法。 （3）图灵机计算模型。 （4）可计算性和计算复杂性理论的初步知识。 教学要求 要求学生： （1）深刻领会课程涉及到的语言以及计算模型的概念和作用，明确它们之间的联系