{ww | w € {a, b}* }