Résumé : On montrera que l’énumération asymptotique des automates complets déterministes accessibles, qui sont l’input de l’algorithme de Moore, peut être menée à bien via l’analyse des trajectoires d’un champ de vecteurs étroitement lié aux nombres de Stirling de deuxième espèce, et on examinera de ce point de vue quelques autres triangles combinatoires.
(En collaboration avec Jules Flin et Alexis Zevio)