课程目的和基本要求：·课程性质 技术基础 ·基础知识要求 数学分析(或者高等数学),离散数学 ·主要特点 抽象和形式化 理论证明和构造性 基本模型的建立与性质

形式语言概述 文法推断 句法分析 自动机理论 误差校正句法分析

6.1 图灵机的基本模型 6.2 图灵机作为非负整数函数计算模型 6.3 图灵机的构造技术

电子科技大学：《有限自动机理论 Finite Automata Theory》课程教学资源（课件讲稿）第04章 正则语言（简化版）

形式语言概述 文法推断 句法分析 自动机理论 误差校正句法分析

通过本章的教学，帮助学生掌握社会主义本质的新概括，明确社会主义的根本任务、根本目标，明确中华民族伟大复兴中国梦的科学内涵和基本要求；有助于学生明确今后学习和工作的方向，坚定中国特色社会主义的道路自信、理论自信、制度自信

2.1 例子语言 2.2 文法和语言的关系 语言的定义 文法的定义 文法与语言的关系 2.3 Chomsky对文法、语言分类 2.4文法产生语言 2.5 无用非终结符 2.6 推导树 2.7 空串定理（自学） 2.8 消除左递归 2.10 语言之间的运算及运算封闭性 2.11 正则表达式和正则集

1.1 集合及其运算 1.2 关系 1.3 证明和证明的方法 1.4 图与树 1.5 语言 1.6 常用术语 1.7 形式语言与自动机的发展

《电力系统自动化》课程教学资源（理论课程资料）自动并列_准同期自动并列装置的实现原理_一种新型微机自动准同期装置

§16.1 外部性 §16.2 公共物品的供给 §16.3 自然垄断 ❖ 自然垄断产业的含义及特点 ❖ 自然垄断理论新发展