A unique structure of two-generated binary equality sets. (English) Zbl 1015.68089

Ito, Masami (ed.) et al., Developments in language theory. 6th international conference, DLT 2002, Kyoto, Japan, September 18-21, 2002. Revised papers. Berlin: Springer. Lect. Notes Comput. Sci. 2450, 245-257 (2003).
Summary: Let \(L\) be the equality set of two distinct injective morphisms \(g\) and \(h \), and let \(L\) be generated by at least two words. Recently it was proved that such an \(L\) is generated by two words and \(g\) and \(h\) can be chosen marked from both sides. We use this result to show that \(L\) is of the form \(\{a^ib, ba^i\}^*\), with \(i\geq 1\).
For the entire collection see [Zbl 1014.00024].


68Q45 Formal languages and automata
68R15 Combinatorics on words
Full Text: Link