Grammaires de graphes et langages formels - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 2011

Graph grammars and formal languages

Grammaires de graphes et langages formels

Trong Hiêu Dinh
  • Fonction : Auteur
  • PersonId : 765589
  • IdRef : 158129458

Résumé

Pas de résumé en anglais
Cette thèse apporte plusieurs contributions dans le domaine des langages formels. Notre premier travail a été de montrer la pertinence des grammaires de graphes comme outil de démonstration de résultats fondamentaux sur les langages algébriques. Nous avons ainsi reformulé avec un point de vue géométrique les démonstrations du lemme des paires itérantes et du lemme de Parikh. Nous avons ensuite étendu aux graphes réguliers des algorithmes de base sur les graphes finis, notamment pour calculer des problèmes de plus court chemin. Ces extensions ont été faites par calcul de plus petits points fixes sur les grammaires de graphes. Enfin, nous avons caractérisé des familles générales de systèmes de récriture de mots dont la dérivation préserve la régularité ou l’algébricité. Ces familles ont été obtenues par décomposition de la dérivation en une substitution régulière suivie de la dérivation du système de Dyck
Fichier principal
Vignette du fichier
TH2011PEST1015_complete.pdf (772.34 Ko) Télécharger le fichier
Origine : Version validée par le jury (STAR)
Loading...

Dates et versions

tel-00665732 , version 1 (02-02-2012)

Identifiants

  • HAL Id : tel-00665732 , version 1

Citer

Trong Hiêu Dinh. Grammaires de graphes et langages formels. Autre [cs.OH]. Université Paris-Est, 2011. Français. ⟨NNT : 2011PEST1015⟩. ⟨tel-00665732⟩
483 Consultations
929 Téléchargements

Partager

Gmail Facebook X LinkedIn More