presentation update'

[bsc-thesis1415.git] / pres / img / inccons.dot

diff --git a/pres/img/inccons.dot b/pres/img/inccons.dot
new file mode 100644 (file)
index 0000000..a544315
--- /dev/null
+++ b/pres/img/inccons.dot
@@ -0,0 +1,67 @@
+digraph {
+       rankdir=LR;
+       n4 [style=invis];
+       q40 [label="q0"];
+       q41 [label="q1"];
+       q42 [label="q2"];
+       q43 [label="q3"];
+       q44 [label="q4" shape=doublecircle];
+       q45 [label="q5"];
+       q46 [label="q6"];
+       n4 -> q40[label="SG4"];
+       q40 -> q41[label="a"];
+       q41 -> q42[label="b"];
+       q42 -> q43[label="c"];
+       q43 -> q44[label="d"];
+       q41 -> q45[label="e"];
+       q45 -> q46[label="c"];
+       q46 -> q44[label="d"];
+       q46 -> q44[label="f"];
+
+       n3 [style=invis];
+       q30 [label="q0"];
+       q31 [label="q1"];
+       q32 [label="q2"];
+       q33 [label="q3"];
+       q34 [label="q4" shape=doublecircle];
+       q35 [label="q5"];
+       n3 -> q30[label="SG3"];
+       q30 -> q31[label="a"];
+       q31 -> q32[label="b"];
+       q32 -> q33[label="c"];
+       q33 -> q34[label="d"];
+       q33 -> q34[label="f" constraint=false];
+       q31 -> q35[label="e"];
+       q35 -> q33[label="c"];
+
+       n2 [style=invis];
+       q20 [label="q0"];
+       q21 [label="q1"];
+       q22 [label="q2"];
+       q23 [label="q3"];
+       q24 [label="q4" shape=doublecircle];
+       q25 [label="q5"];
+       n2 -> q20[label="SG2"];
+       q20 -> q21[label="a"];
+       q21 -> q22[label="b"];
+       q22 -> q23[label="c"];
+       q23 -> q24[label="d"];
+       q21 -> q25[label="e"];
+       q25 -> q23[label="c"];
+
+       n1 [style=invis];
+       q10 [label="q0"];
+       q11 [label="q1"];
+       q12 [label="q2"];
+       q13 [label="q3"];
+       q14 [label="q4" shape=doublecircle];
+       n1 -> q10[label="SG1"];
+       q10 -> q11[label="a"];
+       q11 -> q12[label="b"];
+       q12 -> q13[label="c"];
+       q13 -> q14[label="d"];
+
+       n [style=invis];
+       q0 [label="q0"];
+       n -> q0[label="SG0"];
+}