thesis2/img/nddawg.dot

   1 digraph {
   2         rankdir=LR;
   3         n0 [style=invis]
   4         q4 [shape=doublecircle]
   5         n0 -> q0
   6         q0 -> q1 [label="a"]
   7         q1 -> q2 [label="b"]
   8         q2 -> q3 [label="<1>"]
   9         q3 -> q4 [label="c"]
  10         q1 -> q5 [label="<1>"]
  11         q5 -> q6 [label="b"]
  12         q6 -> q4 [label="c"]
  13 }