Automata
This topic contains packages to typeset finite-state machines, automata, labelled graphs, etc.
A TikZ-based library for drawing POCL plans.
Finite state machines, graphs and trees in METAPOST.
Dijkstra algorithm for LaTeX.
Comfortably draw and typeset finite state machines.
PSTricks macros for drawing automata.