情势语言与主动机——有限主动机与右线性文法(二).pptxVIP

情势语言与主动机——有限主动机与右线性文法(二).pptx

  1. 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  4. 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  5. 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  6. 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  7. 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
情势语言与主动机——有限主动机与右线性文法(二)

带 ? -转移的有限自动机;第四节 有? 转换的NFA;? - NFA 的形式定义;? - NFA 如何接受输入符号串;二、 ? - 闭包(closure)概念;状态子集I 的ε-闭包: ε-CLOSURE(I)= ∪ ε-CLOSURE(q) q∈I 例: ε-CLOSURE({q1,q2}) =ε-CLOSURE(q1) ∪ε-CLOSURE(q2) ={ q1,q2} Ia 概念: 对于状态子集I ? Q,任意a∈T,定义Ia如下: Ia= ε-Closure(P) 其中P =δ(I,a). 即P是从I中的状态经过一条标a的边可以到达的状态集合 ;例:I={q0,q1},求I1 I1 =ε-CLOSURE(δ(I,1)) =ε-CLOSURE(δ({q0,q1},1)) =ε-CLOSURE(Φ∪{q1 }) ={q1,q2} ;扩展转移函数适合于输入字符串;ε-NFA中,δ与δ’ 函数的不同 ;三、? - NFA 的 语 言;四、有 ? 转换的NFA与无 ? 转换的NFA的等价;从 ? - NFA 构造等价的 无? NFA;从 ? - NFA 构造等价的 无? NFA;;;举例;第五节 正则集及正则式;正则表达式(regular expression);正则表达式算符优先级;正则表达式举例;语言的联合(union)运算;语言的连接(concatenation)运算;语言的闭包(closure)运算;正则式的性质;正则式的性质;正则式的性质;右线性文法与正则式 ;从右线性文法导出正则式;第六节 正则集及右线性文法;首先从最简单的正则式出发,求证其正则集Φ,{ε},{a}是右线性语言。 证明: 对正则集Φ, 有右线性文法G={{S},T, Φ,S}, 使L(G)= Φ 对正则集{ε}, 有右线性文法G={{S},T,{S-ε},S},使L(G)= {ε} 对正则集{a}, 有右线性文法G={{S},T,{S-a},S},使L(G)= {a} ;将对由并,积,闭包形成的正则集的证明,改为对右线性语言的证明。 设在字母表T上,有语言L1及L2,则L1∪ L2,L1.L2,L1*都是右线性语言。 证明方法:分别找出相应的右线性文法。 设 G1=(N1,T1,P1,S1)产生L1 G2=(N2,T2,P2,S2)产生L2 N1?N2=Φ (若不为空, 则可对N中符号换名) ;构造G=(N,T,P,S)产生L,使L= L1∪ L2 其中 N=N1∪ N2∪ {S}, S为新的非终结符; P=P1∪ P2∪ {S-S1,S-S2} T=T1∪T2 先证L ? L1∪ L2: 在G中,由G的定义,对于任意,意味着或者(按G1的产生式),或者(按G2的产生式) 即文法G的每个句子或由G1产生,或由G2产生。 ∴ L(G) ? L(G1)∪ L(G2) 再证 L1∪ L2 ? L: 设有ω∈L1∪ L2,则存在推导 S1 G1=+ ω 或 S2 G2=+ ω ∴ 必有S G=+ ω。 即L1∪ L2 ? L。 命题得证#?;?构造G=(N,T,P,S) 其中N=N1 U N2,S=S1, 生成式P为: 若A-αB ∈P1,则它也属于P 若A-α∈P1,则A-αS2∈P P2 ? P 先证 L(G1). L(G2) ? L(G) 若有任意S1 =* ω1 与 S2 =* ω2 分别属于G1及G2定义的语言中, 那么有 S1 =α1A =α2B =α3C =… = ω1 和 S2 = β1A1 = β2B2 = β3C3 =… = ω2 , ∴ S = S1 = α1A =α2B =α3C =… = ω1.S2 = * ω1. ω2 ∴ L(G1). L(G2) ? L(G);??再证 L(G) ? L(G1). L(G2) 若有S = S1 = α1A =α2B =α3C =… = ω1.S2 = * ω1. ω2 那么则必然在G1及G2中同时有 S1 =α1A =α2B =α3C =… = ω1 和 S2 = β1A1 = β2B2 = β3C3 =… = ω2 ∴ L(G) ? L(G1). L(G2) 命题得证# ;证明: 构造G=(N,T,P,S) 其中; N=N1 U S, S?N1,S是一个新的非终结符, 生成式P为: 如果A - αB ∈ P1 ,则A - αB∈P。 如果A - α∈

文档评论(0)

jgx3536 + 关注
实名认证
文档贡献者

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

版权声明书
用户编号:6111134150000003

1亿VIP精品文档

相关文档