Graph-Ersetzungssysteme für Anwendungen

Zusammenfassung

In diesem Kapitel führen wir programmierte Graph-Grammatiken und zweistufige Graph-Grammatiken ein. Diese Ersetzungssysteme werden nicht eingeführt, um die generative Mächtigkeit von Graph-Ersetzungssystemen zu steigern, denn wegen Satz I.3.37 sind die Graph-Grammatiken von Kapitel I bereits universell, d.h. in ihnen können bereits alle Graph-Berechnungen durchgeführt werden. Dagegen werden programmierte bzw. zweistufige Graph-Grammatiken eingeführt zur Effizienzsteigerung in zweifacher Hinsicht: Einmal können durch einen programmierten Ersetzungsschritt bzw. einen zweistufigen Ersetzungsschritt (beide als nicht weiter zerlegt angenommen¹⁾) Berechnungen verkürzt werden. Der zweite wichtigere Grund ist, daB mit ihnen Graphen-Programmierung evidenter durchgeführt werden kann, was für die Anwendung von Graph-Ersetzungssystemen insofern wichtig ist, als man bei einem Anwender nicht unbedingt extensive Vertrautheit, etwa mit den Einbettungsüberführung aus I.2, vorausgesetzt werden darf.