En informática , una gramática de grafos atribuidos es una clase de gramática de grafos que asocia los vértices con un conjunto de atributos y los reescribe con funciones sobre atributos. En el enfoque algebraico para graficar gramáticas, generalmente se formulan utilizando el enfoque de doble expulsión o el método de expulsión simple .
Implementación
AGG, un lenguaje visual basado en reglas que expresa directamente gramáticas gráficas atribuidas utilizando el enfoque de expulsión única, se ha desarrollado en TU Berlin durante muchos años. [1]
Notas
- ^ Runge, Olga. "Documentación AGG" . Consultado el 6 de noviembre de 2017 .
Referencias
- Rozenberg, Grzegorz (1997), Handbook of Graph Grammars and Computing by Graph Transformations , World Scientific Publishing, volúmenes 1-3, ISBN 9810228848.
- Ehrig, Heckel, Korff, Lowe, Ribeiro, Wagner y Corradini, 1997. Enfoques algebraicos para la transformación de grafos - Parte II: Enfoque de empuje simple y comparación con el enfoque de empuje doble. Páginas. 247-312 de (Rozenberg, 1997).