Tiling automaton: a computational model for recognizable two-dimensional languages

  • Authors:
  • Marcella Anselmo;Dora Giammarresi;Maria Madonia

  • Affiliations:
  • Dipartimento di Informatica ed Applicazioni, Università di Salerno, Fisciano, SA, Italy;Dipartimento di Matematica, Università di Roma "Tor Vergata", Roma, Italy;Dip. Matematica e Informatica, Università di Catania, Catania, Italy

  • Venue:
  • CIAA'07 Proceedings of the 12th international conference on Implementation and application of automata
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

Two-dimensional languages can be recognized by tiling systems. A tiling system becomes an effective device for recognition when a scanning strategy on pictures is fixed. We define a Tiling Automaton as a tiling system together with a scanning strategy and a suitable data structure. In this framework it is possible to define determinism, nondeterminism and unambiguity. The class of languages accepted by tiling automata coincides with REC family. Tiling automata are able to simulate on-line tessellation automata. Then (deterministic) tiling automata are compared with the other known (deterministic) automata models for recognition of two-dimensional languages.