Langages d'arbres réguliers et algébriques pour la réécriture et la vérification

par Julie Vuotto-Moan

Thèse de doctorat en Informatique

Sous la direction de Pierre Réty.

Soutenue en 2004

à Orléans .


  • Résumé

    Partant d'un système de réécriture R basé sur les constructeurs et d'un langage initial E, il est alors possible de calculer l'ensemble des descendants, c’est à dire des termes atteignables à partir de E en appliquant récursivement les règles de R. Calculer l'ensemble des descendants peut être utilisé aussi bien en réécriture (notamment pour vérifier certaines propriétés comme l'accessibilité et la joignabilité) qu'en vérification de protocoles cryptographiques. Les travaux de P. Réty portent sur un calcul d'un ensemble exact de descendants réguliers. Nous les avons étendus en prenant en compte des stratégies de réécriture (innermost, outermost, leftmost et leftmost-innermost). Procéder à un calcul exact nécessitant des restrictions sur R et sur E, nous avons étudié les descendants à travers un langage plus expressif : les langages algébriques d'arbres.

  • Titre traduit

    Regular and context-free tree languages for rewriting and verification


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 170 p.
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. [157]-166

Où se trouve cette thèse ?

  • Bibliothèque : Université d'Orléans. Service commun de la documentation.Section Sciences.
  • Disponible pour le PEB
  • Cote : TS 19-2004-64
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.