Regular sequences and synchronized sequences in abstract numeration systems

by   ร‰milie Charlier, et al.

The notion of b-regular sequences was generalized to abstract numeration systems by Maes and Rigo in 2002. Their definition is based on a notion of ๐’ฎ-kernel that extends that of b-kernel. However, this definition does not allow us to generalize all of the many characterizations of b-regular sequences. In this paper, we present an alternative definition of ๐’ฎ-kernel, and hence an alternative definition of ๐’ฎ-regular sequences, which enables us to use recognizable formal series in order to generalize most (if not all) known characterizations of b-regular sequences to abstract numeration systems. We then give two characterizations of ๐’ฎ-automatic sequences as particular ๐’ฎ-regular sequences. Next, we present a general method to obtain various families of ๐’ฎ-regular sequences by enumerating ๐’ฎ-recognizable properties of ๐’ฎ-automatic sequences. As an example of the many possible applications of this method, we show that, provided that addition is ๐’ฎ-recognizable, the factor complexity of an ๐’ฎ-automatic sequence defines an ๐’ฎ-regular sequence. In the last part of the paper, we study ๐’ฎ-synchronized sequences. Along the way, we prove that the formal series obtained as the composition of a synchronized relation and a recognizable series is recognizable. As a consequence, the composition of an ๐’ฎ-synchronized sequence and a ๐’ฎ-regular sequence is shown to be ๐’ฎ-regular. All our results are presented in an arbitrary dimension d and for an arbitrary semiring ๐•‚.



There are no comments yet.


page 1

page 2

page 3

page 4

โˆ™ 03/31/2021

Revisiting regular sequences in light of rational base numeration systems

Regular sequences generalize the extensively studied automatic sequences...
โˆ™ 06/19/2020

Robustness of Pisot-regular sequences

We consider numeration systems based on a d-tuple ๐”=(U_1,โ€ฆ,U_d) of seque...
โˆ™ 08/01/2005

Regularity of Position Sequences

A person is given a numbered sequence of positions on a sheet of paper. ...
โˆ™ 06/02/2021

Hilbert's spacefilling curve described by automatic, regular, and synchronized sequences

We describe Hilbert's spacefilling curve in several different ways: as a...
โˆ™ 01/15/2014

Analogical Dissimilarity: Definition, Algorithms and Two Experiments in Machine Learning

This paper defines the notion of analogical dissimilarity between four o...
โˆ™ 12/12/2017

Efficient Approximation Algorithms for String Kernel Based Sequence Classification

Sequence classification algorithms, such as SVM, require a definition of...
โˆ™ 02/22/2021

Automatic sequences: from rational bases to trees

The nth term of an automatic sequence is the output of a deterministic f...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.