1、正规文法与有限自动机的相互转换淮阴工学院编译原理课程设计报告选题名称: 正规文法与有限自动机的相互转换 系(院): 计算机工程学院 专 业:计算机科学与技术(软件工程方向)班 级: 软件1082 姓 名: 陈超 学 号: 1081305202 指导教师: 高丽 王文豪 江波 于永彦 学年学期: 2011 2012 学年 第 1 学期2012 年 01 月 07 日摘要:正规文法包括左线性文法和右线性文法。由于正规文法和正规表达式在描述语言的能力上是等价的,而正规表达式和有限自动机在描述语言的能力上也是等价的,因此,正规文法和有限自动机之间也存在着等价性。通常,对于正规文法G和有限自动机M,G所
2、定义的语言记作L(G),M所能识别的语言记作L(M),如果有L(G)=L(M),则称G和M是等价的。关键词:正规文法;有限自动机;等价性;构造方法目 录1课题综述 31.1目的 31.2设计内容 31.3设计原则 42系统分析 42.1正规式 42.2有限自动机(有穷自动机) 52.3NFA向DFA的转换 52.4正规式与有限自动机之间的转换 63系统设计 63.1从正规文法到有限自动机 63.11正规文法到有限自动机的等价性证明 63.12 正规文法到有限自动机的构造方法 83.2从有限自动机到正规文法 83.21 有限自动机到正规文法的等价性证明 83.22 有限自动机到正规文法的构造方法
3、 94代码编写 105运行与测试 141课题综述1.1目的1.理解正规文法与有限自动机(FA)的本质联系;2.掌握正规文法与有限自动机之间相互转化的算法原理;3.学会使用Visual C+等编程工具实现正规文法与有限自动机之间的相互转化;1.2设计内容使用Visual C+/Visual C#等工具,设计软件MySoft_3,可以实现以下功能:1.根据用户输入的文本文件(*.txt)的名称,打开文件,并从文件中获取文法的产生式、非终结符、终结符、开始符等基本信息;2.判断该文法是否为正规文法,若是,则将其转化为有限自动机;3.根据用户输入的文本文件(*.txt)的名称,打开文件,并从文件中获取
4、有限自动机的状态集、字母表、初态、终态集、转移函数等基本信息;4.判断该自动机是否合法,若合法,则将其转化为正规文法;1.3设计原则正规文法与有穷自动机有着特殊的关系,采用下面的规则可从正规文法G直接构造一个有穷自动机NFA M;使得L(M)=L(G):(1)M的字母表与G的终结符相同;(2)为G中的每一个非终结符生成M的一个状态,G的开始符S是开始状态;(3)增加一个新状态Z,作为NFA的终态;(4)对G中的形如A-tB的规则(其中T为终结符或,A为非终结符的产生式),构造M的一个转换函数f(A,t)=B;(5)对G中形如A-t的产生式,构造M的一个转换函数f(A,t)=Z。2系统分析2.1
5、正规式正规式:正则表达式,表示正规集的工具。一个正规式对应一个正规文法(3型文法)之间能够进行准换三个基本规则:A-xB,B-y 则 A=xy。A-xA|y 则A=x*y (x*代表x从1到无穷多个)A-x,A-y 则A=x|y正规式主要用到了递归的思想,无论遇到多复杂的正规式都可以拆分成上面这三种形式,然后进行解题。2.2有限自动机(有穷自动机)DFA(Deterministic Finite Automation ):确定的有限自动机表达式:M=(S,f,So,Z)1.S为一个有限状态集合2.是一个字母表,它所包含的的每个元素称为一个输入字符;3.f是一个从SX(笛卡尔乘积)至S的单值部分
6、映射。f(S,a)=s意味着当现在的状态为s,输入字符a时,将转换到下一状态s.s为s的一个后继状态。4.SoS,是唯一的初态;5.Z?S,是一个终态集。NFA(NondeterministicFiniteAutomata):不确定的有限自动机如果理解了有限自动机,则无限自动机和它的区别就是上面的第四项。So?S,它的初态不是唯一的,而是一个集合。2.3NFA向DFA的转换这个转换是一个比较简单的过程。1.如果有一个不确定的有限自动机,则可以转化为图的方式。此处不详述怎样转图的方式。2.先将初态确定,然后根据输入的每个元素可以得到哪些状态,依次列表。3.这些状态集合可以称为这个有限状态集合n个
7、子集。按0,1,2的顺序编号。4.因为这些子集之间的关系是输入一个确定值确定的,所以这些子集之间存在一些关系,即把这些子集的关系写出来完成NFA向DFA的转换。如果不懂可以从网上找一个例子进行理解。2.4正规式与有限自动机之间的转换任意的正规式都可以转换为上述三种的表现形式。在一个有限自动机转换为正规式时,就是考虑从初态到终态可以输入哪些数据到达。而这些数据可以用哪种正规式概括进来。3系统设计3.1从正规文法到有限自动机3.11正规文法到有限自动机的等价性证明定理1:对于每一个右线性正规文法GR和左线性正规文法GL,都存在一个有限自动机M与之等价。证明:1.设右线性文法GR=(VT,VN,S,
8、P),将VN中每个非终结符视为状态符号,并增加一个新的终止符号f,(f VN)。令M=(VN f,VT,d,S,f),其中状态转换函数d由以下规则定义:若对某个A VN及a VT ,P中有产生式Aa,则令d(A,a)=f;对任意的A VN及a VT ,设P中左端为A右端第一个符号为a的所有产生式为AaA1aA2aAk(不包括Aa),则令d(A,a)= A1,A2,Ak。显然上述得到的M为一个NFA。到此,已说明存在一个FAM与该右线性文法对应,下面说明它们的等价性(L(GR)=L(M) )。对右线性正规文法GR,在S W的最左推导过程中,利用AaB一次就相当于在M中从状态A出发经标记为a的箭弧
9、到达状态B(包括a=的情形)。在推导过程的最后,利用Aa一次则相当于在中从状态A出发经标记为a的箭弧到达终态f(包括a=的情形)。综上所述,在正规文法GR中,S W的充要条件是:在M中,从状态S到状态f有一条通路,其上所有箭弧的标记符号依次连接起来恰好等于W,这就是说,W L(GR)当且仅当W L(M),故L(GR)=L(M)。2. 设左线性文法GL=(VT,VN,S,P),将VN中每个非终结符视为状态符号,并增加一个新的初始状态符号q,(q VN)。令M=(VN q,VT,d,q,S),其中状态转换函数d由以下规则定义:若对某个A VN及a VT ,P中有产生式Aa,则令d(q,a)=A;对
10、任意的A VN及a VT ,设P中所有右端第一个符号为A,第二个符号为a的所有产生式为A1Aa,A2Aa,AKAa,则令d(A,a)= A1,A2,Ak。显然上述得到的M为一个NFA。到此,已说明存在一个FAM与该左线性文法对应,下面说明它们的等价性(L(GL)=L(M) )。对左线性正规文法GL,在S W的最左推导过程中,利用BAa一次就相当于从状态A出发经标记为a的箭弧到达状态B(包括a=的情形)。在推导的最后,利用Aa一次则相当于在中从状态q出发经标记为a的箭弧到达状态A(包括a=的情形)。综上所述,在正规文法GL中,S W的充要条件是:在M中,从状态q到状态S有一条通路,其上所有箭弧的
11、标记符号依次连接起来恰好等于W,这就是说,W L(GL)当且仅当W L(M),故L(GL)=L(M)。3.12 正规文法到有限自动机的构造方法上述定理的证明采用了构造性的证明方法,由此可以得出由正规文法到有限自动机的构造方法。从右线性正规文法GR=(VT,VN,S,P)构造有限自动机M=( VN f,VT,d,S,f)的方法如下:将VN中每个符号视为一个状态符号,增加一个新的终态符号f,f VN;对于产生式Aa(a VT ),则构造d(A,a)=f;对于产生式AaA1(a VT ),则构造d(A,a)= A1。从左线性正规文法GL=(VT,VN,S,P)构造有限自动机M=( VN q,VT,d
12、,q,S)的方法如下:将VN中每个符号视为一个状态符号,增加一个新的初态符号q,q VN;对于产生式Aa(a VT ),则构造d(q,a)=A;对于产生式A1Aa(a VT ),则构造d(A,a)= A1。3.2从有限自动机到正规文法3.21 有限自动机到正规文法的等价性证明定理2:对于每一个有限自动机M,都存在一个右线性正规文法GR和左线性正规文法GL与之等价。证明:1.设DFAM=(S,d,S0,F),分以下两种情况进行证明:(1)若S0 F,则令GR=(,S, S0, P),其中P是由以下规则定义的产生式集合,对任何a 及A,B S,若d(A,a)=B,则:当B F时,令AaB;当B F
13、时,令AaBa;显然,上述得到的文法为一个右线性正规文法,下面说明它们的等价性(L(M)=L(GR) )。在DFAM中,对任何w *,不妨设w=a1a2ak,其中ai (i=1,2,k),若S W,则存在一个最左推导:S0 a1A1 a1a2A2 a1aiAi a1aiai+1Ai+1 a1ak,因而,在M中存在一条从S0出发一次经过A1,Ak-1到达终态的通路,该通路上所有箭弧的标记依次为a1,ak。反之亦然。所以,w L(GR)当且仅当w L(M),故L(M)=L(GR)。(2)若S0 F,因为d(S0,)= S0,所以 L(M),但上面构造的L(GR)中不含。因此,需在文法中添加产生式S
14、0,这样,就有L(M)=L(GR)。2. 设DFAM=(S,d,S0,F),分以下两种情况进行证明:(1)若S0 F,则令GL=(,S, X, P),其中X F,P是由以下规则定义的产生式集合,对任何a 及A,B S,若d(A,a)=B,则:当AS0时,令BAa;当A=S0时,令BaAa;显然,上述得到的文法为一个左线性正规文法,下面说明它们的等价性(L(M)=L(GL) )。在DFAM中,对任何w *,不妨设w=a1a2ak,其中ai (i=1,2,k),若存在一条从S0到X的通路,通路上所有箭弧的标记依次为a1,ak,则在GL中一定存在一个最左推导:X Akak Ak-1ak-1ak A2
15、a2ak a1ak,即w L(GL)。反之亦然。所以,w L(GL)当且仅当w L(M),故L(M)=L(GL)。(2)若S0 F,则 L(M),但上面构造的L(GL)中不含。因此,需在文法中添加产生式X,这样,就有L(M)=L(GL)。3.22 有限自动机到正规文法的构造方法上述定理的证明采用了构造性的证明方法,由此可以得出由有限自动机到正规文法的构造方法。从有限自动机M=( S,d,S0,F)构造右线性正规文法GR的方法如下:令GR=(,S, S0,P),其中P是由以下规则定义的产生式集合:对任何d(A,a)=B,若B F,则令AaB;若B F,并且B状态有箭弧射出,则令AaBa;若B F
16、,并且B状态没有箭弧射出,则令Aa;若S0 F,则令S0。从有限自动机M=( S,d,S0,F)构造左线性正规文法GL的方法如下:令GL=(,S, X,P),其中P是由以下规则定义的产生式集合:对任何d(A,a)=B,若A不是初始状态,则令BAa;若A是初始状态,并且A状态有箭弧射入,则令BAaa;若A是初始状态,并且A状态没有箭弧射入,则令Ba;若S0 F,则令X。4代码编写#includeusing namespace std;int main()int n, m;/n为自动机状态的总数目/m为自动机终结符的数目int n_midd_stat, n_final_stat;/n_midd_s
17、tat为中间状态的数目/n_final_stat为终态的数目cout n;char* stat = new charn;cout stat0;cout n_midd_stat;cout 请输入分别中间状态: endl;for(int i1 = 0; i1 stati1 + 1;n_final_stat = n - n_midd_stat - 1;cout 最后分别输入终态: endl;for(int i2 = 0; i2 statn_midd_stat + 1 + i2;cout m;char* terminal = new charm;cout 请分别输入终结符: endl;for(int
18、i3 = 0; i3 terminali3;cout endl;/构造自动机int i, j,k;char* f = new char*n;for(k=0;kn;k+)fk=new charn;cout 构造自动机: endl;for(i = 0; i n; i+)for(j = 0; j n; j+)cout 状态 stati 能否直接推出状态 statj;if(i = 0) & (j = 0)cout ? (若能则输入相应的终结符,否则输入0);elsecout fij;cout endl;/转换成对应的文法cout 由此自动机转换成的对应的文法为: endl;cout G=(;/ sta
19、t0;for(int i4 = 0; i4 n; i4+)if(i4 != 0)cout ,;cout stati4;cout ,;cout ;for(int i5 = 0; i5 m; i5+)if(i5 != 0)cout ,;cout terminali5;cout ,;cout P,;cout stat0 ),;cout 其中P为: endl;for(i = 0; i n; i+)for(j = 0; j n; j+)if(fij != 0)cout stati fij statj for(int i6 = 0; i6 n_final_stat; i6+)cout statn_midd
20、_stat + 1 + i6 endl;return 0;5运行与测试测试程序使用的自动机用例:开始状态:A;中间状态:1个,为B;终态:2个,分别为C、D;终结符:2个,分别为a、b;装换关系为StatABCDA0a0bB00b0Ca00bD0b0b(6)得到的结果如图:总 结经过一周的努力,终于把编译原理这门课的课程设计做完了,由于学习理论的时候总是感觉这门课程特别的复杂,有许多繁琐的东西,起初以为课程设计的内容会更加的复杂,后来认真看了题目,和相对应于课本上的内容,我的这个题目还真的很简单,只是用到了“数组”、“图”这两个数据结构,再就是有两个二层嵌套的循环就能够应对这个题目了。有限自动
21、机用于构造词法分析程序,正规文法用于构造语法分析程序,它们分别是语言的识别工具和定义工具,在构造高级程序设计语言的编译程序时占有举足轻重的地位。有限自动机作为语言词法的识别工具,必须能够识别由文法定义的所有词法范畴;而文法作为语言语法的定义工具,也必须有能力定义有限自动机能识别的所有词法范畴的规则。从这一意义上讲,有限自动机和正规文法在描述语言的能力上就存在着等价性,而由这些等价性推导出来的相互转换方法,在构造编译程序时具有一定的检测和指导作用。由于时间有限,这次的课程设计中我没有考虑到不确定的自动机转换成正规文法的情况,在以后的学习中一定将这种更加复杂的情况考虑进去,让自己的程序更加的完整。
22、经过一学期的编译原理这门课程的学习,我们深深的了解到了编译器结构的复杂程度,更了解了我们学习的高级语言的强大功能,我们做的课程设计只是一个完整编译器的冰山一角。后面还有更多需要我们更加需要懂得的东西。致 谢历时将近一个月的时间终于将研究做完,在做课题过程中遇到了无数的困难和障碍,都在同学和老师的帮助下度过了。尤其要强烈感谢我的指导老师于永彦老师,他对我进行了无私的指导和帮助,不厌其烦的帮助课题的修改和改进。 另外,在校图书馆查找资料的时候,图书馆的老师也给我提供了很多方面的支持与帮助。在此向帮助和指导过我的各位老师表示最中心的感谢!感谢此课题所涉及到的各位学者。本文参考了数位学者的研究文献,如
23、果没有各位学者的研究成果的帮助和启发,我将很难完成克茨课题的研究。感谢我的同学和朋友,在我课题研究的过程中给予我了很多知识,还在课题研究过程中提供热情的帮助。由于我的学术水平有限,所做课题难免有不足之处,恳请各位老师批评和指正!参 考 文 献1.陈火旺等.程序设计语言编译原理(第3版)M.北京:国防工业出版社,2000. 72.胡元义.编译原理教程(第二版)M.西安:西安电子科技大学出版社,2006. 83.刘坚.编译原理基础M.西安:西安电子科技大学出版社,2002. 44.吕映芝.编译原理M.北京:清华大学出版社,1998 .55.胡元义等.编译原理课程辅导与习题解析M.北京:人民邮电出版
24、社,2002. 指导教师评语学号1081305202姓名陈超班级软件1082选题名称正规文法与有限自动机的相互转换序号评价内容权重(%)得分1考勤记录、学习态度、工作作风与表现。52自学情况:上网检索机时数、文献阅读情况。103论文选题是否先进,是否具有前沿性或前瞻性。54成果验收:是否完成设计任务;能否运行、可操作性如何等。205报告的格式规范程度、是否图文并茂、语言规范及流畅程度;主题是否鲜明、重心是否突出、论述是否充分、结论是否正确;是否提出了自己的独到见解。306文献引用是否合理、充分、真实。57答辩情况:自我陈述、回答问题的正确性、用语准确性、逻辑思维、是否具有独到见解等。25合计指导教师(签名): 年 月 日
copyright@ 2008-2022 冰豆网网站版权所有
经营许可证编号:鄂ICP备2022015515号-1