Fonctions d'arité variable ou infinie : applications aux systèmes d'équations et aux grammaires d'attributs

Functions of variable or infinite rank : applications so rewriting systems and attribute grammars

• Auteur / Autrice : Colin de La Higuera
• Direction : Bruno Courcelle
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 1989
• Etablissement(s) : Bordeaux 1
• Partenaire(s) de recherche : Autre partenaire : Université Bordeaux-I. Faculté des sciences (1971-2013)
• Jury : Président / Présidente : André Arnold
• Jury : Examinateurs / Examinatrices : Bruno Courcelle, André Arnold, D. De Frutos, Irène Guessarian, Damian Niwiński, Géraud Senizergues

Mots clés

Mots clés contrôlés

Langages algébriques

Grammaires de graphes

Réécriture, Systèmes de (informatique)

Mots clés libres

Informatique theorique

Theorie langage

Reecriture

Grammaire par attribut

Arbre graphe

Résumé

Sont considérés les arbres représentant des termes écrits avec des symboles de fonction d'arite variable ou infinie. Les haies, représentant des fermes ou les symboles de fonction prennent une liste d'arguments, sont étudiées. Leurs propriétés de base sont démontrées et la classe des haies régulières est caractérisée à l'aide d'automates et d'expressions rationnelles. Sont ensuite étudiées les fonctions prenant systématiquement une infinité d'arguments. Enfin, l'étude des grammaires étendues permet de représenter de façon plus condensée la syntaxe d'un langage algébrique