On defining linear orders by automata - Archive ouverte HAL Access content directly
Preprints, Working Papers, ... Year : 2019

On defining linear orders by automata

Abstract

We define linear orders ≤Z on product sets Z := X1 × X2 × ... × Xn and on subsets Z of X1 × X2 where each composing set Xi is [0, p] or N, and ordered in the natural way. We require that (Z, ≤Z) be isomor-phic to (N, ≤) if it is infinite. We want linear orderings of Z such that, in two consecutive tuples z = (z1, ..., zn) and z = (z 1 , ..., z n), we have |zi − z i | ≤ 1 for each i. Furthermore, we define their distance d(z, z) as the number of indices i such that zi = z i. We will consider orderings where the distance of two consecutive tuples is at most 2. We are interested in algorithms that determine the tuple in Z following z by using local information, where "local" is meant with respect to graphs associated with Z, and that work as well for finite and infinite components Xi, without knowing whether the components Xi are finite or not. We will formalize these algorithms by deterministic graph-walking automata.
Fichier principal
Vignette du fichier
DiagEnum.pdf (574.36 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-02397982 , version 1 (06-12-2019)

Identifiers

  • HAL Id : hal-02397982 , version 1

Cite

Irène Durand, Bruno Courcelle, Michael Raskin. On defining linear orders by automata. 2019. ⟨hal-02397982⟩

Collections

CNRS
60 View
101 Download

Share

Gmail Facebook X LinkedIn More