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