From LaBRI - Laboratoire Bordelais de Recherche en Informatique

MF: LogiqueGraphes

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

Présentation générale

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, et 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 libre, 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 linguistique informatique, intervient ici à plusieurs titres :

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

Récupéré sur http://www.labri.u-bordeaux.fr/index.php?n=MF.LogiqueGraphes
Page mise à jour le 08/02/2016 à 09:33