Avoidability of formulas with two variables

Pascal Ochem, Matthieu Rosenfeld

In combinatorics on words, a word $w$ over an alphabet $\Sigma$ is said to avoid a pattern $p$ over an alphabet $\Delta$ of variables if there is no factor $f$ of $w$ such that $f=h(p)$ wher…