Kurzfassung

Die Grundlage aller Berechnungen in der Informatik (und Mathematik) ist das formale Operieren mit Zeichen. Gewöhnlich werden nur lineare Kombinationen von Zeichen betrachtet, die meist 'Formeln' genannt werden. Graphgrammatiken sind eine Erweiterung des Formelbegriffs. In diesem Projekt wird untersucht, wie man Graphen als Modelle einsetzen kann und sie nach formalen Rechenregeln verändern kann. Weil Graphen mit Tausenden von Knoten und Kanten mit Papier und Stift nicht handhabbar sind, muß...Die Grundlage aller Berechnungen in der Informatik (und Mathematik) ist das formale Operieren mit Zeichen. Gewöhnlich werden nur lineare Kombinationen von Zeichen betrachtet, die meist 'Formeln' genannt werden. Graphgrammatiken sind eine Erweiterung des Formelbegriffs. In diesem Projekt wird untersucht, wie man Graphen als Modelle einsetzen kann und sie nach formalen Rechenregeln verändern kann. Weil Graphen mit Tausenden von Knoten und Kanten mit Papier und Stift nicht handhabbar sind, muß nach Implementierungsmöglichkeiten auf dem Computer gesucht werden.» weiterlesen» einklappen