Grammatica: an implementation of algebraic graph transformation on Mathematica

Grammatica is a prototype implementation of algebraic graph transformation based on relation algebra. It has been implemented using Mathematica on top of the Combinatorica package, and runs therefore on most platforms. It consists of Mathematica routines for representing, manipulating, displaying an...

Full description

Bibliographic Details
Author: Valiente Feruglio, Gabriel Alejandro|||0000-0001-9194-2703
Format: report
Publication Date:1999
Country:España
Institution:Universitat Politècnica de Catalunya (UPC)
Repository:UPCommons. Portal del coneixement obert de la UPC
Language:English
OAI Identifier:oai:upcommons.upc.edu:2117/93069
Online Access:https://hdl.handle.net/2117/93069
Access Level:Open access
Keyword:Mathematica
Grammatica
Relation algebra
Algebraic graph transformation
Àrees temàtiques de la UPC::Informàtica::Programació
Description
Summary:Grammatica is a prototype implementation of algebraic graph transformation based on relation algebra. It has been implemented using Mathematica on top of the Combinatorica package, and runs therefore on most platforms. It consists of Mathematica routines for representing, manipulating, displaying and transforming graphs, as well as routines implementing some relation algebra-theoretic operations on graphs. It supports both interactive and automatic application of double-pushout graph productions, being therefore both a teaching aid and a research tool for algebraic graph transformation.