正规式与有限自动机.docx

正规式与有限自动机正规式与有限自动机之间的转换　　1）有限自动机转换为正规式　　对于S上的NFAA/,可以构造一个S上的正规式/?,使得切⑷。　　拓广状态转换图的概念，令每条弧可用一个正规式作标记。为S上的NFA Af构造相应的正规式及，分为如下两步。　　（1）在M的状态转换图中加两个节点，一个x节点，一个y节点。从x节点到NFAM的初始状态节点引一条弧并用e标记，从NFAM的所有终态节点到y节点引一条弧并用e标记。形成一个与A/等价的MS AT只有一个初态jc和一个终态少。　　（2）按下面的方法逐步消去中除x和；；的所有节点。在消除节点的过程中，用正规式来标记弧，最后节点jc和；；之间弧上的标记就是所求的正规式。消除节点的规则如图2-12所示。　　2）正规式转换为有限自动机　　同样地，对于S上的每个正规式/?,可以构造一个S上的NFAAf,使得L（A0=Z（及）。　　（1）对于正规式i,可用图13所示的拓广状态图表示。R o　　（1）通过对正规式/?进行分裂并加入新的节点，逐步把图转变成每条弧上的标记是E上的一个字符或e,转换规则如图 2-14所示。　　最后所得的图即为一个NFAM,JC为初态节点，少为终态节点。显然，L（A0=I（及）。【试题 2-24】2011年 11月真题 48下图所示为一个有限自动机（其中，A是初态、C是终态），该自动机识别的语言可用正规式（48）表示。?A. (0|1)*01 B. 1*0*10*1 C. 1*(0)*01 D. 1*(0|10)*1*分析：在正规式中，符号 *表示重复若干次（包括 0次），符号 |表示“或”。在状态 A，可以输入 1或0，如果输入1还可以回到状态A，如果输入 0直接到达状态B；在状态 B，可以输入 0或1，如果输入 0则还回到状态 B，而输入 1，则进入到状态 C；在状态 C可以输入0或1，输入 0到达状态B，输入 1到达状态A，但由于 C是终态，自动机可识别的语言是由0、1构成的字符串的集合，但该集合必须以 01结果，因此选项 A正确。【答案：A】【试题 2-25】2011年 5月真题 15包含8个成员的开发小组的沟通路径最多有（ 15）条。（15）A．28 B．32 C．56 D．64分析：需要协作沟通的人员的数量影响着开发成本，因为成本的主要组成部分是相互的沟通和交流，以及更正沟通不当所引起的不良结果。人与人之间必需通过沟通来解决各自承担任务之间的接口问题，如果项目有n个工作人员，则有n×（n -1）/ 2个相互沟通的路径。很明显，包含8个成员的开发小组的沟通路径最多有28条。这其实是一道简单的图论问题，相当于求包含 8个顶点的无向图中最多有多少条边。【答案：A】【试题 2-26】2011年 5月真题 49下图所示为一个有限自动机（其中，A是初态、C是终态），该自动机可识别（ 49）。?（49）A．0000 B．1111 C．0101 D．1010 分析：有限自动机可识别的字符串，是指从有限自动机的初态出发，存在一条到达终态的路径，其上的标记所构成的字符串。对于“ 0000”，其识别路径是状态 A→状态B→状态B→状态B→状态B，没有到达态。对于“1111”，其识别路径是状态A→状态A→状态A→状态A→状态A，没有到达态。对于“0101”，其识别路径是状态A→状态B→状态C→状态B→状态C，状态C为终态，可以识别。对于“1010”，其识别路径是状态A→状态A→状态B→状态C→状态B，经过了终态，但没有以终态结束。【答案：C】【试题 2-27】2010年 11月真题 22下图所示的有限自动机中，0是初始状态，3是终止状态，该自动机可以识别（22）。?（22）A．abab B．aaaa C．bbbb D．abba分析：从初始状态到终止状态有多条路径。在状态 0输入a到达状态2，在状态 2可输入a或b，输入 a到达状态1，输入 b到达状态3，状态3下输入a还回到状态3；在状态 1可输入a或b，输入 a到达状态3，输入b到达状态2。【答案：B】【试题 2-28】2010年 11月真题 48下图所示为两个有限自动机Ml和M2 (A是初态、C是终态），（48）。?C．M1是确定的有限自动机，M2是不确定的有限自动机D．M1是不确定的有限自动机，M2是确定的有限自动机分析：确定有限自动机对每一个可能的输入只有一个状态的转移。非确定有限自动机对每一个可能的输入可以有多个状态转移，接受到输入时从这多个状态转移中非确定地选择一个。有限自动机 M1在状态A时，输入0可以回到状态A，也可以到达状态 B，可见 M1是不确定的。有限自动机 M2的每个状态下的输入都只有一个转移状态。【答案：D】考点 3 文法分析（4）【试题 2-29】2010年 5月真题 21逻辑表达式“a∧b∨c∧(b