正规式与有限自动机的等价.pptVIP

第六讲 正规式与有限自动机的等价 7 正规式与有限自动机等价 A. ?上的NFA M能识别的字的全体L(M)是?上的正规式 B. 对?上任何正规式V,存在一个?上的确定的有限自动 机M,使得L(V) = L(M) 证A. 将NFA M化为正规式 要点: (I) 引入两个结点 X, Y; 按以下方式得等价的M’ 用?弧连接X及M的所有初态; 用?弧连接Y及M的所有终态 (II) 消去M’中所有结点直至剩下X和Y为止. 转换法则（ P54图3.10 ） V1 V2 V1 V2 V2 V1 V3 V1 V2 V1|V2