Graphes infinis de présentation finie

par Antoine Meyer

Thèse de doctorat en Informatique

Sous la direction de Didier Caucal.

Soutenue en 2005

à Rennes 1 .


  • Résumé

    Cette thèse s'inscrit dans l'étude de familles de graphes infinis de présentation finie, de leurs propriétés structurelles, ainsi que des comparaisons entre ces familles. Après un survol du domaine, nous nous intéressons à trois problèmes. Premièrement, nous définissons trois familles de systèmes de réécriture de termes dont nous démontrons que la relation de dérivation peut être représentée de façon finie. Il en découle plusieurs questions sur les familles de graphes infinis correspondantes. Dans un second temps, nous étudions deux familles de graphes dont les traces sont les langages contextuels, à savoir les graphes rationnels et les graphes linéairement bornés. Nous nous intéressons en particulier au cas des langages contextuels déterministes, ainsi qu'à la comparaison structurelle de ces deux familles. Enfin, d'un point de vue plus proche de la vérification, nous proposons un algorithme de calcul des prédécesseurs pour une famille d'automates à pile d'ordre supérieur.

  • Titre traduit

    Finitely presented infinite graphs


  • Pas de résumé disponible.

Autre version

Cette thèse a donné lieu à une publication en 2008 par [CCSD] à Villeurbanne

Graphes infinis de présentation finie

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (X-202 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 193-202

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université de Rennes 1. Service commun de la documentation. BU Beaulieu.
  • Disponible pour le PEB
  • Cote : TA RENNES 2005/112
  • Bibliothèque : Centre de recherche INRIA Rennes - Bretagne Atlantique. Service IST.
  • Disponible pour le PEB
  • Cote : G.2 - MEY
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.