《形式语言与自动机》(王柏、杨娟编著)课后习题答案
形式语言与自动机 形式语言与自动机理论-蒋宗礼-第三章参考答案
形式语言与自动机形式语言与自动机理论-蒋宗礼-第三章参考答案导读：就爱阅读网友为您分享以下“形式语言与自动机理论-蒋宗礼-第三章参考答案”的资讯，希望对您有所帮助，感谢您对的支持!因此我们只需要证明对任何的2NFA M1?(Q1,?,?1,F1,q0)，都存在FAM2?(Q2,?,?2,F2,q0)与之等价。
对于任何的2NFA M1?(Q1,?,?1,F1,q0)，构造FA M2?(Q2,?,?2,F2,q0)，按三个方式构造?2：1．如果q?Q1,a??,?1(q,a)?{p,R},则?2(q,a)?p；2．如果q?Q1,a??,?1(q,a)?{p,S},则如果??1(p,a)?{o,R}，则?2(q,a)?o；如果??1(p,a)?{o,S}，则重复第二步；如果??1(p,a)?{o,L}，则对于集合A = {r|b?Q1,?1(r,b)?(o,R)}，?2(q,a)?r,r?A。
3．如果q?Q1,a??,?1(q,a)?{p,L},则设集合 A = {r|b?Q1,?1(r,b)?(p,R)}，?2(q,a)?r,r?A*************************************************** ****************************28．证明定理3-8：Moore机与Mealy机等价（郭会02282015）证明：不妨设Moore机M1=(Q1,?,?,?1,?1,q01)，Mealy机M2=(Q2,?,?,?2,?2,q02)，则根据Moore机和Mealy机等价的定义知，必须证明：T1(x)??1(q0)T2(x),其中T1(x)和T2(x)分别表示M1和M2关于x的输出。
??Moore机M1,?Mealy机M2,使M2与M1等价（1）构造M2，?2??1,q02?q01,Q2?Q1?q?Q1?{q01},?1(q)?a,?q'?Q1且?b??,?1(q',b)=q,就构造?2（q',b）=a（2）证明?x??*，?1(q0)T2(x)?T1(x)不妨设x?x1x2……xn,则?i?N,(i?1,2……n)则M1的输出为:T1(x)??1(q0)?1(?1(q0,x1))……?1(?1((…?1(q0,x1)，x2)…)，xn)由题意可知?1(q0,x1)，?1(?1(q0,x1),x2)，…，?1(……?1 (?1(q0,x1),x2) xn) 均为Moore机中的状态，由（1）中的构造假设知，M2的输出为：T2(x)??2(q0,x1)?2(?2(q0,x1),x2)…?2(……?2(?2(q0,x1),x2) ? ?1(q0,x1)?1(?1(q0,x1),x2)…?1(……?1(?1(q0,x1),x2) xn) xn) ?T1(x)??1(q0)T2(x)??Mealy机M2,?Moore机M1,使M1与M2等价（1）构造M1，q01?q02Q1?Q2?{qij|??2(qi,a)?qj,其中qi,qj?Q2,a??}?1?{?|?(qi,a)?qij,?(qij,?)?qj其中?2(qi,a)?qj}?1?{?|?1(qi,a)?qij,?1(qij,?)?qj,?(qij)??2(qi,a) }（2）证明?x??*，T1(x)＝?1(q0)T2(x)不妨设x?x1x2……xn,则?i?N,(i?1,2……n)则M1的输出为:T2(x)??2(?2(q0,x1))……?2(?2((…?2(q0,x1)，x2)…)，xn) 由题意可知?2(q0,x1)，?2(?2(q0,x1),x2)，…，?2(……?2 (?2(q0,x1),x2) xn) 均为Mealy机中的状态，由（1）中的构造假设知，M1的输出为：T1(x)??1(q0)?1(?2(q0,x1))?1(?1(q0,x1),x2)…?1(……?1(?1(q 0,x1),x2) xn)??1(q0)?2(?2(q0,x1))……?2(?2((…?2(q0,x1)，x2)…)，xn) ?T1(x)??1(q0)T2(x)综上所述，Moore机与Mealy机等价第三章作业答案1．已知DFA M1与M2如图3－18所示。
有限自动机在自动控制软件分析中的应用
间隔单 元 ）和控 制 系统交 换信 息 。使 用 这 种协 议 ，在 变电站 和厂 站 中 ，不同 的 继 电保 护设备 （ 或者 间隔 单元 ）和 控制
参考艾馘ｌ 毒
。｜ ｌ
… 王柏 ， 杨娟 ，形 式语 言 与 自动机『 Ｍ ］ ． 北 京 ：北 京 邮 电 大 学 出版 社 ． ２ ０ ０ ５ ［ ２ ］ 陈文 宇 ， 形 式语 言 与 自动机 ［ Ｍ ］ ．成 者 Ｉ
赵丽敏 ．女 ．在读 硕士 ．讲 师 ，德州学 院计 算机 系教师 ，主要 研究方 向 ：数据库技术 及
示 。其 中，Ｓ为 各个状 态和 ｆ为各种转换
条件 。
上接 第 １ ２ ６页
程序 设计 卜 的分支和循环这两个最卞婴的 序结 构 。这种 处理 方法使 得整 个软 什 设计过 程思路 清晰 ，设 计 ｝ Ｈ 的程 序也 符 合结 构化 ｆ ｒ ｌ ＇ － ． 的原 则 。
镣巷 食 。鼍 ｌ ｌ ｌ ｌ ＿ ＿ ｌ ｌ ｌ
应 用
。 ０ ｌ
行设 计分 析时 ，采 用 了形式语 言 与自动
机的相关技术 ，通过 对整个 Ｉ ＥＣ６ ０ ８ ７ ０ ５ ｌ ０ ３ 规 约 研 究 ，用状 态 转 换 图即 有 限 自 动机描 述主站和子站通讯的流程如下图所
首先把上面得到的有限 自动机进行确 定化 ，然 后进 行 自动机 的化 简 ，对每 个 状 态结点所做 的工作编写 一 段程序实现 ， 各 段 程 序 之 间 的转 移 由 一 个 “ 判 别状 态” 来实现 ，构成程 序 的分 支 。用程 序 设 计语 言 灾现 上面 的有限 自动 机 。在 本 项 目的程 序设 计中 ，主 要有 “ 遥 信 、遥 测 、遥 控 、遥 调 ” 等 功 能 ，按 照此 方 完全掌握 这个 易用的数据库访 问工具 。
第二章节形式语言与自动机理论参考测试答案
2．1回答下面的问题： （周期律 02282067） （1）在文法中，终极符号和非终极符号各起什么作用？✓ 终结符号是一个文法所产生的语言中句子的中出现的字符，他决定了一个文法的产生语言中字符的范围。
✓ 非终结符号又叫做一个语法变量，它表示一个语法范畴，文法中每一个产生式的左部至少要还有一个非终结符号，（二，三型文法要求更严，只允许左部为一个非终结符号）他是推导或归约的核心。
（2）文法的语法范畴有什么意义？开始符号所对应的语法范畴有什么特殊意义？ ✓ 文法的非终结符号A 所对应的语法范畴代表着一个集合L （A ），此集合由文法产生式中关于A 的产生式推导实现的✓ 开始符号所对应的语法范畴则为文法G = {V ，T ，P ，S}所产生的语言L （G ）={w S T w w **|⇒∈且}（3）在文法中，除了的变量可以对应一个终极符号行的集合外，按照类似的对应方法，一个字符串也可以对应一个终极符号行集合，这个集合表达什么意义？✓ 字符串对应的终极符号行集合表示这个字符串所能推导到的终极字符串集合，为某个句型的语言。
（4）文法中的归约和推导有什么不同？✓ 推导：文法G = {V ，T ，P ，S}，如果,)(,,* T VP ∈∈→δγβα则称γαδ在G 中推导出了γβδ。
✓ 归约：文法G = {V ，T ，P ，S}，如果,)(,,*T VP ∈∈→δγβα则称γβδ在G 中归约到γαδ。
✓ 这他们的定义，我个人理解两个概念从不同角度看待文法中的产生式，推导是自上而下（从产生式的左边到右边），而归约是自下而上（从产生式的右边到左边），体现到具体实际中，如编译中语法分析时语法树的建立，递归下降，LL （1）等分析法采用自开始符号向下推导识别输入代码生成语法树，对应的LR （1），LALR 等分析法则是采用自输入代码（相当于文法中语言的句子）自底向上归约到开始符号建立语法树，各有优劣。
（5）为什么要求定义语言的字母表上的语言为一个非空有穷集合？ ✓ 非空：根据字母表幂的定义：εε,}{0∑=为字母表中０个字符组成的。
形式语言与自动机
形式语言与自动机形式语言与自动机（计算机网络班）第一章绪论 1. 幂集2. 字母表的性质3. 真前缀、真后缀、前缀、后缀4. 语言的形式化表示题目：填空题{Φ,{Φ}}的幂集是：{Φ,{Φ},{{Φ}},{Φ,{Φ}}} 判断题对于任何一个非空集合A, A ?2A 错误{a,d,f}?{a,b,c,…,z}是字母表正确ε一定是字符串的前缀或后缀，当字符串不为ε时，则ε一定是其真前缀或真后缀正确∑={aa,ab,bb,ba}，求字符串aaaaabbbba 的所有前缀的集合、后缀的集合、真前缀的集合、真后缀的集合。
解：由前缀、后缀、真前缀、真后缀的集合可以有：其前缀集合为：{ε,aa,aaaa,aaaaab,aaaaabbb,aaaaabbbba} 其真前缀集合为：{ε,aa,aaaa,aaaaab,aaaaabbb}其后缀集合为：{ε,ba,bbba,abbbba, aaabbbba, aaaaabbbba } 其真后缀集合为：{ε,ba,bbba,abbbba, aaabbbba} 设}1,0{=∑，请给出上∑的下列语言的形式表示。
所有最多有一对连续的0或者最多有一对连续的1的串。
解答：****}0,01}{11,{}0,10{}1,10}{00,{}1,01{εε 。
所有最多有一对连续的0并且最多有一对连续的1的串。
解答：按照实际情况分成4类：1) 只有一对连续的0： **}1,10}{00{}1,01{。
2) 只有一对连续的1： **}0,01}{11{}0,10{。
3) 没有连续的0并且没有连续的1：**}01{}10{ 。
4) 有一对连续的0和一对连续的1：******}10}{00{}01}{11{}10{}01}{11{}10}{00{}01{ 。
所有长度为偶数的串。
解答：...2,1,}1,0{2 n n所有倒数第10个字符是0的串。
解答：{0,1}*0{0,1}9。
第二章正则文法 G=(V ,T,P,S)1. 文法产生句子用到的是推导，判断一个句子的合法性可以使用产生语言文法的推导和规约进行判断2. 文法的构造。
形式语言与自动机理论--第三章参考答案
第三章作业答案1．已知DFA M1与M2如图3－18所示。
(xxxx 02282068) (1) 请分别给出它们在处理字符串1011001的过程中经过的状态序列。
(2) 请给出它们的形式描述。
Sq q1q q图3－18 两个不同的DFA解答：(1)M1在处理1011001的过程中经过的状态序列为q0q3q1q3q2q3q1q3;M2在处理1011001的过程中经过的状态序列为q0q2q3q1q3q2q3q1;(2)考虑到用形式语言表示,用自然语言似乎不是那么容易,所以用图上作业法把它们用正则表达式来描述:M1: [01+(00+1)(11+0)][11+(10+0)(11+0)]* M2: (01+1+000){(01)*+[(001+11)(01+1+000)]*} *******************************************************************************2．构造下列语言的DFA( xx02282085 ) （1）{0，1}*，1（2）{0，1}+，1（3）{x|x{0，1}+且x 中不含00的串}（设置一个陷阱状态，一旦发现有00的子串，就进入陷阱状态）（4）{ x|x{0，1}*且x中不含00的串}（可接受空字符串，所以初始状态也是接受状态）（5）{x|x{0，1}+且x中含形如10110的子串}（6）{x|x{0，1}+且x中不含形如10110的子串}（设置一个陷阱状态，一旦发现有00的子串，就进入陷阱状态）（7）{x|x{0，1}+且当把x看成二进制时，x模5和3同余，要求当x为0时，|x|=1,且x0时，x的首字符为1 }1.以0开头的串不被接受，故设置陷阱状态，当DFA在启动状态读入的符号为0，则进入陷阱状态2.设置7个状态：开始状态qs,q0:除以5余0的等价类，q1：除以5余1的等价类,q2:除以5余2的等价类，q3:除以5余3的等价类，q4:除以5余4的等价类，接受状态qt3.状态转移表为（8）{x|x{0，1}+且x的第十个字符为1}（设置一个陷阱状态，一旦发现x的第十个字符为0，进入陷阱状态）（9）{x|x{0，1}+且x以0开头以1结尾}（设置陷阱状态，当第一个字符为1时，进入陷阱状态）（10）{x|x{0，1}+且xxx至少含有两个1}（11）{x|x{0，1}+且如果x以1结尾，则它的xx为偶数；如果x以0结尾，则它的xx为奇数}可将{0，1}+的字符串分为4个等价类。
自然语言理解(03)形式语言与自动机
3.3自动机理论
q 线性带限自动机所接受的语言
3.3自动机理论
q 定理
定理 ３．５：如果 L 是一个前后文有关语言，则 L 由一个不 确定的线性带限自动机所接受。反之，如果 L 被一个线性带 限自动机所接受，则 L 是一个前后文有关语言。
各类自动机的区别与联系
主要区别：各类自动机的主要区别是它们能够使用的信 息存储空间的差异：有限状态自动机只能用状态来存储信息； 下推自动机除了可以用状态以外，还可以用下推存储器 （栈）；线性带限自动机可以利用状态和输入/输出带本身。 因为输入/输出带没有“先进后出”的限制，因此其功能大于 栈；而图灵机的存储空间没有任何限制。 识别语言的能力：有限自动机等价于正则文法；下推自 动机等价于上下文无关文法；线性带限自动机等价于上下文 有关文法，图灵机等基于 0 型文法。
3.2 形式语言
q 关于语言的定义
按照一定规律构成的句子和符号串的有限或无限的集合。
－ Chomsky
语言可以被看成一个抽象的数学系统。（吴蔚天，1994）
语言描述的三种途径
v 穷举法 — — 只适合句子数目有效的语言。 v 语法描述 — — 生成语言中合格的句子。
v 自动机 — — 对输入的句子进行检验，区别哪些是语 言中的句子，哪些不是语言中的句子。
3.4自动机在自然语言处理中的应用
• 3.4.1 单词拼写检查 • 3.4.2单词形态分析 • 3.4.3 词性消歧
3.4自动机在自然语言处理中的应用
q 有限自动机用于英语单词拼写检查
[Oflazer, 1996] 设 X 为拼写错误的字符串，其长度为 m，Y 为 X 对应的正 确的单词（答案），其长度为 n。则 X 和 Y 的编辑距离 ed(X[m], Y[n])为：从字符串 X 转换到 Y 需要的插入、删除、 替换和交换两个相邻的基本单位（字符）的最小个数。如： ed (recoginze, recognize) = 1 ed (sailn, failing) = 3
《形式语言与自动机》期末复习题及答案(一)
形式语言与自动机期末复习题及答案（一）1.有图灵机 M=(Q, ∑, Γ, δ,q 0 , B , F) 接受语言{w t w│w ∈{a, b}*}，按照下图说明其接受过程。
（本题15分 ）[q 1[q 6,B]答：abtab 的分析过程：[q 1,B]abtab├a [q 2,a]btab├ab [q 2,a]tab├abt [q 3,a]ab├ ab [q 4,B]tab├a [q 5,B]btab├[q 6,B]abtab├a [q 1,B]btab ├ab [q 2,b]tab├abt [q 3,b]ab ├abta [q 3,b]b ├abt [q 4,B]ab├a [q 5,B]btab ├ab [q 7,B]tab ├abt [q 8,B]ab├abta [q 8,B]b ├abtab [q 8,B]B├abta [q 9,B]b 接受abtab√√√√√√√√√√√√√√√√√√√√√√√√√√√√√√√√√√√√√√√√√√√√√√√√2.简述《形式语言与自动机》课程的主要内容。
(本题10分)答：语言的文法描述；RL （RG 、FA 、RE 、RL 的性质 ）；CFL （CFG(CNF 、GNF)、PDA 、CFL 的性质）；TM （基本TM 、构造技术、TM 的修改）；CSL （CSG 、LBA ）。
3.简述《形式语言与自动机》课程的学习目的和基本要求。
(本题10分) 答：本专业人员4种基本的专业能力：计算思维能力、算法的设计与分析能力、程序设计和实现能力、计算机软硬件系统的认知、分析、设计与应用能力。
其中计算思维能力包括：逻辑思维能力和抽象思维能力、构造模型对问题进行形式化描述、理解和处理形式模型。
本课程应使学生掌握如下知识：正则语言、下文无关语言的文法、识别模型及其基本性质、图灵机的基本知识。
锻炼培养如下能力：形式化描述和抽象思维能力、了解和初步掌握“问题、形式化描述、自动化（计算机化）”这一最典型的计算机问题求解思路。
形式语言与自动机大作业
新技术楼电梯DFA模型班级：1003104学号：1100300808姓名：李佳宁一、自然语言描述：1电梯的基本情况：1)新技术楼一共有10层。
3)电梯内部设有开门、关门和1-10数字键。
4)除第一层只有向上键、第十层只有向下键以外，在每一层楼电梯门外部均设有向上和向下键。
2电梯的运行方式：对于任意的i,j,k (1≤i< j<k≤10)上升期间：（1）当电梯经过第i层向上运动时，用户按下j层键和k层键，电梯会先停在第j层，再停在第k层。
（2）当电梯经过第i层向上运动时，在内部有j键按下，外部k层有向键按下，先到j再到k。
（3）当电梯经过第i层向上运动时，外部j，k层有向上键按下，先到j再到k。
（4）当电梯经过第i层向上运动时，外部j，k层有向下键按下，先到k再到j。
（5）当电梯经过第i层向上运动时，在内部有k键按下，外部j层有向下键按下，先到k层后再回到j层。
（6）当电梯经过第j层向上运动时，用户之前已按下k键，此时再按下i键，电梯会停止在第k层，且不会再返回第i层。
（7）在j层向上的电梯，在电梯内有k键被按下，i层外有键按下，则先到k 层再返回i层。
（8）在j层向上的电梯，在电梯外i层k层有向下键按下，当电梯向上状态结束后，先到k层再到i层。
（9）按键一但按下后，将不能够取消。
（10）当电梯超重时电梯将停在该楼层，直到电梯载重恢复到极限之下时电梯才会接着运行下降期间运行状态与向上类似，这里不多加说明。
二．DFA设计：1.状态：Q1 电梯停在1楼 Q2 电梯停在2楼 Q3 电梯停在3楼 Q4 电梯停在4楼 Q5 电梯停在5楼 Q6 电梯停在6楼 Q7 电梯停在7楼 Q8 电梯停在8楼 Q9 电梯停在9楼Q10 U1 电梯停在10楼电梯上升过程中经过1楼U2 电梯上升过程中经过2楼 U3 电梯上升过程中经过3楼 U4 电梯上升过程中经过4楼 U5 电梯上升过程中经过5楼 U6 电梯上升过程中经过6楼 U7 电梯上升过程中经过7楼 U8 电梯上升过程中经过8楼 U9 电梯上升过程中经过9楼 D2 电梯下降过程中经过2楼 D3 电梯下降过程中经过3楼 D4 电梯下降过程中经过4楼 D5 电梯下降过程中经过5楼 D6 电梯下降过程中经过6楼 D7 电梯下降过程中经过7楼2、输入信号： 1≤i ≤10，i 为整数，u 、d 为字母三、DFA 图(由于本楼层实在太多且全部由本人完成，故只选5层楼为例，并假设第5层楼为顶楼)：D8电梯下降过程中经过8楼 D9D10电梯下降过程中经过9楼 电梯下降过程中经过10楼 E1电梯超重停在1楼 E2电梯超重停在2楼 E3电梯超重停在3楼 E4电梯超重停在4楼 E5电梯超重停在5楼 E6电梯超重停在6楼 E7电梯超重停在7楼 E8电梯超重停在8楼 E9电梯超重停在9楼 E10电梯超重停在10楼i电梯内部i 键被按下 iu电梯外部第i 层向上键被按下(无10u) id 电梯外部第i 层向键被按下（无1d ）E 使电梯超重状态的输入R 使电梯由超重状态恢复的输入三、DFA 表达式：DFA A = {Q, Σ, δ, Q0, F}：Q={Q1，Q2，Q3，Q4，Q5，Q6，Q7，Q8，Q9，Q10，U1，U2，U3，U4，U5，U6，U7，U8，U9，D2，D3，D4，D5，D6，D7，D8，D9，D10，E1，E2，E3，E4，E5，E6，E7，E8，E9，E10}；∑={1,2,3,4,5,6,7,8,9,10,1u,2u,3u,4u,5u,6u,7u,8u,9u,2d,3d,4d,5d,6d,7d,8d,9d,10d,E,R}；转移函数（以下所有状态下标都在1~10范围内）：（Qi，i）=Qi ；δ（Qi，E）=Ei ；δ（Ei，R）=Qi ；δ（Qi，iu）=Qi （i小于10）；δ（Qi，id）=Qi （i大于1）；δ（Qi，i+1 至10）=Ui ；δ（Qi，（i+1）u 至9u）= Ui ；δ（Qi，（i+1）d 至10d）= Ui ；δ（Qi，1 至i-1）=Di ；δ（Qi，1u 至（i-1）u）= Di ；δ（Qi，2d 至（i-1）d）= Di ；δ（U(i-1)，i）=Qi ；δ（U(i-1)，iu）=Qi ；δ（U(i-1)，id）=Qi ；δ（D(i+1)，i）=Qi ；δ（D(i+1)，iu）=Qi ；δ（D(i+1)，id）=Qi ；δ（U(i-1)，i+1 至10）=Ui ；δ（U(i-1)，(i+1)u 至9u）=Ui ；δ（U(i-1)，(i+1)d 至10d）=Ui ；δ（D(i+1)，i-1 至1）=Di ；δ（D(i+1)，(i-1)u 至1u）=Di ；δ（D(i+1)，(i-1)d 至2d）=Di ；Q0=Q1；F={Q1，Q2，Q3，Q4，Q5，Q6，Q7，Q8，Q9，Q10}；四、小组分工：全部由李佳宁一人完成（小组人数一人）。
《形式语言与自动机》(王柏、杨娟编著)课后习题答案
形式语言与自动机课后习题答案第二章4．找出右线性文法，能构成长度为1至5个字符且以字母为首得字符串。
答：G={N,T,P,S}其中N={S,A,B,C,D} T={x,y} 其中x∈{所有字母} y∈{所有得字符} P如下: S→x S→xA A→y A→yBB→y B→yC C→y C→yD D→y6．构造上下文无关文法能够产生L={ω/ω∈{a,b}*且ω中a得个数就是b得两倍}答：G={N,T,P,S}其中N={S} T={a,b} P如下:S→aab S→aba S→baaS→aabS S→aaSb S→aSab S→SaabS→abaS S→abSa S→aSba S→SabaS→baaS S→baSa S→bSaa S→Sbaa7．找出由下列各组生成式产生得语言（起始符为S）(1)S→SaS S→b(2)S→aSb S→c(3)S→a S→aE E→aS答：（1）b(ab)n /n≥0}或者L={(ba)n b/n≥0}(2) L={a n cb n /n≥0}(3)L={a2n+1 /n≥0}第三章1．下列集合就是否为正则集，若就是正则集写出其正则式。
（1）含有偶数个a与奇数个b得{a,b}*上得字符串集合（2）含有相同个数a与b得字符串集合（3）不含子串aba得{a,b}*上得字符串集合答：（1）就是正则集，自动机如下题（2）。
(3) 就是正则集先瞧L’为包含子串aba得{a,b}*上得字符串集合显然这就是正则集，可以写出表达式与画出自动机。
（略）则不包含子串aba得{a,b}*上得字符串集合L就是L’得非。
根据正则集得性质，L也就是正则集。
4．对下列文法得生成式，找出其正则式（1）G=({S,A,B,C,D},{a,b,c,d},P,S),生成式P如下：S→aA S→BA→abS A→bBB→b B→cCC→D D→bBD→d（2）G=({S,A,B,C,D},{a,b,c,d},P,S),生成式P如下：S→aA S→BA→cC A→bBB→bB B→aC→D C→abBD→d答：(1) 由生成式得：S=aA+B ①A=abS+bB ②B=b+cC ③C=D ④D=d+bB ⑤③④⑤式化简消去CD，得到B=b+c(d+bB)即B=cbB+cd+b =>B=(cb)*(cd+b) ⑥将②⑥代入①S=aabS+ab(cb)*(cd+b)+(cb)*(cd+b) =>S=(aab)*(ab+ε)(cb)*(cd+b) (2) 由生成式得：S=aA+B ①A=bB+cC ②B=a+bB ③C=D+abB ④D=dB ⑤由③得 B=b*a ⑥将⑤⑥代入④ C=d+abb*a=d+ab+a ⑦将⑥⑦代入② A=b+a+c(d+b+a) ⑧将⑥⑧代入① S=a(b+a+c(d+ab+a))+b*a=ab+a+acd+acab+a+b*a5、为下列正则集，构造右线性文法：(1){a,b}*(2)以abb结尾得由a与b组成得所有字符串得集合(3)以b为首后跟若干个a得字符串得集合(4)含有两个相继a与两个相继b得由a与b组成得所有字符串集合答：（1）右线性文法G=({S},{a,b},P,S)P: S→aS S→bS S→ε(2) 右线性文法G=({S},{a,b},P,S)P: S→aS S→bS S→abb(3) 此正则集为{ba*}右线性文法G=({S,A},{a,b},P,S)P: S→bA A→aA A→ε(4) 此正则集为{{a,b}*aa{a,b}*bb{a,b}*, {a,b}*bb{a,b}*aa{a,b}*}右线性文法G=({S,A,B,C},{a,b},P,S)P: S→aS/bS/aaA/bbBA→aA/bA/bbCB→aB/bB/aaCC→aC/bC/ε7、设正则集为a(b a)*(1)构造右线性文法(2)找出（1）中文法得有限自b动机答：（1）右线性文法G=({S,A},{a,b},P,S)P: S→aA A→bS A→ε（2）自动机如下：)9、对应图（a）(b)得状态转换图写出正则式。
形式语言与自动机复习总结
形式语言与自动机复习总结适合《形式语言与自动机》（第2版）、杨娟，石川，王柏主编1.形式语言：形式化描述的字母表上的字符串集合，是一种公认的符号和表达式所描述的一种语言，是通用的语言。
2.自动机：具有离散的输入输出模型。
a)状态：一个标识，能区分自动机在不同时刻的状况。
b)自动机本质：根据输入和规则决定下一个状态。
c)部分常见的自动机：i.有限自动机：具有读头的有限控制器和一条写有字符的输入带组成。
ii.下推自动机：由一个输入带，一个有限控制器和一个下推栈组成。
iii.图灵机：一个具有读写头的有限控制器和一条无限带组成。
3.部分术语a)字母表：字符的有限集合，记为。
b)字符串：由字母表中的字符构成的序列。
Note: 一般字符串常用来表示，单个字符常用来表示。
c)字（串）：字母表上的字符串。
d)空串：不包含任何字符的字符串，用表示。
e)长度：字符串上的字符个数，用表示。
f)连接：设为串，且，，那么和的连接定义为。
性质：i.ii.iii.g)字符串的逆：字符串的倒置，用或表示，其中。
h)幂运算：设为字母表，为任意自然数，定义：i.ii.设，则iii.中的元素由i和ii生成i)闭包：j)闭包：Note:4.语言：设为字母表，则任何集合是字母表上的一个语言。
a)语言的积：和的积表示为，表示由和的字符串连接所构成的字符串的集合。
Note:b)语言的幂：。
Note: 字符串和语言的关系可以类比集合的元素和集合的关系。
5.文法：定义语言的数学模型。
a)列举法：表示有限集合。
b)文化产生系统：由定义的文法规则产生语言。
c)机器识别系统：当一个字符串能被识别系统接受，则这个字符串是语言的一个句子。
d)BNF：讨论某种程序设计语言语法的元语言<数字><字母><标识符> <字母>|<标识符><字母>|<标识符><数字>“定义为”, “或者”, <>: “必须的部分”6.Chomsky文法体系：将BNF中的“”用“”代替，用字符代替汉字包含两个不同的有限符号的集合：非终结符和终结符，形式规则的有限集，起始符，文法，的集合，, 。
自动机理论、语言和计算导论课后习题答案(中文版)
Solutions for Section 2.2Exercise 2.2.1(a)States correspond to the eight combinations of switch positions, and also must indicate whether the previous roll came out at D, i.e., whether the previous input was accepted. Let 0 represent a position to the left (as in the diagram) and 1 a position to the right. Each state can be represented by a sequence of three 0's or 1's, representing the directions of the three switches, in order from left to right. We follow these three bits by either a indicating it is an accepting state or r, indicating rejection. Of the 16 possible states, it turns out that only 13 are accessible from the initial state, 000r. Here is the transition table:杠杆可能出现8种情况，影响着最终状态。
并且也要说明，前面一个大理石球是否从D滚出，也就是说，前一个输入是否被接受。
令0 代表向左方的状态（如图表），1 代表向右方。
这三个杠杆的每一个状态都可以用三个数（0或1）组成的序列表示。
这个序列后面跟着字母a或者r。
形式语言与自动机ch4.2
可致空符号（nullable symbol）
对于 CFG G = (N, T, P , S )，称符号 A N 是可致 空的，当且仅当 A .
（3）消除 G 中的 无用符号.
注意 以上简化步骤的次序. 结论 设 CFG G 的语言至少包含一个非 的字符串，通 过上述步骤从 G 构造 G1 ，则有 L(G1)= L(G) - {}.
College of Computer Science & Technology, BUPT
22
§ 4.2 上下文无关文法的变换
CFG 的简化 消无用符号 消 产生式 消单产生式 对生成式形式进行标准化
College of Computer Science & Technology, BUPT
1
生成式的标准形式
Chomsky范式 (CNF - Chomsky Normal Form) 生成式形式为A→BC, A→a, A, B, C∈N , a∈T (后 面将证明, 每个上下文无关文法都有一个CNF文法)
College of Computer Science & Technology, BUPT 6
算法1: 找出有用非终结符（图示）
N''= N0∪{B|B→α 且α ∈(T∪N ')* } N' = { A | A→ω 且 ω ∈T*}
B
1
A
1
N0 = 空
A
2
A
3
2
B
一层层向外扩展，直至最外两层相等为止。所得集合
形式语言与自动机课件ch4.64.7
②如果ω2、ω3都含有a，（b或c） ∵∣ω∣＝apbpcp 可写成ω＝akam an al ajbpcp ω2ω0 ω3
其中m+n+l≤p, m+l≥1,k+m+n+l+j=p.
将ω2、ω3重复i=2次，将有ω’ = akamianaliajbpcp =ap+m+lbpcp∈L
(a的个数大于b和c的个数)
∴与2型语言的假设矛盾。
School of Computer Science, BUPT
5
(3)若ω2、ω3分别包含a和b（b和c） 设ω2=am、ω3=bn 且m+n≥1
6
例：证明L＝ {ak2 | k 1} 不是2型语言
证：假设L是2型语言。
由泵浦引理，取常数p，当ω∈L时，︱ω︱≥k2 ＝p
将ω＝ ak2 写为ω＝ω1ω2ω0ω3ω4，并有 ︱ω2ω0ω3︱≤ p 且 ︱ω2ω3︱≠ε即︱ω2ω3︱≥1 则应有ω1ω2iω0ω3iω4 ∈ L ∵︱ω2ω0ω3︱≤ p，︱ω2ω3︱≥1 ∴1≤︱ω2ω0ω3︱≤p 又∵ω＝ ak，2 特别是当取k＝p时，
School of Computer Science, BUPT
3
设为v1= v2=A, v1靠近树根，v1到叶子的最长路径为n+1。
形如
如图：Z1＝ω2ω0ω3
S
︱Z1∣≤2 n ＝p
B
B
A
C
B
A
在该路径上：
v1靠近根，其子树为T1，边 为Z1 v2远离根，其子树为T2，边 为ω0
0a0b0c1a1b1ca0a1...
形式语言
形式语言 – 元语言：
用数学方法将符号语言抽象成一个数学系统，对其进行严格 的形式化定义，并构建适当的描述模型，发展相关的知识和 理论，使之在科学实践中具有良好的指导作用。
形式语言与自动机理论的发展概况
何为形式语言 形式语言的研究概况 计算模型相关研究领域
研究概况
数理语言学家致力于用数学方法研究自然语言的结构，试 图用计算机模拟。
字母表与字符串
定义 1.5
设∑是一个字母表， x ∈∑*， x 叫做 ∑ 上的一个句子（ 字符串、符号串）。
例：
1、{ 0, 1 }* = {ε, 0, 1, 00, 01, 10, 11, 000, 001, 010, 011, 100, ... }; 2、{ a, b, c }* = {ε, a, b, c, aa, ab, ac, ba, bb, bc, …, aaa, … } 3、 an = aa…a 表示 n 个 a 组成的字符串。
∑的克林闭包：
∑* = ∑0∪ ∑ ∪ ∑2 ∪∑3 ∪ …. ,
是 上全体字符串构成的集合
例：1、{ 0, 1 }+ = { 0, 1, 00, 01, 10, 11, 000, 001, 010, 011, 100, ... };
2、{ 0, 1 }* = {ε, 0, 1, 00, 01, 10, 11, 000, 001, 010, 011, 100, ... }; 3、{ a, b, c }* = {ε, a, b, c, aa, ab, ac, ba, bb, bc, …, aaa, … }
例： 若 = ab， = ab， 则 = ； 若 = ab， = ba， 则 。
字母表与字符串
定义 1.8 ：
形式语言与自动机理论蒋宗礼第一章参考答案
第一章参考答案1.1请用列举法给出下列集合。
（吴贤珺02282047）⑴你知道的各种颜色。
解：{红，橙，黄，绿，青，蓝，紫}⑵大学教师中的各种职称。
解：{助教，讲师，副教授，教授}⑶你所学过的课程。
解：{语文，数学，英语，物理，化学，生物，历史，地理，政治}⑷你的家庭成员。
解：{父亲，母亲，妹妹，我}⑸你知道的所有交通工具。
解：{汽车，火车，飞机，轮船，马车}⑹字母表{a , b}上长度小于4的串的集合。
解：{a,b,aa,bb,ab,ba,aaa,aab,aba,abb,baa,bab,bba,bbb}⑺集合{1,2,3,4}的幂集。
解：{Φ,{1},{2},{3},{4},{1,2},{1,3},{1,4},{2,3},{2,4},{3,4},{1,2,3},{1,2,4},{1,3,4},{2,3,4},{1,2,3,4} }⑻所有的非负奇数。
解：{1,3,5,7,…}⑼0～100的所有正整数。
解：{1,2,3, (100)(10) 1～10之间的和为10的整数集合的集合。
解：设所求的集合为A，集合A中的元素为A i（i=1,2,3,…），A i也是集合，A i中的元素在1～10之间，并且和为10。
根据集合元素的彼此可区分性，可以计算出A i中元素的最多个数，方法是：把1开始的正整数逐个相加，直到等于10（即10=1+2+3+4），这样，A i中最多有4个元素。
原因是：从最小的1开始，每次加入新的元素都只依次增加1，这样相加的和最小，要加到10，元素个数就最多。
求出最大的∣A i∣＝4后，再求出元素个数为3，2，1的集合就可以了。
故A={{10},{1,9},{2,8},{3,7},{4,6},{1,2,7},{1,3,6},{1,4,5},{2,3,5},{1,2,3,4}}1.2 请用命题法给出下列集合****2.(1){|0100}(2){|{,}||4}(3){|{1,2,3,4}}(4){|{,}*}(5){|21,}(6){(,)|10,[4,9]}(7){|{01}0}|{01}|{01}x x x z x x a b x B B L L a b x x n n N a b a b a b x x x x x x x x x ≤≤∈∈<⊆⊆=-∈+=∈∈∈∈且且且，，且中的个数是1的个数的两倍（8）{，，且中1的个数是10}(9){，，且中倒数第十个字符|||1,[1,10],[1,||],A i i i i x A x i A x =∀∈∈∈∑为1}（10）{A|=10}1.3 给出下列集合的幂集.（02282075 冯蕊）(1) Φ(2) {Φ}(3) {Φ,{Φ}}(4) {ε,0,00}(5) {0,1}解答:(1) {Φ}(2) {Φ,{Φ}}(3) {Φ,{Φ},{{Φ}},{Φ,{Φ}}}(4) {Φ,{ε},{0},{00},{ε,0},{ε,00},{0,00},{ε,0,00}}(5) {Φ,{0},{1},{0,1}}1.4.列出集合{0，1，2，3，4}中 (褚颖娜 02282072)（1） 所有基数为3的子集{0，1，2}，{0，1，3}，{0，1，4}，{0，2，3，}，{0，2，4}，.{1，2，3}，{1，2，4}，{1，3，4}，{0，3，4}，{2，3，4}（2） 所有基数不大于3的子集Ф，{0}，{1}，{2}，{3}，{4}，{3，4}，{2，4}，{2，3}，{1，4}，{1，3}，{0，4}，{0，3}，{0，2}，{1，2}，{0，1}，{0，1，2}，{0，1，3}{0，1，4}，{0，2，3，}，{0，2，4}，.{1，2，3}，{1，2，4}，{1，3，4}，{0，3，4}，{2，3，4}1.5解答：1、3、8、10、11、12、16正确1.6证明下列各题目（02282081 刘秋雯）1）A=B，iff A是B的子集且B是A的子集证明：充分条件：∵A=B则由集合相等的定义知对于任何x∈A，有x∈B∴A为B的子集同理，B为A的子集必要条件：∵A为B的子集∴对于任何x∈A，都有x∈B又∵B为A的子集，∴对于任何x∈B有，x∈A由集合相等的定义知，A=B2）如果A为B的子集，则|A|〈=|B|证明：A为B的子集，则对于任何x∈A有x∈B,∴存在一个集合C 使B=A∪C 且A∩C为空集则|B|=|A|+|C||C|〉=0∴|A|〈=|B|3）如果A为B的真子集，则|A|〈=|B|证明：（1）当A为有穷集合时，因为A为B的真子集，且则对于任何x∈A有x∈B,且存在∈B的x，此x不∈A∴存在一个非空集合C ，使B=A∪C 且A∩C为空集则|B|=|A|+|C| 且|C|〉=1∴|A|〈|B|（2）当A为无穷集合，因为A为B的真子集，则B一定也为无穷集合，|A|＝∞，|B|＝∞∴|A|=|B|综合（1），（2）所述，|A|<=|B|4）如果A是有穷集且A为B的真子集则|A|〈|B|证明：见上题证明（1）5）如果A为B的子集，则对于任何x∈A，有x∈B证明：若A为B的子集，则由子集定义可知，对于任何x∈A，有x∈B6）如果A是B的真子集，则对于任何x∈A，有x∈B，并且存在x∈B，但x不∈A证明：由真子集的定义可证7）如果A为B的子集，B为C的子集，则A为C的子集证明：A为B的子集，B为C的子集则对于任何x∈A，则x都∈B，且，又对于任何y∈B，则y∈C，∴对于任何x∈A，x∈C∴A为C的子集8）如果A为B的真子集，B为C的真子集，则A为C的真子集证明：A为B的真子集，B为C的真子集则对于任何x∈A，则x都∈B，且，存在x∈B但次x不∈A，又对于任何y∈B，则y∈C，存在y∈C但此y不∈B，∴对于任何x∈A，x∈C，存在x∈C.x不∈A∴A为C的真子集9）如果A为B的子集，B为C的真子集，则A为C的真子集证明：因为A为B的子集，B为C的真子集则对于任何x∈A，x都∈B，且x都∈C又对于任何y∈B，则y∈C，存在y∈C但此y不∈B，则y不∈A∴对于任何x∈A，x∈C，存在x∈C.x不∈A∴A为C的真子集10）如果A为B的真子集，B为C的子集，则A为C的真子集证明：A为B的真子集，B为C的子集则对于任何x∈A，则x都∈B，且存在x∈B但次x不∈A，又对于任何y∈B，则y∈C∴对于任何x∈A，x∈C，存在x∈C.x不∈A∴A为C的真子集11）如果A=B，则|A|=|B|证明：A=B，则A与B所含元素相同∴|A|=|B|12）如果A为B的子集，B为C的真子集，或如果A为B的真子集，B为C的子集，则A为C的真子集证明：证明见9，101.7 A = {1,2,3,4,5,6} B = {1,3,5} C = {2,4,6} U = {0,1,2,3,4,5,6,7,8,9}A(1). B= {1,3,5} = B(2). C B A )(= {1,3,5} }6,4,2{={1,2,3,4,5,6} = A (3). )()(C U B A - = {1,3,5} }9,8,7,5,3,1,0{ ={0,1,3,5,7,8,9} = C(4).A-B-C= {2,4,6} – {2,4,6}=Φ(5).A × B × C ×Φ=ΦA ×Φ = Φ(6). A C A B A )(= {1,3,5} {0,7,8,9} {0,7,8,9}= {0,1,3,5,7,8,9} = C(7). C AB A ⨯⨯ =C B A ⨯⨯ =)},(),(),(|),{(C b B a C b B a C b B a b a A ∈∈∈∈∈∈⨯或或 =)},,(),,(),,(|),,{(C c B b A a C c B b A a C c B b A a c b a ∈∈∈∈∈∈∈∈∈或或 (8). C B A B A)( = C A A= C A= A={1，2，3，4，5，6}1．8 对论域U上的集合A、B、C，证明以下结论成立。
自然语言理解(03)形式语言与自动机
NLPR, CASIA
2005-3-11
9
3.1 几个基本概念
例如： 假设 Σ ＝ {0, 1}，那么，0 和 1都是正则表达式。如 果令x=0, y=1, 那么， y* = 1* 也是正则式，对应的正则集为：U={ε, 1, 11, … } xy* = 01* 也是正则式, 且它对应的正则集： V={ 0, 01, 011, 0111, … } x|y* = {x}∪U = {0, ε, 1, 11, 111, … }
G
G
用 + （按非平凡方式派生）表示 ⇒ 的传递闭包，也就是 ⇒ G (N ∪ Σ)*上的符号串 ξi 到 ξi+1 的 n ( n ≥ 1) 步推导或派生。 用
G
的自反和传递闭包，即由(N ∪ Σ)*上的符 号串 ξi 到 ξi+1 经过n ( n ≥ 0)步推导或派生。
⇒ （派生）表示 ⇒
G
G
∗
NLPR, CASIA
2005-3-11
6
3.1 几个基本概念
(2) 符号串集合的乘积 设A, B是符号串的集合，则A, B的乘积定义为：
NLPR
AB = {xy | x ∈ A, y ∈ B}
相应地，A0= {ε}, An=An-1A=AAn-1 例如: 设A={aa, bb}, B={cc, dd, ee}，则 AB={aacc, aadd, aaee, bbcc, bbdd, bbee} A2={aaaa, aabb, bbaa, bbbb}
NLPR, CASIA
2005-3-11
18
3.2 形式语言
q 句型与句子
NLPR
一些特殊类型的符号串为文法 G=(N, Σ, P, S) 的句子形式 (句型)： (1) S 是一个句子形式； (2) 如果 αβγ 是一个句子形式，且 β → δ 是 P 的产生式， 则 αδγ 也是一个句子形式； 文法 G 的不含非终结符的句子形式称为 G 生成的句子。 由文法 G 生成的语言，记作 L(G)，指 G 生成的所有句子的集 合。即： L(G) = {x | x ∈ Σ, S
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
形式语言与自动机课后习题答案第二章4．找出右线性文法，能构成长度为1至5个字符且以字母为首的字符串。
答：G={N,T,P,S} 其中N={S,A,B,C,D} T={x,y} 其中x ∈{所有字母} y ∈{所有的字符} P 如下: S →x S →xA A →y A →yBB →y B →yC C →y C →yD D →y6．构造上下文无关文法能够产生L={ω/ω∈{a,b}*且ω中a 的个数是b 的两倍} !答：G={N,T,P,S} 其中N={S} T={a,b} P 如下: S →aab S →aba S →baa S →aabS S →aaSb S →aSab S →Saab S →abaS S →abSa S →aSba S →Saba S →baaS S →baSa S →bSaa S →Sbaa7．找出由下列各组生成式产生的语言（起始符为S ） (1) S →SaS S →b (2) S →aSb S →c (3) / (4) S →a S →aE E →aS答：（1）b(ab)n /n ≥0}或者L={(ba)n b /n ≥0}(2) L={a n cb n /n ≥0} (3) L={a 2n+1 /n ≥0}第三章1． 下列集合是否为正则集，若是正则集写出其正则式。
（1） 含有偶数个a 和奇数个b 的{a,b}*上的字符串集合 （2） 含有相同个数a 和b 的字符串集合 （3） < （4） 不含子串aba 的{a,b}*上的字符串集合答：（1）是正则集，自动机如下aa(2) 不是正则集，用泵浦引理可以证明，具体见17题（2）。
(3) 是正则集先看L’为包含子串aba的{a,b}*上的字符串集合{显然这是正则集，可以写出表达式和画出自动机。
（略）则不包含子串aba的{a,b}*上的字符串集合L是L’的非。
根据正则集的性质，L也是正则集。
4．对下列文法的生成式，找出其正则式（1）G=({S,A,B,C,D},{a,b,c,d},P,S),生成式P如下：S→aA S→BA→abS A→bBB→b B→cCC→D D→bB…D→d（2）G=({S,A,B,C,D},{a,b,c,d},P,S),生成式P如下：S→aA S→BA→cC A→bBB→bB B→aC→D C→abBD→d答：(1) 由生成式得：S=aA+B ①A=abS+bB ②]B=b+cC ③C=D ④D=d+bB ⑤③④⑤式化简消去CD，得到B=b+c(d+bB)即B=cbB+cd+b =>B=(cb)*(cd+b) ⑥将②⑥代入①S=aabS+ab(cb)*(cd+b)+(cb)*(cd+b) =>S=(aab)*(ab+ε)(cb)*(cd+b) (2) 由生成式得：S=aA+B ①A=bB+cC ②…B=a+bB ③C=D+abB ④D=dB ⑤由③得B=b*a ⑥将⑤⑥代入④C=d+abb*a=d+ab+a ⑦将⑥⑦代入②A=b+a+c(d+b+a) ⑧将⑥⑧代入①S=a(b+a+c(d+ab+a))+b*a=ab+a+acd+acab+a+b*a5.为下列正则集，构造右线性文法：、(1){a,b}*(2)以abb结尾的由a和b组成的所有字符串的集合(3)以b为首后跟若干个a的字符串的集合(5)含有两个相继a和两个相继b的由a和b组成的所有字符串集合答：（1）右线性文法G=({S},{a,b},P,S)P: S→aS S→bS S→ε(2) 右线性文法G=({S},{a,b},P,S)P: S→aS S→bS S→abb(3) 此正则集为{ba*}右线性文法G=({S,A},{a,b},P,S)]P: S→bA A→aA A→ε(4) 此正则集为{{a,b}*aa{a,b}*bb{a,b}*, {a,b}*bb{a,b}*aa{a,b}*}右线性文法G=({S,A,B,C},{a,b},P,S)P: S→aS/bS/aaA/bbBA→aA/bA/bbCB→aB/bB/aaCC→aC/bC/ε7.设正则集为a(ba)*(1)构造右线性文法(2){(3)找出（1）中文法的有限自b动机答：（1）右线性文法G=({S,A},{a,b},P,S)P: S→aA A→bS A→ε（2）自动机如下：(p2是终结状态)$9.对应图（a）(b)的状态转换图写出正则式。
（图略）（1）由图可知q0=aq0+bq1+a+εq1=aq2+bq1q0=aq0+bq1+a=>q1=abq1+bq1+aaq0+aa=(b+ab) q1+aaq0+aa=(b+ab) *( aaq0+aa)=>q0=aq0+b(b+ab) *( aaq0+aa ) +a+ε= q0(a+b (b+ab) *aa)+ b(b+ab) *aa+a+ε=(a+b (b+ab) *aa) *((b+ab) *aa+a+ε)】=(a+b (b+ab) *aa) *(4)q0=aq1+bq2+a+bq1=aq0+bq2+bq0=aq1+bq0+a=>q1=aq0+baq1+bbq0+ba+b=(ba)*(aq0 +bbq0+ba+b)=>q2=aaq0+abq2+bq0+ab+a=(ab)*(aaq0 +bq0+ ab+a)=>q0=a(ba)*(a+bb) q0 + a(ba)*(ba+b)+b(ab)*(aa+b)q0+ b(ab)*(ab+a)+a+b =[a(ba)*(a+bb) +b(ab)*(aa+b)]* (a(ba)*(ba+b)+ b(ab)*(ab+a)+a+b) [10.设字母表T={a,b},找出接受下列语言的DFA：（1）含有3个连续b的所有字符串集合（2）以aa为首的所有字符串集合（3）以aa结尾的所有字符串集合]14构造DFA M 1等价于NFA M ，NFA M 如下： （1）M=({q 0,q 1 q 2,q 3},{a,b},σ,q 0,{q 3}),其中σ如下： σ(q 0,a)={q 0,q 1} σ(q 0,b)={q 0} σ(q 1,a)={q 2} σ(q 1,b)= {q 2 } σ(q 2,a)={q 3} σ(q 2,b)= Φ σ(q 3,a)={q 3} σ(q 3,b)= {q 3 }（2）M=({q 0,q 1 q 2,q 3},{a,b},σ,q 0,{ q 1,q 2}),其中σ如下： σ(q 0,a)={q 1,q 2} σ(q 0,b)={q 1} σ(q 1,a)={q 2} σ(q 1,b)= {q 1,q 2 } σ(q 2,a)={q 3} σ(q 2,b)= {q 0} (σ(q 3,a)= Φσ(q 3,b)= {q 0}答：（1）DFA M 1={Q 1, {a,b},σ1, [q 0],{ [q 0,q 1,q 3]，[q 0,q 2,q 3]，[q 0, q 1,q 2,q 3]} 其中Q 1 ={[q 0],[q 0,q 1], [q 0,q 1,q 2],[ q 0,q 2],[ q 0,q 1, q 2,q 3],[ q 0,q 1, q 3],[ q 0,q 2, q 3],[ q 0,q 3]}（2）DFA M 1={Q 1, {a,b},σ1, [q 0],{ [q 1],[q 3], [q 1,q 3],[q 0,q 1,q 2],[q 1,q 2] ,[q 1,q 2,q 3],[q 2,q 3]} 其中Q 1 ={[q 0],[q 1,q 3], [q 1],[q 2],[ q 0,q 1,q 2],[q 1,q 2],[q 3], [q 1,q 2,q 3],[q 2,q 3]}(2)将此ε-NFA转换为没有ε的NFA答：（1）可被接受的的串共23个，分别为aac, abc, acc, bac, bbc, bcc, cac, cbc, ccc, caa, cab, cba, cbb, cca, ccb, bba, aca, acb, bca, bcb, bab, bbb, abb*（2）ε-NFA：M=({p,q,r},{a,b,c},σ,p,r) 其中σ如表格所示。
因为ε-closure(p)= Φ则设不含ε的NFA M1=({p,q,r},{a,b,c},σ1,p,r)σ1(p,a)=σ’(p,a)=ε-closure(σ(σ’(p,ε),a))={p}σ1(p,b)=σ’(p,b)=ε-closure(σ(σ’(p,ε),b))={p,q}σ1(p,c)=σ’(p,c)=ε-closure(σ(σ’(p,ε),c))={p,q,r}σ1(q,a)=σ’(q,a)=ε-closure(σ(σ’(q,ε),a))={p,q}σ1(q,b)=σ’(q,b)=ε-closure(σ(σ’(q,ε),b))={p,q,r}σ1(q,c)=σ’(q,c)=ε-closure(σ(σ’(q,ε),c))={p,q,r}σ1(r,a)=σ’(r,a)=ε-closure(σ(σ’(r,ε),a))={p,q,r}￥σ1(r,b)=σ’(r,b)=ε-closure(σ(σ’(r,ε),b))={p,q,r}σ1(r,c)=σ’(r,c)=ε-closure(σ(σ’(r,ε),c))={p,q,r}图示如下：(r为终止状态)a,b,c.16．设NFA M=({q0,q1},{a,b},σ,q0,{q1}),其中σ如下：σ(q0,a)={q0,q1} σ(q0,b)={q1})σ(q1,a)= Φσ(q1,b)= {q0, q1}构造相应的DFA M1，并进行化简答：构造一个相应的DFA M1={Q1, {a,b},σ1, [q0],{ [q1]，[q0,q1]}其中Q1 ={[q0]，[q1]，[q0,q1]}17.使用泵浦引理，证明下列集合不是正则集：（1）（（2）由文法G的生成式S→aSbS/c产生的语言L(G)（3）{ω/ω∈{a,b}*且ω有相同个数的a和b}（4）{a k ca k/k≥1}（5）{ωω/ω∈{a,b}*}证明：（1）在L(G)中，a的个数与b的个数相等假设L(G)是正则集，对于足够大的k取ω= a k (cb)k c令ω=ω1ω0ω2因为|ω0|>0 |ω1ω0|≤k 存在ω0使ω1ω0iω2∈L所以对于任意ω0只能取ω0=a n n∈(0,k)则ω1ω0iω2= a k–n(a n)i(cb)k c 在i不等于0时不属于L^与假设矛盾。
则L(G)不是正则集（2）假设该集合是正则集，对于足够大的k取ω= a k b k令ω=ω1ω0ω2因为|ω0|>0 |ω1ω0|≤k 存在ω0使ω1ω0iω2∈L所以对于任意ω0只能取ω0=a n n∈(0,k)则ω1ω0iω2= a k–n(a n)i b k在i不等于0时a与b的个数不同，不属于该集合与假设矛盾。