Characterization of iterated palindromes in the intersection of two clustering classes
Characterization conjecture. A word w∈P1∩P2w\in P_1\cap P_2w∈P1∩P2 if and only if Pal(u)=w\operatorname{Pal}(u)=wPal(u)=w for some u∈{a,c}∗⋅b∗u\in\{a,c\}^*\cdot b^*u∈{a,c}∗⋅b∗. The preceding proposition establishes this charac…