weixin_44413191的博客

一、前言本文总结 BUPT 计算机学院《形式语言与自动机》的学习资料，希望能帮到学弟学妹，打好基础。从名字也能知道，这门课就是学形式化语言及其对应的自动机。这门课相对简单，知识脉络十分清晰。总结一下就是很简单。《形式语言与自动机》同《离散数学》的感觉其实比较像，不难，也不会花太多时间，学科结构清晰。二、思维导图以下是自己总结的 Xmind 思维导图，可以帮助梳理知识脉络，需要自取链接：https://pan.baidu.com/s/1h7TI9tWXqFKibtPS8urVdA提取码：6ld7

考点：图灵机⇒语言解：工作过程：首先从 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.

形式语言与自动机 第四章 课后题答案

P120 习题10, 14考点：语言⇒DFA（设计DFA）解：（1）M=({q0,q1,q2,q3},{a,b},δ,q0,{q3})M=(\{q_0,q_1,q_2,q_3\},\{a,b\},δ,q_0,\{q_3\})M=({q0​,q1​,q2​,q3​},{a,b},δ,q0​,{q3​})，其中 δ 如下：（2）M=({q0,q1,q2},{a,b},δ,q0,{q2})M=(\{q_0,q_1,q_2\},\{a,b\},δ,q_0,\{q_2\})M=({q0​,q1​,q2​},

P37 4、6、7课后题答案