Simulations for a Class of Two-Dimensional Automata - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2010

Simulations for a Class of Two-Dimensional Automata

Résumé

We study the notion of simulation over a class of automata which recognize 2D languages (languages of arrays of letters). This class of two-dimensional On-line Tessellation Automata (2OTA) accepts the same class of languages as the class of tiling systems, considered as the natural extension of classical regular word languages to the 2D case. We prove that simulation over 2OTA implies language inclusion. Even if the existence of a simulation relation between two 2OTA is shown to be a NP-complete problem in time, this is an important result since the inclusion problem is undecidable in general in this class of languages. Then we prove the existence of a unique maximal autosimulation relation in a given 2OTA and the existence of a unique minimal 2OTA which is simulation equivalent to this given 2OTA, both computable in polynomial time.
Fichier principal
Vignette du fichier
RR-7425.pdf (343.02 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

inria-00527077 , version 1 (18-10-2010)
inria-00527077 , version 2 (29-04-2011)
inria-00527077 , version 3 (23-11-2012)

Identifiants

  • HAL Id : inria-00527077 , version 2

Citer

Gérard Cécé, Alain Giorgetti. Simulations for a Class of Two-Dimensional Automata. [Research Report] RR-7425, 2010, pp.18. ⟨inria-00527077v2⟩

Collections

INRIA-RRRT
182 Consultations
153 Téléchargements

Partager

Gmail Facebook X LinkedIn More