Decision algorithms for Fibonacci-automatic Words, I: Basic results - Mousavi, Hamoon; Schaeffer, Luke; Shallit, Jeffrey (RAIRO. Informatique théorique et applications, 2016)
Keywords: 03D05; 11A67; 11B39; 11B85; 68Q45; 68R15; Algorithms; critical exponent; cube; Cubes; Decision procedure; Fibonacci representation – quasiperiod; Fibonacci-automatic – square; first-order logic; infinite word; Lyndon word; palindrome; unbordered word; uniform recurrence – linear recurrence