Avoidability of formulas with two variables
Discrete Mathematics
2016-10-14 v2 Formal Languages and Automata Theory
Abstract
In combinatorics on words, a word over an alphabet is said to avoid a pattern over an alphabet of variables if there is no factor of such that where is a non-erasing morphism. A pattern is said to be -avoidable if there exists an infinite word over a -letter alphabet that avoids . We consider the patterns such that at most two variables appear at least twice, or equivalently, the formulas with at most two variables. For each such formula, we determine whether it is -avoidable, and if it is -avoidable, we determine whether it is avoided by exponentially many binary words.
Keywords
Cite
@article{arxiv.1606.03955,
title = {Avoidability of formulas with two variables},
author = {Pascal Ochem and Matthieu Rosenfeld},
journal= {arXiv preprint arXiv:1606.03955},
year = {2016}
}