J. Leroux, Structural Presburger-definable Digit Vector Automata, Research Report IRISA, No 1718, May 2005.

Jump to : Download | Abstract | Contact | BibTex reference | EndNote reference |

Download [help]

Download paper Adobe portable document format (pdf)

Copyright noticeThis material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.


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.

BibTex Reference

   Author = {Leroux, J.},
   Title = {Structural Presburger-definable Digit Vector Automata},
   Number = {1718},
   Institution = {IRISA},
   Month = {May},
   Year = {2005}

EndNote Reference [help]

Get EndNote Reference (.ref)

This page has been automatically generated using the bib2html program.