Langages d'arbres réguliers et algébriques pour la réécriture et la vérification
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 descend...
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thèse et Mémoire papier |
| Language: | Français |
| Published: |
[S.l.] :
[s.n.]
2004.
|
| Subjects: | |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | Regular and context-free tree languages for rewriting and verification |
| Summary: | 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. |
|---|---|
| Physical Description: | 170 p. ; 30 cm. |
| Bibliography: | Bibliogr. p. [157]-166 |
| Access: | Publication autorisée par le jury |