On Recognizable Languages of Infinite Pictures

Abstract : In a recent paper, Altenbernd, Thomas and Wöhrle have considered acceptance of languages of infinite two-dimensional words (infinite pictures) by finite tiling systems, with the usual acceptance conditions, such as the Büchi and Muller ones, firstly used for infinite words. The authors asked for comparing the tiling system acceptance with an acceptance of pictures row by row using an automaton model over ordinal words of length $\omega^2$. We give in this paper a solution to this problem, showing that all languages of infinite pictures which are accepted row by row by Büchi or Choueka automata reading words of length $\omega^2$ are Büchi recognized by a finite tiling system, but the converse is not true. We give also the answer to two other questions which were raised by Altenbernd, Thomas and Wöhrle, showing that it is undecidable whether a Büchi recognizable language of infinite pictures is E-recognizable (respectively, A-recognizable).
Liste complète des métadonnées

Littérature citée [29 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00355793
Contributeur : Olivier Finkel <>
Soumis le : samedi 24 janvier 2009 - 12:22:16
Dernière modification le : vendredi 4 janvier 2019 - 17:32:32
Document(s) archivé(s) le : mardi 8 juin 2010 - 21:15:52

Fichiers

rec-pictures-+erratum.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00355793, version 1
  • ARXIV : 0901.3828

Collections

Citation

Olivier Finkel. On Recognizable Languages of Infinite Pictures. International Journal of Foundations of Computer Science, World Scientific Publishing, 2004, 15 (6), pp.823-840. ⟨hal-00355793⟩

Partager

Métriques

Consultations de la notice

353

Téléchargements de fichiers

57