Radix enumeration of rational languages
LTCI (UMR 5141), Telecom ParisTech,
46 rue Barrault, 75634 Paris Cedex 13, France;
2 LTCI (UMR 5141), CNRS / Telecom ParisTech, 46 rue Barrault, 75634 Paris Cedex 13, France; firstname.lastname@example.org
We prove that the function that maps a word of a rational language onto its successor for the radix order in this language is a finite union of co-sequential functions.
Mathematics Subject Classification: 68Q45 / 68Q70.
Key words: Finite automata / rational functions of words / sequential transducers.
© EDP Sciences, 2010