Decision Algorithms for Fibonacci-Automatic Words, with Applications to Pattern Avoidance

Chen Fei Du, Hamoon Mousavi, Luke Schaeffer +1

We implement a decision procedure for answering questions about a class of infinite words that might be called (for lack of a better name) "Fibonacci-automatic". This class include…