1 2 3 4 5 6
digraph NFA { rankdir=LR; <decisionRanks; separator="\n"> <states; separator="\n"> <edges; separator="\n"> }