Palindrome over {a,b}*