1. Eingabe des Alphabets
Die Eingabe wird sortiert. Zulässig sind alle Zeichen außer
"1" (leeres Wort). Zeichen nicht durch Kommas trennen, das Komma wird als
Alphabetzeichen interpretiert. Nach einer gültigen Eingabe wird automatisch
die Checkbox "Spur" aktiviert.
2. Eingabe der Spur
Zulässig sind alle Zeichen,die auch im Alphabet sind. Nicht durch
Kommas trennen.
3. Ausgaben des Alphabets (X), der Spur als Tupel (t), Abhängigkeitsrelation
(D), Unabhängigkeitsrelation (I), Maximale Klickenüberdeckung
(PI : M(X,D) =>) und der Foata Normalform (F).
D und I sind durch unterschiedliche Farben gekennzeichnet.
Die Anzeigen von D und I sind nicht vollständig :
- Die reflexiven Relationspaare,die immer in D sind, werden nicht angezeigt.
- Wenn x und y zwei beliebige Alphabetsymbole sind (mit x < y),
dann werden von den zwei Relationspaare (x,y) und (y,x) nur (x,y) angezeigt.
4. Eingabe der Abhängigkeitsrelation D/Unabhängigkeitsrelation
I
D ist nach Eingabe eines Alphabets zunächst vollständig.
Auf ein Relationspaar klicken, um dessen Zugehörigkeit zu D bzw. I
zu wechseln.
5. Resets
D bzw. I vollständig.
6. Graphtyp
Mögliche Darstellungen des Graphen :