Description of the Graph Grammar-Machine
In: Internal Report
Essen: University of Essen, Department of Mathematics and Computer Science / Specification of Software Systems (1994)
Buchaufsatz / Kapitel / Fach: Wirtschaftswissenschaften, Rechtswissenschaften
Abstract:
Die folgende Arbeit dokumentiert die Implementierung einer Graphbibliotheks-Konfiguration, die es erlaubt in der Programmiersprache ML Graphen, Graphersetzungsregeln und Graph-Grammatiken zu definieren, sowie Graphmorphismen und Graphsprachen zu generieren und Graphersetzungsschritte manuell einzeln oder automatisiert anzuwenden.
Dieser Eintrag ist freigegeben.