  In this paper, we introduce the notion of strongly automatic semigroup, which
implies the usual notion of auto- maticity. We focus on semigroups of
\beta-adics developpements, for which we obtain a criterion of strong
automaticity.
