Words Avoiding Reversed Factors, Revisited

11/26/2019

∙

by   Lukas Fleischer, et al.

∙

0

∙

share

In 2005, Rampersad and the second author proved a number of theorems about infinite words x with the property that if w is any sufficiently long finite factor of x, then its reversal w^R is not a factor of x. In this note we revisit these results, reproving them in more generality, using machine computations only. Two different techniques are presented.