update

diff --git a/thesis2/.gitignore b/thesis2/.gitignore
index e1baa3b..1fbd0f0 100644 (file)
--- a/thesis2/.gitignore
+++ b/thesis2/.gitignore
@@ -8,7 +8,6 @@
 *.blg
 *.pdf
 *.ps
-*.dot
 *.pyg
 scheme[12].xsd
 log.txt

diff --git a/thesis2/appoverview.dot b/thesis2/appoverview.dot
new file mode 100644 (file)
index 0000000..c642414
--- /dev/null
+++ b/thesis2/appoverview.dot
@@ -0,0 +1,12 @@
+digraph {
+subgraph {
+               rank=same;
+               User -> Frontend
+               Frontend -> Backend
+               Backend -> Crawler [label="Crawler spec."]
+               Crawler -> Database [label="XML"]
+       }
+       Source -> Frontend
+       Crawler -> Source
+       Source -> Crawler
+}

diff --git a/thesis2/backend.dot b/thesis2/backend.dot
new file mode 100644 (file)
index 0000000..eef3f17
--- /dev/null
+++ b/thesis2/backend.dot
@@ -0,0 +1,13 @@
+digraph {
+               rankdir=LR
+               q0 [style=invis]
+               q1 [style=invis]
+               q0 -> "HTML data"
+               "HTML data" -> "Table rows"
+               "Table rows" -> "Node lists"
+               "Node lists" -> "Dawg"
+               "Dawg" -> "Dictionary"
+               "HTML data" -> "Dictionary" [label="Description fields"]
+               "Table rows" -> "Dictionary" [label="Original text"]
+               "Dictionary" -> q1
+}

diff --git a/thesis2/dagexample.dot b/thesis2/dagexample.dot
new file mode 100644 (file)
index 0000000..1410065
--- /dev/null
+++ b/thesis2/dagexample.dot
@@ -0,0 +1 @@
+digraph dagexample { rankdir=LR; n01 -> n02; n02 -> n03; n03 -> n01; n11 -> n12; n12 -> n13; n12 -> n14; }

diff --git a/thesis2/graph111.dot b/thesis2/graph111.dot
new file mode 100644 (file)
index 0000000..4510862
--- /dev/null
+++ b/thesis2/graph111.dot
@@ -0,0 +1 @@
+digraph graph111 { rankdir=TB; node [shape="rectangle",fontsize=10,nodesep=0.7,ranksep=0.75,width=1]; edge [weight=5.]; i0 [label="Website"]; i1 [label="Email"]; i2 [label="Fax"]; i3 [label="RSS/Atom"]; p1 [label="Preproccessing"]; p2 [label="Temporum: Postproccesing"]; o1 [label="Database: Insertion"]; o2 [label="TheAgenda"]; o3 [label="BiosAgenda"]; o4 [label="..."]; node [width=5]; p1 p2 o1; i0 -> p1; i1 -> p1; i2 -> p1; i3 -> p1; p1 -> p2; p2 -> o1; o1 -> o2; o1 -> o3; o1 -> o4; }

diff --git a/thesis2/graph112.dot b/thesis2/graph112.dot
new file mode 100644 (file)
index 0000000..a1bd518
--- /dev/null
+++ b/thesis2/graph112.dot
@@ -0,0 +1 @@
+digraph graph112 { rankdir=LR; node [shape="rectangle"]; source [label="Source"]; crawler [label="Crawler"]; temporum [label="Temporum"]; employee [label="User"]; programmer [label="Programmer"]; database [label="Database"]; source -> crawler; crawler -> temporum; temporum -> user; user -> database; user -> programmer [constraint=false,style="dotted"]; user -> crawler [constraint=false,style="dashed"]; programmer -> crawler [constraint=false,style="dotted"]; }

diff --git a/thesis2/graph21.dot b/thesis2/graph21.dot
new file mode 100644 (file)
index 0000000..76b6e38
--- /dev/null
+++ b/thesis2/graph21.dot
@@ -0,0 +1 @@
+digraph graph21 { rankdir=LR; node [shape="circle"]; n1 n2 n3 n4 n5; n6 [shape="doublecircle"]; n [style=invis]; n -> n1; n1 -> n2 [label="a"]; n2 -> n3 [label="b"]; n3 -> n6 [label="d"]; n1 -> n4 [label="b"]; n4 -> n5 [label="a"]; n5 -> n6 [label="d"]; n5 -> n6 [label="e"]; }

diff --git a/thesis2/graphexample.dot b/thesis2/graphexample.dot
new file mode 100644 (file)
index 0000000..d1653c0
--- /dev/null
+++ b/thesis2/graphexample.dot
@@ -0,0 +1 @@
+digraph graphexample { rankdir=LR; n1->n2; n2->n1; n2->n3; n3->n4; n1->n4; }

diff --git a/thesis2/inccons.dot b/thesis2/inccons.dot
new file mode 100644 (file)
index 0000000..d9add0b
--- /dev/null
+++ b/thesis2/inccons.dot
@@ -0,0 +1,67 @@
+digraph inccons {
+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"ishape=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"iconstraint=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"ishape=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"ishape=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"];
+}