{ ωω | ω∈{a, b}* }.

즉, 왼쪽 절반과 오른쪽 절반이 같은 스트링의 집합.