La congruence de Simon est une relation mathématique sur les mots, découverte par Imre Simon en étudiant les automates finis. Elle classe les séquences de caractères selon une structure cachée, comme si chaque mot avait une "signature" algébrique. Ce concept, initialement technique, s'est révélé être une mine d'or : combinatoire, algèbre, algorithmes—autant de domaines l'ont exploré depuis. C'est un exemple parfait où une observation ponctuelle dans la théorie des automates devient un outil transversal d'informatique théorique. Explore ce pont entre logique formelle et structure mathématique profonde.