| Date | - |
| Heure | 14h00 - 17h00 |
| Adresse | Salle DIMAp - Campus Universitário |
| Contact | |
| Lien | http://www.univ-orleans.fr/fr/univ/recherche/temps-forts/soutenances-de-theses-… |
Nous traitons trois problèmes liés aux graphes et langages hors-contexte: (1) nous développons une notation alternative pour exprimer des langages hors-contexte; (2) nous développons et expérimentons un algorithme pour l’évaluation de requêtes de chemins hors-contexte; et (3) nous formalisons le problème de la minimisation de graphes restreinte à un langage formel, pour lequel nous développons des solutions pour les cas où le langage formel est régulier ou hors-contexte.