thesis2/graph23.dot

   1 digraph graph23 {
   2 rankdir=LR;
   3 1,2,3,5,6 [shape="circle"];
   4 5 [shape="doublecircle"];
   5 1 -> 2 [label="a"];
   6 2 -> 3 [label="."];
   7 3 -> 4 [label="b"];
   8 4 -> 5 [label="c"];
   9
  10 2 -> 6 [label=","];
  11 6 -> 4 [label="b"];
  12 }