[编译原理]令a,b和c是任意正规式,证明以下关系成立

日期:2017-09-01 23:58:19 人气:1

[编译原理]令a,b和c是任意正规式,证明以下关系成立

A?A=A L(A?A)=L(A)∪L(A)=L(A),所以有A?A=A。 A*=ε?A A* 通过证明两个正规式所表示的语言相同来证明两个正规式相等。 L(ε?A A*)=L(ε)∪L(A)L(A*)= L(ε)∪L(A)(L(A) )* =L(ε)∪L(A)((L(A))0∪(L(A))1∪(L(A))2∪(L(A))3∪?) =L(ε)∪(L(A))1∪(L(A))2∪(L(A))3∪(L(A))4∪? =(L(A))*=L(A*) 即:L(ε?A A*)=L(A*),所以有:A*
    A+
热门评论