Binary Intersection Revisited

We reformulate the classical result by Juhani Karhumaki characterizing intersections of two languages of the form \(\{x,y\}^*\cap \{u,v\}^*\). We use the terminology of morphisms which allows to formulate the result in a shorter and more transparent way.