On some interesting ternary formulas

Pascal Ochem, Matthieu Rosenfeld

We obtain the following results about the avoidance of ternary formulas. Up to renaming of the letters, the only infinite ternary words avoiding the formula $ABCAB.ABCBA.ACB.BAC$ (…