Structural Presburger digit vector automata - Archive ouverte HAL
Article Dans Une Revue Theoretical Computer Science Année : 2008

Structural Presburger digit vector automata

Résumé

The least significant digit first decomposition of integer vectors into words of digit vectors provides a natural way for representing sets of integer vectors by automata. In this paper, the minimal automata representing Presburger sets are proved structurally Presburger: automata obtained by moving the initial state and replacing the accepting condition represent Presburger sets.
Fichier principal
Vignette du fichier
main.pdf (178.46 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00345971 , version 1 (10-12-2008)

Identifiants

Citer

Jérôme Leroux. Structural Presburger digit vector automata. Theoretical Computer Science, 2008, 409 (3), pp.549-556. ⟨10.1016/j.tcs.2008.09.037⟩. ⟨hal-00345971⟩
143 Consultations
131 Téléchargements

Altmetric

Partager

More