[编译原理]令a,b和c是任意正规式,证明以下关系成立
[编译原理]令a,b和c是任意正规式,证明以下关系成立
日期:2017-09-01 23:58:19 人气:1
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*