Algebraische Termgraphersetzung mit gebundenen Variablen

Thema des Buches sind Termgraphen, in denen auch Variablenbindung und mehrfaches Vorkommen von Variablen auf originelle Weise explizit, elegant und mit größter Allgemeinheit formalisiert sind. Nach ausführlicher Diskussion geeigneter Homomorphiebegriffe wird der algebraische Ersetzungsansatz des doppelten Pushouts zur Anwendbarkeit auf unsere Termgraphen um eine neue Variante bereichert, den »fibrierten Ansatz«, der auch um seiner selbst willen Interesse verdient. Ergebnisse sind die erste algebraische Charakterisierung der Graphreduktion sowie eine Erweiterung der Ausdruckskraft des algebraischen Termgraphersetzungsansatzes auf Ersetzungssysteme zweiter Stufe, und zwar sogar auf zyklischen Termgraphen, insgesamt also eine theoretische Fundierung für Implementierungen von funktionalen Programmiersprachen, Programmtransformationssystemen und anderen Symbolmanipulationssystemen.