Markus studiert!
Schöne Graphen mit GraphViz
Graphviz ist ein tolles Tool, mit dessen Hilfe man mit wenig Quellcode dynamische Graphen erzeugen kann, die sich für vielerlei Arten von Visualisierungen verwenden lassen — unter anderem auch in Automatentheorie und formale Sprachen …
Beispiel
digraph g {
rankdir=LR
node [shape=circle]
S0 [shape=doublecircle ]
S1 [shape=doublecircle ]
S2 [shape=doublecircle ]
S0 -> S1 [ label=b ]
S0 -> S0 [ label=a ]
S1 -> S0 [ label=a weight=.01 ]
S1 -> S2 [ label=b ]
S2 -> S0 [ label=a weight=.01 ]
S2 -> f [ label=b ]
f -> f [ label="a,b" ]
}
Der resultierende Graph sieht so aus:
