Proove in Kleene algebra the term a*=(aa)*+a(aa)*
Please someone, who knows the Kleene algebra. I must prove that the term (aa)*+a(aa)* equals a*. Can anybody help me? There are some theorems, what you must use. In that attached PDF are the theorems
Brian Utterback
I don't see an attached PDF file.
ASKER
The solution is somewhere in the PDF
oporaTCS.pdf
oporaTCS.pdf
I need a little clarification on the use of the "+" here. In regular expressions, the "+" operator is used to designate "one or more",
which is to say formally:
a+ <=> aa*
It can also be used to designate concatenation, that is
a+b <=> ab
And it can also be used to designate the union of two sets:
A + B <=> A union B
Can you say which usage is meant here?
which is to say formally:
a+ <=> aa*
It can also be used to designate concatenation, that is
a+b <=> ab
And it can also be used to designate the union of two sets:
A + B <=> A union B
Can you say which usage is meant here?
ASKER
union
take a look at pages 10, 11, 14, 38, 39,40... near these pages are the answers in attached PDF
take a look at pages 10, 11, 14, 38, 39,40... near these pages are the answers in attached PDF
ASKER
a* = U A^n, where n >= 0
ASKER
i must get the prove in Kleene algebra or in regular expressions
ASKER CERTIFIED SOLUTION
membership
This solution is only available to members.
To access this solution, you must be a member of Experts Exchange.
ASKER
Thank you! This is what i looked for....... btw i must completed it until today 18:00 ;)