thesis2/dawgexample.dot

   1 digraph {
   2         rankdir=LR;
   3         node [shape="circle"]; n1 n2 n3 n4 n5;
   4         n6 [shape="doublecircle"];
   5         n [style=invis];
   6         n -> n1;
   7         n1 -> n2 [label="a"];
   8         n2 -> n3 [label="b"];
   9         n3 -> n6 [label="d"];
  10         n1 -> n4 [label="b"];
  11         n4 -> n5 [label="a"];
  12         n5 -> n6 [label="d"];
  13         n5 -> n6 [label="e"];
  14 }