编译原理课后习题答案令A,B和C是任意正规式,证明以下关系成立(A|B)*=(A*B*)*=(A*|B*)*...
题目:令A、B和C是任意正规式,证明以下关系成立:A∣A=A(A*)*=A*A*=ε∣AA*(AB)*A=A(BA)*(A∣B)*=(A*B*)*=(A*∣B*)*A=b∣aA当且仅当A=a*b解答:(1)、A∣A=AL(A∣A)=L(A)∪L(A)=L(A),所以有A∣A=A。(2)、(A*)*=A*(3)、A*=ε∣AA*通过证明两个正规式所表示的语言相同来证明两个正规式相等。L(ε∣AA*)