正规文法与有限自动机的等价性研究.pdf

正规文法与有限自动机的等价性研究.pdf

  1. 1、本文档共2页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
计算机光盘软件与应用 2010年第5期 Computer CD Software and Applications 工程技术 Abstract:It gives the equivalent constitution method between the regular grammar and the finite automata by proving the theorem of equivalence between them. Keywords:Regular grammar;Finite automata;Equivalence;Structuring method 一、引言 状态 q 出发经标记为 a 的箭弧到达状态 A(包括 a=ε的情形)。综 + 在乔姆斯基的文法分类中,正规文法包括左线性文法和右线 ⇒ 上所述,在正规文法GL 中,S W的充要条件是:在M中,从状态 性文法。由于正规文法和正规表达式在描述语言的能力上是等价 q 到状态 S 有一条通路,其上所有箭弧的标记符号依次连接起来 的,而正规表达式和有限自动机在描述语言的能力上也是等价的, 恰好等于 W,这就是说,W ∈L(G )当且仅当 W ∈L(M),故 L 因此,正规文法和有限自动机之间也存在着等价性。通常,对于 L(GL)=L(M)。 正规文法G和有限自动机M,G所定义的语言记作L(G),M所能识 (二)正规文法到有限自动机的构造方法 别的语言记作L(M),如果有L(G)=L(M),则称G和M 是等价的。 上述定理的证明采用了构造性的证明方法,由此可以得出由 二、从正规文法到有限自动机 正规文法到有限自动机的构造方法。 (一)正规文法到有限自动机的等价性证明 从 右 线 性 正 规 文 法 G =(V ,V ,S,P) 构 造 有 限 自 动 机 R

文档评论(0)

sunache + 关注
实名认证
内容提供者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档