Abstract FR:

L'unicite de l'ecriture d'un entier, en base g, avec, pour chiffres, les elements d'un ensemble fini d'entiers naturels, peut se traduire par des contraintes sur les matrices des chemins d'un g-automate fini. En associant ces automates a des operateurs polynomiaux lies a la fonction generatrice du probleme, on en deduit, en faisant croitre la longueur des chemins, un critere polynomial permettant de decider de l'unicite ou de la non-unicite de l'ecriture pour tous les entiers lorsqu'elle existe