Automaten
Dieses Thema enthält Pakete für Zustandsmaschinen, Automaten, beschriftete Graphen etc.
Finite state machines, graphs and trees in METAPOST.
Dijkstra algorithm for LaTeX.
Comfortably draw and typeset finite state machines.
PSTricks macros for drawing automata.