Jean-Paul ALLOUCHE

CNRS, LRI (Laboratoire de recherche en informatique)

  • Article de bases documentaires : AF175
    Suites automatiques et séries formelles algébriques

    Cet article présente la famille des suites automatiques, par définition les suites déterministes, périodiques ou ultimement périodiques, engendrées par des automates. Il s’attarde longuement sur les propriétés et applications des séries formelles sur un corps commutatif, ainsi que sur les alphabets et morphismes employés dans ces suites. Le théorème de Christol, qui stipule l’équivalence entre l’algébricité d’une série formelle à coefficients dans un corps fini et l’automaticité de la suite de ses coefficients, y est largement introduit.