Multidimensional generalized automatic sequences and shape-symmetric morphic words

نویسندگان

  • Émilie Charlier
  • Tomi Kärki
  • Michel Rigo
چکیده

Numeration Systems Definition An abstract numeration system is a triple S = (L,Σ, <) where L is a regular language over a totally ordered alphabet (Σ, <). Enumerating the words of L with respect to the genealogical ordering induced by < gives a one-to-one correspondence repS : N → L valS = rep −1 S : L → N. Example L = a∗, Σ = {a} n 0 1 2 3 4 · · · rep (n) ε a aa aaa aaaa · · · Abstract Numeration SystemsNumeration Systems Example L = {a, b}∗, Σ = {a, b}, a < b n 0 1 2 3 4 5 6 7 · · · rep (n) ε a b aa ab ba bb aaa · · · Example L = a∗b∗, Σ = {a, b}, a < b n 0 1 2 3 4 5 6 · · · rep (n) ε a b aa ab bb aaa · · ·

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Characterization of Multidimensional S-automatic Sequences

An infinite word is S-automatic if, for all n ≥ 0, its (n + 1)st letter is the output of a deterministic automaton fed with the representation of n in the considered numeration system S. In this extended abstract, we consider an analogous definition in a multidimensional setting and present the connection to the shape-symmetric infinite words introduced by Arnaud Maes. More precisely, for d ≥ 2...

متن کامل

On Uniformly Recurrent Morphic Sequences

In the paper we mainly deal with two well-known types of in nite words: morphic and uniformly recurrent (=almost periodic). We discuss the problem of nding criterion of uniform recurrence for morphic sequences and give e ective polynomial-time such criterion in two particular cases: pure morphic sequences and automatic sequences. We also prove that factor complexity of arbitrary uniformly recur...

متن کامل

Mix-Automatic Sequences

Mix-automatic sequences form a proper extension of the class of automatic sequences, and arise from a generalization of finite state automata where the input alphabet is state-dependent. In this paper we compare the class of mix-automatic sequences with the class of morphic sequences. For every polynomial φ we construct a mix-automatic sequence whose subword complexity exceeds φ. This stands in...

متن کامل

Logarithmic density in morphic sequences par

We study the logarithmic frequency of letters and words in morphic sequences and show that this frequency must always exist, answering a question of Allouche and Shallit.

متن کامل

A Hierarchy of Automatic Words having a Decidable MSO Theory

We investigate automatic presentations of infinite words. Starting points of our study are the works of Rigo and Maes, and Carton and Thomas concerning the lexicographic presentation, respectively the decidability of the MSO theory of morphic words. Refining their techniques we observe that the lexicographic presentation of a (morphic) word is canonical in a certain sense. We then go on to gene...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Discrete Mathematics

دوره 310  شماره 

صفحات  -

تاریخ انتشار 2010