软件理论基础

本课程系统讲授计算机科学和软件工程领域中的形式语言与自动机理论，内容涵盖有限自动机、正则表示与正则语言、正则语言的性质、正则语言的Pumping引理、上下文无关文法与应用、下推自动机与上下文无关语言、上下文无关语言的性质、上下文无关语言的Pumping 引理、图灵机、递归可枚举语言、图灵机语言的性质、图灵机计算模型、图灵机的扩展、算法与计算模型，并介绍问题的判定性与计算复杂性。课程知识体系完整，结构严谨，叙述与证明简洁明了，既注重理论推导，又兼顾实际应用。内容编排循序渐进，助力学员更清晰、准确、易懂地掌握复杂概念。本课程于2020年入选教育部“国家级一流本科课程”，配套教材《软件理论基础》由科学出版社出版（ISBN：978-7-03-083774-5 ）。

课程面向计算机科学与技术、软件工程、人工智能、信息安全等专业的学员，同时适合从事形式化方法、程序语言理论、系统验证等相关领域研究及工程实践的人员学习。