Multi-dimensional sets recognizable in all abstract numeration systems
Émilie Charlier, Anne Lacroix, Narad Rampersad · RAIRO - Theoretical Informatics and Applications · 2011
We prove that the subsets of that are S-recognizable for all abstract numeration systems S are exactly the 1-recognizable sets. This generalizes a result of Lecomte and Rigo in the one-dimensional setting.