Was ist dot?

Graphviz dot ist ein Programm, um Graphen zu erzeugen. Dabei spezifiziert man einen Graphen so ähnlich wie in einer Programmiersprache und kompiliert daraus ein Bild. Dabei muss man nicht sagen, wo was im Bild hinterher sein soll, sondern alles wird automatisch arrangiert. Das heißt insbesondere auch, dass man sich mit Python ein Programm schreiben kann, das Graphen in der dot-Sprache erzeugt.

Wozu brauche ich das?

dot ist sehr praktisch, wenn man z.B. Automaten zeichnen, Visualisierungen in Märchen, wer mit wem spricht, Dependenzgraphen, Bäume von Clusterings, AMR-Graphen oder alles mögliche anderes darstellen möchte.

Konkret heißt das: in Präsentationen für Seminare und in Hausarbeiten.

Tutorial

Wir haben ein PDF erstellt, in dem erklärt wird, wie man mit dot umgeht, insbesondere am Beispiel von endlichen Automaten.