Revisiting regular sequences in light of rational base numeration systems

03/31/2021
by   Michel Rigo, et al.
0

Regular sequences generalize the extensively studied automatic sequences. Let S be an abstract numeration system. When the numeration language L is prefix-closed and regular, a sequence is said to be S-regular if the module generated by its S-kernel is finitely generated. In this paper, we give a new characterization of such sequences in terms of the underlying numeration tree T(L) whose nodes are words of L. We may decorate these nodes by the sequence of interest following a breadth-first enumeration. For a prefix-closed regular language L, we prove that a sequence is S-regular if and only if the tree T(L) decorated by the sequence is linear, i.e., the decoration of a node depends linearly on the decorations of a fixed number of ancestors. Next, we introduce and study regular sequences in a rational base numeration system, whose numeration language is known to be highly non-regular. We motivate and comment our definition that a sequence is p/q-regular if the underlying numeration tree decorated by the sequence is linear. We give the first few properties of such sequences, we provide a few examples of them, and we propose a method for guessing p/q-regularity. Then we discuss the relationship between p/q-automatic sequences and p/q-regular sequences. We finally present a graph directed linear representation of a p/q-regular sequence. Our study permits us to highlight the places where the regularity of the numeration language plays a predominant role.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
12/09/2020

Regular sequences and synchronized sequences in abstract numeration systems

The notion of b-regular sequences was generalized to abstract numeration...
research
02/22/2021

Automatic sequences: from rational bases to trees

The nth term of an automatic sequence is the output of a deterministic f...
research
05/19/2020

Decidability and k-Regular Sequences

In this paper we consider a number of natural decision problems involvin...
research
08/01/2005

Regularity of Position Sequences

A person is given a numbered sequence of positions on a sheet of paper. ...
research
04/21/2020

On the regularity of De Bruijn multigrids

In this paper we prove that any odd multigrid with non-zero rational off...
research
09/09/2021

Any Regular Polyhedron Can Transform to Another by O(1) Refoldings

We show that several classes of polyhedra are joined by a sequence of O(...
research
10/20/2019

Rational Kernels: A survey

Many kinds of data are naturally amenable to being treated as sequences....

Please sign up or login with your details

Forgot password? Click here to reset