正规文法_NFA_DFA_状态转换图_正规式之间的等价变换关系及变换方法.pdfVIP

( ) 1997 年 3 月 四川师范大学学报 自然科学版 V o l. 20,N o. 2 ( ) 第 20 卷　第 2 期 Jou rn a l o f Sichu an N o rm a l U n iver sity N atu ra l Scien ce M ar. , 1997 正规文法、 、 、状态转换图、正规式 N FA D FA 之间的等价变换关系及变换方法 邓　 超　 成 ( 四川师范大学计算机科学系　成都 6 10066) 　　摘要　正规文法、 、 、状态转换图、正规式是形式语言理论的基础概念, 也是 N FA D FA 编译原理词法分析理论中的重要概念和工具. 本文讨论了它们之间的等价变换关系, 给 出了变换的具体方法并简介了它们的用途. 关键词　正规文法,N FA ,D FA , 状态转换图, 正规式, 等价变换 中图法分类号　T P 30 1. 2 在编译原理词法分析理论中, 均要涉及到正规文法、 、 、状态转换图、正规式这几 N FA D FA 个重要内容. 它们分别在词法分析及词法分析器 自动生成的理论研究、表示及实现等方面, 起 着重要作用. 本文将完整地给出它们之间的等价变换关系和具体的变换方法. 1　正规文法与N FA 间的等价变换 由正规文法 所描述的语言 ( ) 和对应的 所识别的语言 ( ) 之间存在等价 G L G N FA M L M ( ) 性 其证明见参考文献[ 1 ] , 故可构造正规文法到N FA 的转换方法. 反之, 亦可从N FA 转换 ( 到正规文法. 两者之间的转换方法为文法产生式与N FA 的 函数的对应转换 见参考文献 ) [2, 3 ] . 可知, 正规文法与N FA 之间可等价转换. 2　 与 间的等价变换 N FA D FA ( ) ( ) 由N FA M 所识别的语言L M 和对应的D FA M ′所识别的语言L M ′之间存在等价性 (其证明见参考文献[ 1]) , 并可用子集法和等价类划分法把N FA 转换为等价的最小化的D FA ( ) 其转换方法见参考文献[2, 3 ] . ( 又由正规文法≡ , ≡ , 所以正规文法与 间可等价转换 其转换方法见