From LaBRI - Laboratoire Bordelais de Recherche en Informatique

MF: LogiqueGraphes

Equipe Méthodes Formelles
Logiques, graphes et langages
Responsable : Sylvain Lombardy .

Présentation du Thème

Les méthodes formelles considérées sont principalement celles de la Théorie des Langages Formels et de la Logique.

Les 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 sont 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 libres telles que 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.

La Logique qui est essentielle dans les travaux de l'équipe Méthodes Formelles sur la Vérification et la Théorie des Langues Naturelles intervient ici à plusieurs titres :

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

Récupéré sur https://www3.labri.fr/index.php?n=MF.LogiqueGraphes
Page mise à jour le 08/02/2016 à 09:33