形式语言与自动机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