Skip to Main content Skip to Navigation
Reports

Structural Presburger-definable Digit Vector Automata

Résumé : Les automates finis permettent de représenter symboliquement des ensembles infinis de vecteurs d'entiers décomposés comme des mots de vecteurs de chiffres. On montre que l'automate minimal représentant un ensemble Presburger-définissable est structurellement Presburger-définissable: c'est à dire, que les automates obtenus en changeant l'état initial et les états finaux représentent des ensembles Presburger-définissables./ Digit Vector Automata (DVA) provide a natural symbolic representation for regular sets of integer vectors encoded as strings of digit vectors (least significant digit first). We prove that the minimal DVA that represents a Presburger-definable set is structurally Presburger-definable: that means, the DVA obtained by modifying the initial state and the set of final states represents a Presburger-definable set.
Document type :
Reports
Complete list of metadata

Cited literature [22 references]  Display  Hide  Download

https://hal.inria.fr/inria-00000039
Contributor : Anne Jaigu <>
Submitted on : Friday, May 20, 2005 - 3:03:29 PM
Last modification on : Wednesday, April 11, 2018 - 1:53:58 AM
Long-term archiving on: : Thursday, April 1, 2010 - 9:30:05 PM

Identifiers

  • HAL Id : inria-00000039, version 1

Collections

Citation

Jérôme Leroux. Structural Presburger-definable Digit Vector Automata. [Research Report] PI 1718, 2005. ⟨inria-00000039⟩

Share

Metrics

Record views

186

Files downloads

134