形式语言与自动机6ch3.9b-3.10.ppt

* College of Computer Science Technology, BUPT * College of Computer Science Technology, BUPT 第五讲 3.9 (part 2) 右线性语言的封闭性 3.10 双向和有输出的有限自动机 * College of Computer Science Technology, BUPT 右线性语言的封闭性 　上节从文法产生的角度证明了右线性语言及其并，积，闭包是正则集；本节用有限自动机接受的语言来证明。 (书P103~) 设Ｌ１和Ｌ２是右线性语言，证明Ｌ１∪Ｌ２为右线性语言  构造NFA M＝(Q ，T ，δ，q0，F) Q＝Q1∪Q２∪｛q0｝ 　 q0是新的起始状态 Ｆ１∪Ｆ２　当ε?Ｌ１，ε?Ｌ２ Ｆ１∪Ｆ２∪｛q０｝ 否则 F = M形如: * College of Computer Science Technology, BUPT 右线性语言的封闭性 设Ｌ１和Ｌ２是右线性语言，证明Ｌ１Ｌ２为右线性语言 (书P104~)  构造NFA M＝(Q ，T ，δ， q0， F), 其中Q=Q１∪Q２ q0 =q1 Ｆ２ 当q2?F2 Ｆ１∪Ｆ２ 当q2∈F2 F = M形如: * College of Computer Science Technology, BUPT 右线性语言的封闭性 设Ｌ１是右线性语言，证明L１*是右线性语言(书P106~)  构造NFA M＝(Q ，T ，δ，q0，F), Q = Q1∪｛q０｝ q０是新的起始状态, F=Ｆ1∪｛q０｝ L１* 形如 * College of Computer Science Technology, BUPT 右线性语言的封闭性 设Ｌ１是右线性语言，证明 L１ 是右线性语言 证明：构造接受Ｌ1的M＝(Q ，T ，δ， q0， F) 其中Q = Q1∪｛γ｝ γ是一个新状态 T?T1 q0 =q1 Ｆ＝(Q1－Ｆ1) ∪｛γ｝ (即将Ｍ1的终止状态变为M的非终止状态) δ定义为: 当a∈T1 ，则δ(q，a)= δ1(q，a) — 保留原有函数 当a∈T－T1，则δ(q，a)=γ — 遇到原来没有的字符全转至γ. 对任意a∈T， δ(γ，a)＝γ * College of Computer Science Technology, BUPT 右线性语言的封闭性 例: (书P108) 对下图的Ｍ1 ,求Ｌ(Ｍ1)  * College of Computer Science Technology, BUPT 右线性语言的封闭性 例: 设DFA　Ｍ1＝（｛q０,q４｝,｛ａ,ｂ｝,δ１，q０,｛q３,q４｝） 对Ｔ＝｛ａ，ｂ，ｃ｝, 求Ｌ(Ｍ1)  * College of Computer Science Technology, BUPT 右线性语言的封闭性 证明Ｌ1∩Ｌ２是封闭的 证明： ∵Ｌ1∩Ｌ２＝Ｌ1∪Ｌ２ ∴ 得证 6. 证明右线性语言对于置换是封闭的. (略 -- 自学)  * College of Computer Science Technology, BUPT 补充： 构造自动机的“交” 通过构造证明，说明正则语言在交运算下封闭。 设 两个DFA M1＝(Q1 ，T ，δ1，q1，F1) M2＝(Q 2，T ，δ2，q2，F2) 构造新的 DFA M, M＝(Q1 x Q 2，T，δ，[q1，q2] ，F1 x F2) 对一切p1∈ Q1, p2 ∈ Q2， a ∈T， δ（[p1，p2], a）= [δ1（p1, a）, δ2（p2, a）] 则L（M）= L（M1）∩L（M2） * College of Computer Science Technology, BUPT 有关正则语言的几个判定性质 判定正则语言是否为空 判定正则语言中是否包含特定的字符串 判定两个正则语言是否相等 * College of Computer Science Technology, BUPT 判定正则语言是否为空 　 可由如下步骤递归地计算可达状态集合： 判定算法 测试从 初态是否可达某一终态. 先求所有可 达