Showing 1–2 of 2 results for author: Kärki, T

A new proof for the decidability of D0L ultimate periodicity

Authors: Vesa Halava, Tero Harju, Tomi Kärki

Abstract: We give a new proof for the decidability of the D0L ultimate periodicity problem based on the decidability of p-periodicity of morphic words adapted to the approach of Harju and Linna. We give a new proof for the decidability of the D0L ultimate periodicity problem based on the decidability of p-periodicity of morphic words adapted to the approach of Harju and Linna. △ Less

Submitted 17 August, 2011; originally announced August 2011.

Comments: In Proceedings WORDS 2011, arXiv:1108.3412

ACM Class: 68R15

Journal ref: EPTCS 63, 2011, pp. 147-151

Multidimensional Generalized Automatic Sequences and Shape-symmetric Morphic Words

Authors: Emilie Charlier, Tomi Karki, Michel Rigo

Abstract: 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, w… ▽ More 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, we state that a multidimensional infinite word x : N^d \to Σover a finite alphabet Σis S-automatic for some abstract numeration system S built on a regular language containing the empty word if and only if x is the image by a coding of a shape-symmetric infinite word. △ Less

Submitted 3 July, 2009; originally announced July 2009.