Mit Latex kann man nicht nur sehr schöne Dokumente erstellen, auch die zugehörigen Illustrationen sehen genial aus. Kürzlich habe ich das Vaucanson-G-Paket entdeckt, welches auf PSTricks aufsetzt, aber die Dinge noch ein weniger einfacher macht. Ein NFA mit 3 Zuständen beispielsweise, entsteht mit nur diesen Zeilen Code:

\begin{VCPicture}{(0,0)(1,1)}
\FinalState[q_{1}]{(2,1)}{q1}
\State[q_{2}]{(0,-1)}{q2}
\State[q_{3}]{(4,-1)}{q3}
\Initial{q1}
\ArcR{q1}{q2}{b}
\ArcR{q2}{q3}{a,b}
\ArcL{q1}{q3}{\varepsilon}
\ArcL{q3}{q1}{a}
\LoopW{q2}{a}
\end{VCPicture}

Und sieht folgendermassen aus:

Natürlich muss man sich bei der Platzierung bereits im Vorfeld ein paar Gedanken machen, automatisch gelayoutet wird nämlich nicht. Allerdings lassen sich dazu Hilfslinien und ein Raster einblenden, was das ganze wiederum ziemlich vereinfacht.

Auch aufwändigere Dinge gehen ziemlich gut, so beispielsweise dieser Program Dependence Graph, den ich für meine Seminararbeit gezeichnet habe: