thesis2/inccons.dot

   1 digraph {
   2         rankdir=LR;
   3         n4 [style=invis];
   4         q40 [label="q0"];
   5         q41 [label="q1"];
   6         q42 [label="q2"];
   7         q43 [label="q3"];
   8         q44 [label="q4" shape=doublecircle];
   9         q45 [label="q5"];
  10         q46 [label="q6"];
  11         n4 -> q40[label="SG4"];
  12         q40 -> q41[label="a"];
  13         q41 -> q42[label="b"];
  14         q42 -> q43[label="c"];
  15         q43 -> q44[label="d"];
  16         q41 -> q45[label="e"];
  17         q45 -> q46[label="c"];
  18         q46 -> q44[label="d"];
  19         q46 -> q44[label="f"];
  20
  21         n3 [style=invis];
  22         q30 [label="q0"];
  23         q31 [label="q1"];
  24         q32 [label="q2"];
  25         q33 [label="q3"];
  26         q34 [label="q4" shape=doublecircle];
  27         q35 [label="q5"];
  28         n3 -> q30[label="SG3"];
  29         q30 -> q31[label="a"];
  30         q31 -> q32[label="b"];
  31         q32 -> q33[label="c"];
  32         q33 -> q34[label="d"];
  33         q33 -> q34[label="f" constraint=false];
  34         q31 -> q35[label="e"];
  35         q35 -> q33[label="c"];
  36
  37         n2 [style=invis];
  38         q20 [label="q0"];
  39         q21 [label="q1"];
  40         q22 [label="q2"];
  41         q23 [label="q3"];
  42         q24 [label="q4" shape=doublecircle];
  43         q25 [label="q5"];
  44         n2 -> q20[label="SG2"];
  45         q20 -> q21[label="a"];
  46         q21 -> q22[label="b"];
  47         q22 -> q23[label="c"];
  48         q23 -> q24[label="d"];
  49         q21 -> q25[label="e"];
  50         q25 -> q23[label="c"];
  51
  52         n1 [style=invis];
  53         q10 [label="q0"];
  54         q11 [label="q1"];
  55         q12 [label="q2"];
  56         q13 [label="q3"];
  57         q14 [label="q4" shape=doublecircle];
  58         n1 -> q10[label="SG1"];
  59         q10 -> q11[label="a"];
  60         q11 -> q12[label="b"];
  61         q12 -> q13[label="c"];
  62         q13 -> q14[label="d"];
  63
  64         n [style=invis];
  65         q0 [label="q0"];
  66         n -> q0[label="SG0"];
  67 }