课程特色
该课程丰富有趣，涉及到众多有限自动机的理论知识。
当今世界形式语言和自动机的理论已经成为计算机科学的理论基础之一。
应用范围已被扩展到生物工程、自动控制系统、图像处理与模式识别等许多领域。
要求具备的能力
该课程需要具备一定的专业学科能力：
计算思维能力
算法设计与分析能力
程序设计与实现能力
计算机系统的认知、分析、
设计和运用能力
需要具备一定的计算思维能力：
形式化描述(问题)能力
抽象思维能力
逻辑思维能力
需要具备一定的理论基础：（统称为计算理论）
形式语言与自动机
可计算理论
计算复杂性理论
同学们需要进一步进行抽象思维、逻辑思维、创造能力的培养以获得更宽厚、坚实的理论基础。
