Logiques, graphes et langages

L’axe “Logique, Graphes, et Langages” (responsable Sylvain Lombardy) s’intéresse aux concepts fondamentaux de la théorie des langages que sont les grammaires, les automates, la reconnaissabilité exprimée en termes de congruences, qui ont été développés tout d’abord pour les mots et les termes finis et infinis mais sont maintenant appliqués à d’autres objets tels que les ordres partiels et les graphes, et à d’autres structures mathématiques que le monoïde et l’algèbre libre comme le groupe libre et différents types de semi-groupes. Les objectifs généraux sont toujours de décrire des familles d’objets par des moyens finis et de décider diverses propriétés d’objets et/ou d’ensembles infinis donnés par leurs descriptions finies.

Ces différentes directions de recherche sont présentées plus en détail dans les pages annexes :