thesis2/graph22.dot

   1 digraph graph22 {
   2 rankdir=LR;
   3 1,2,3,5 [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 }