因为疫情，我们只有期末考试，期中考试不了解，不过期中测试题还是有点难度的。期末考试难度较低，拿高分很简单，但要注意细节（比如起始状态能不能直接到 F）。
考试主要内容为设计自动机、文法等，这门课的考查点都很简单。要说有难度的就是设计题，但是如果设计不出来文法，也可以直接设计自动机然后转文法，还有就是 CH4 的泵浦引理（CH3 的泵浦引理出题很简单），可以多看看课后题和《形式语言与自动机导论》的泵浦引理，记住一些常见的证明思路。
以上，祝大家取得满意的成绩！
一、前言本文总结 BUPT 计算机学院《形式语言与自动机》的学习资料，希望能帮到学弟学妹，打好基础。从名字也能知道，这门课就是学形式化语言及其对应的自动机。这门课相对简单，知识脉络十分清晰。总结一下就是很简单。《形式语言与自动机》同《离散数学》的感觉其实比较像，不难，也不会花太多时间，学科结构清晰。二、思维导图以下是自己总结的 Xmind 思维导图，可以帮助梳理知识脉络，需要自取链接：https://pan.baidu.com/s/1h7TI9tWXqFKibtPS8urVdA提取码：6ld7
许可证：CC-BY-NC-SA 3.0 创作共用-署名-非商业性-相同方式共享
署名（英语：Attribution，BY）：您（用户）可以复制、发行、展览、表演、放映、广播或通过信息网络传播本作品；您必须按照作者或者许可人指定的方式对作品进行署名。
非商业性使用（英语：Noncommercial，NC）：您可以自由复制、散布、展示及演出本作品；您不得为商业目的而使用本作品。
相同方式共享（英语：Sharealike，SA）：您可以自由复制、散布、.
许可证：CC-BY-NC-SA 3.0 创作共用-署名-非商业性-相同方式共享
署名（英语：Attribution，BY）：您（用户）可以复制、发行、展览、表演、放映、广播或通过信息网络传播本作品；您必须按照作者或者许可人指定的方式对作品进行署名。
非商业性使用（英语：Noncommercial，NC）：您可以自由复制、散布、展示及演出本作品；您不得为商业目的而使用本作品。
相同方式共享（英语：Sharealike，SA）：您可以自由复制、散布、.
考点：图灵机⇒语言
解：工作过程：首先从 q0q_0q0 将读入的0改为1，读头向右移动到状态 q1q_1q1，然后；读入1则改为0读头向右移动回到状态 q0q_0q0，若读入B则不变，读头向右移动到状态 qfq_fqf
接收的语言：以0开头，后面10重复的字符串，其中10重复次数可为0。L=0(10)n∣n≥0L={0(10)^n |n≥0}L=0(10)n∣n≥0
考点：图灵机⇒句子的识别过程（格局）
解：识别00001000的过程：
q000001000├M0q00001000├M00q0.
穷举法（把语言中的所有句子都枚举出来）——只适合句子数目有限的语言；
文法描述（语言中的每个句子用严格定义的规则来构造）——生成语言中合格的句子；
自动机
（对输入的句子进行合法性检验） ——区别哪些是语言中的句子，哪些不是语言中的句子。
文法描述：给予语言中的句子以结构，各成分之间的结构关系清楚、明了。运用文法描述判断句子是否属于该语言较为困难。
自动机
：机械刻画对输入字符串的识别过程，结构关系不清楚。判断句子是否属于该语
形式语言
与
自动机
是计算机科学中重要的概念。
形式语言
是指由字符序列构成的集合，这些字符序列遵循一定的语法规则。
自动机
则是一种抽象的计算模型，用于接受一种语言。
形式语言
和
自动机
之间存在紧密的联系，可以通过
自动机
来识别和生成
形式语言
。
BUPT是北京邮电大学的缩写，该校开设了
形式语言
与
自动机
的课程，该课程主要涉及
形式语言
和
自动机
的基本概念、正则语言、上下文无关语言等。学生将学习如何使用
自动机
来识别语言、如何转换不同类型的
自动机
以接受不同类型的语言，以及如何使用
形式语言
来描述语言结构。
形式语言
与
自动机
在计算机科学中有广泛的应用，例如编译器、自然语言处理、图像处理等。因此，掌握
形式语言
与
自动机
的基础知识非常重要。
