- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 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 - α∈
您可能关注的文档
最近下载
- 《懂得爱:在亲密关系中成长》读书笔记.docx VIP
- 上海市中考语文专题复习:文言文虚词简表.pdf VIP
- 广西盐业公司的招聘试卷.pdf VIP
- 2025《民营经济促进法》解读课件PPT.pptx
- Haier海尔空调KFRd-120LW 7YAF81 KFRd-120LW 5YAF82 KFR-12ity 5YAF82用户手册.pdf
- 雪铁龙维修 手册 图DS_5LS_Owner_Book_ZH.pdf VIP
- 烟风煤支吊架设计手册-新版.pdf VIP
- 长期卧床鼻饲患者的护理ppt.pptx VIP
- 教学能力大赛教案--智慧工厂的安全策略之VLAN的划分.docx VIP
- GB 6246-2011 消防水带标准规范‘’.pdf
文档评论(0)