%O Report 
%F leroux05a
%A Leroux, J.
%T Structural Presburger-definable Digit Vector Automata
%N 1718
%I IRISA
%X 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
%U http://www.irisa.fr/vertecs/Publis/Ps/PI-1718.pdf
%8 May
%D 2005