Back to Search
Start Over
Structural Presburger digit vector automata
- Source :
-
Theoretical Computer Science . Dec2008, Vol. 409 Issue 3, p549-556. 8p. - Publication Year :
- 2008
-
Abstract
- Abstract: 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. [Copyright &y& Elsevier]
Details
- Language :
- English
- ISSN :
- 03043975
- Volume :
- 409
- Issue :
- 3
- Database :
- Academic Search Index
- Journal :
- Theoretical Computer Science
- Publication Type :
- Academic Journal
- Accession number :
- 35329691
- Full Text :
- https://doi.org/10.1016/j.tcs.2008.09.037