Decidability of Geometricity of Regular Languages - Archive ouverte HAL
Communication Dans Un Congrès Lecture Notes in Computer Science Année : 2012

Decidability of Geometricity of Regular Languages

Résumé

Geometrical languages generalize languages introduced to model temporal validation of real-time softwares. We prove that it is decidable whether a regular language is geometrical. This result was previously known for binary languages.
Fichier principal
Vignette du fichier
geometriqueDLT2012.pdf (154.41 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00737688 , version 1 (26-11-2013)

Identifiants

Citer

Marie-Pierre Béal, Jean-Marc Champarnaud, Jean-Philippe Dubernard, Hadrien Jeanne, Sylvain Lombardy. Decidability of Geometricity of Regular Languages. 16th International Conference, DLT 2012, 2012, Taipei, Taiwan. pp.62-72, ⟨10.1007/978-3-642-31653-1_7⟩. ⟨hal-00737688⟩
131 Consultations
239 Téléchargements

Altmetric

Partager

More