Radix enumeration of rational languages
Pierre-Yves Angrand, Jacques Sakarovitch (2010)
RAIRO - Theoretical Informatics and Applications
Similarity:
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.