Nonrepetitive graph colouring

DR Wood - arXiv preprint arXiv:2009.02001, 2020 - arxiv.org
A vertex colouring of a graph $ G $ is" nonrepetitive" if $ G $ contains no path for which the
first half of the path is assigned the same sequence of colours as the second half. Thue's …

[图书][B] Combinatorics, automata and number theory

V Berthé, M Rigo - 2010 - books.google.com
This collaborative volume presents recent trends arising from the fruitful interaction between
the themes of combinatorics on words, automata and formal language theory, and number …

[图书][B] The logical approach to automatic sequences: Exploring combinatorics on words with Walnut

J Shallit - 2022 - books.google.com
Automatic sequences are sequences over a finite alphabet generated by a finite-state
machine. This book presents a novel viewpoint on automatic sequences, and more …

Decision algorithms for Fibonacci-automatic words, I: Basic results

H Mousavi, L Schaeffer, J Shallit - RAIRO-Theoretical Informatics and …, 2016 - numdam.org
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 includes, for …

Enumeration and decidable properties of automatic sequences

É Charlier, N Rampersad, J Shallit - International Journal of …, 2012 - World Scientific
We show that various aspects of k-automatic sequences—such as having an unbordered
factor of length n—are both decidable and effectively enumerable. As a consequence it …

Automatic congruences for diagonals of rational functions

E Rowland, R Yassawi - Journal de théorie des nombres de Bordeaux, 2015 - numdam.org
In this paper we use the framework of automatic sequences to study combinatorial
sequences modulo prime powers. Given a sequence whose generating function is the …

Additive number theory via automata theory

A Rajasekaran, J Shallit, T Smith - Theory of Computing Systems, 2020 - Springer
We show how some problems in additive number theory can be attacked in a novel way,
using techniques from the theory of finite automata. We start by recalling the relationship …

[PDF][PDF] Decidability of the HD0L ultimate periodicity problem

F Durand - … Informatics and Applications-Informatique Théorique et …, 2013 - numdam.org
In this paper we prove the decidability of the following problem: Input: Two finite alphabets A
and B, an endomorphism σ: A∗→ A∗, a word w∈ A∗ and a morphism φ: A∗→ B∗ …

[HTML][HTML] The abelian complexity of the paperfolding word

B Madill, N Rampersad - Discrete Mathematics, 2013 - Elsevier
The abelian complexity of the paperfolding word - ScienceDirect Skip to main contentSkip to
article Elsevier logo Journals & Books Search RegisterSign in View PDF Download full …

[图书][B] Combinatorics, words and symbolic dynamics

V Berthé, M Rigo - 2016 - books.google.com
Internationally recognised researchers look at developing trends in combinatorics with
applications in the study of words and in symbolic dynamics. They explain the important …