Hypergraph-Rewriting-Labor
Lokale Transformationsregeln, wiederholte Anwendung und globale Graphstrukturen.Ein Hypergraph beschreibt Beziehungen, an denen beliebig viele Knoten beteiligt sein koennen. Eine Rewrite-Regel ersetzt ein lokales Muster durch eine neue Struktur.
Viele lokale Schritte koennen globale Struktur erzeugen. Die Raumansicht zeigt den aktuellen Hypergraphen, die Ereignisansicht die Transformationsgeschichte und Hervorhebungen machen auffaellige Bereiche sichtbar.
Das Labor ist eine eigenstaendige D-Book-Werkzeugflaeche: Es erzeugt keine D-Book-Relationen, veraendert keine Datenbank und ist kein produktives Wissensnetz.
Regel anwenden, Matches scannen und Strukturentwicklung beobachten
Das Labor fuehrt typische Beobachtungspfade zuerst als Lernviews. Startgraph, Regel, Graphansicht und Hervorhebung bleiben variierbar, aber sie stehen nicht mehr unkommentiert nebeneinander.
-
-
-
-
Startgraph, Regel und Analyse variieren
Grosse Graphen koennen Layout und Match-Suche verlangsamen.
Variiere einzelne Dimensionen, wenn du die geladene Lernview bewusst veraendern willst.
Bereit.
Layout / Kraefte
Force-Layout bereit.
Regelpanel
Eventlog
Knotendetails
Analyse
Freies Labor / eigene Regel
Hier kannst du alle Kombinationen testen. Nicht jede Kombination erzeugt sinnvolle Matches.
Einfache Formen wie (x,y)->(x,z)(z,y) oder (x,y)(y,z)->(x,z) sind erlaubt.