Julien David (LIPN, Paris Nord)

Un automate minimal est le plus petit automate déterministe accessible complet reconnaissant un langage rationnel donné. On donnera une estimation asymptotique du nombre d’automates minimaux en étudiant leur proportion parmi les automates déterministes accessibles complets. La preuve de ce résultat utilise des méthodes de combinatoire bijective ainsi que des méthodes probabilistes.