En informatique, une grammaire de graphes attribuée est une classe de grammaire de graphes qui associe aux sommets un ensemble d'attributs et réécrit avec des fonctions sur les attributs. Dans l'approche algébrique des grammaires de graphes, elles peuvent être formulées en utilisant l'approche à double somme amalgamée ou l'approche à simple somme amalgamée.
Mise en œuvre AGG, un langage visuel basé sur des règles qui exprime les grammaires de graphes attribués en utilisant l'approche à simple somme amalgamée a été développé à la TU Berlin depuis de nombreuses années.
Voir aussi
Réécriture de graphes Grammaire de graphes Grammaire attribuée Réécriture
Références
Bibliographie Rozenberg, Grzegorz (1997), Handbook of Graph Grammars and Computing by Graph Transformations, World Scientific Publishing, volumes 1–3, . Ehrig, Heckel, Korff, Lowe, Ribeiro, Wagner and Corradini, 1997. Algebraic Approaches to Graph Transformation - Part II: Single Pushout Approach and Comparison with Double Pushout Approach. Pp. 247-312 of (Rozenberg, 1997).
Catégorie:Informatique