形式语言与自动机ch3.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∈T1 且δ1(q，a)=? ，则δ(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 有关正则语言的几个判定性质 判定正则语言是否为空 判定正则语言中是否包含特定的字符串 判定两个正则语言是否相等 * * College of Computer Science Technology, BUPT 判定正则语言是否为空 　 可由如下步骤递归地计算可达状态集合： 判定算法 测试从 初态是否可达某一终态. 先求所有可 达状态的集合，若其中包含终态，则该正规语言非空， 否则为空语言。 算法复杂度 设有限自动机的状态数目为 n，上述判定 算法的复杂度为 O(n2). 　 基础：初态是可达的： 　 归纳：设状态 q 是可达的，若对于某个输入符号或 ?， q 可转移到 p ，则 p 也是可达的： * * College of Computer Science Technology, BUPT 判定正则语言中是否包含特定的字符串 判定算法 从初态开始