Question

请教高人,帮忙解答几道编译原理的题目!急!!!

令A、B和C是任意正规式,证明以下关系成立:

A|A=A
A=b|aA当且仅当A=a*b
A*=ε|AA*
请教高人,帮忙解答

Answer 1

true and true =true
true and false =false
false and false =false
true or true =true
true or false =true
false or false =false
1.a|a=a
if A=true then A|A=a
if A=false then A|A=a
2.A=b|aA(A=a*b)
if a=true b=false then A=false b|a=true b|aA==true and false =false
if a=true b=true then A=true b|a=true b|aA=true and true =true
if a=false b=true then A=false b|a=true b|aA=true and false =false
if a=false b=false then A=false b|a=false b|aA=false and false=false
第三个是c吗?