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 A*
(AB)*A=A(BA)*
利用正规式的分配率和
结合律直接推导。
(AB)*A=((AB)0∣(AB)1∣(AB)2∣(AB)3∣?)A
=εA∣(AB)1A∣(AB)2A∣(AB)3A∣?
=Aε∣A (BA)1∣A (BA)2∣A (BA)3∣?
=A(BA)* 即:(AB)*A=A(BA)*