v0.9a

diff --git a/thesis2/1.introduction.tex b/thesis2/1.introduction.tex
index 7ca6477..366d13a 100644 (file)
--- a/thesis2/1.introduction.tex
+++ b/thesis2/1.introduction.tex
@@ -412,7 +412,7 @@ edgelabels one can construct words. Using graph minimalization big sets of
 words can be stored using a small amouth of storage because edges can be
 re-used to specify transitions. For example the graph in
 Figure~\ref{exampledawg} can describe the language $L$ where all words $w$ that
-are accepted $w\in\{abd, bad, bae\}$.  Testing if a word is present in the DAWG
+are accepted $w\in\{abd, bad, bae\}$. Testing if a word is present in the DAWG
 is the same technique as testing if a node path is present in a normal DAG and
 therefore also falls in the computational complexity class of $\mathcal{O}(L)$.
 This means that it grows linearly with the length of the word.

diff --git a/thesis2/Makefile b/thesis2/Makefile
index bbf24e0..8321873 100644 (file)
--- a/thesis2/Makefile
+++ b/thesis2/Makefile
@@ -1,5 +1,5 @@
 SHELL:=/bin/bash
-VERSION:=0.9
+VERSION:=0.91
 
 all: thesis
 

diff --git a/thesis2/appoverview.eps b/thesis2/appoverview.eps
index c6f30bb..571e9b6 100644 (file)
--- a/thesis2/appoverview.eps
+++ b/thesis2/appoverview.eps
@@ -1,8 +1,8 @@
 %!PS-Adobe-3.0 EPSF-3.0
-%%Creator: graphviz version 2.38.0 (20140413.2041)
+%%Creator: graphviz version 2.36.0 (20140111.2315)
 %%Title: %3
 %%Pages: 1
-%%BoundingBox: 36 36 766 153
+%%BoundingBox: 36 36 641 154
 %%EndComments
 save
 %%BeginProlog
@@ -179,211 +179,211 @@ def
 %%EndSetup
 setupLatin1
 %%Page: 1 1
-%%PageBoundingBox: 36 36 766 153
+%%PageBoundingBox: 36 36 641 154
 %%PageOrientation: Portrait
 0 0 1 beginpage
 gsave
-36 36 730 117 boxprim clip newpath
+36 36 605 118 boxprim clip newpath
 1 1 set_scale 0 rotate 40 40 translate
 % User
 gsave
 1 setlinewidth
 0 0 0 nodecolor
-32.5 91 32.49 18 ellipse_path stroke
+27 92 26.95 18 ellipse_path stroke
 0 0 0 nodecolor
 14 /Times-Roman set_font
-15.5 87.3 moveto 34 (User) alignedtext
+14 88.3 moveto 26 (User) alignedtext
 grestore
 % Frontend
 gsave
 1 setlinewidth
 0 0 0 nodecolor
-154.5 91 53.89 18 ellipse_path stroke
+132 92 42.37 18 ellipse_path stroke
 0 0 0 nodecolor
 14 /Times-Roman set_font
-121 87.3 moveto 67 (Frontend) alignedtext
+107.5 88.3 moveto 49 (Frontend) alignedtext
 grestore
 % User->Frontend
 gsave
 1 setlinewidth
 0 0 0 edgecolor
-newpath 65.38 91 moveto
-73.71 91 82.04 91 90.38 91 curveto
+newpath 54.48 92 moveto
+62.8 92 71.13 92 79.45 92 curveto
 stroke
 0 0 0 edgecolor
-newpath 90.54 94.5 moveto
-100.54 91 lineto
-90.54 87.5 lineto
+newpath 79.61 95.5 moveto
+89.61 92 lineto
+79.61 88.5 lineto
 closepath fill
 1 setlinewidth
 solid
 0 0 0 edgecolor
-newpath 90.54 94.5 moveto
-100.54 91 lineto
-90.54 87.5 lineto
+newpath 79.61 95.5 moveto
+89.61 92 lineto
+79.61 88.5 lineto
 closepath stroke
 grestore
 % Backend
 gsave
 1 setlinewidth
 0 0 0 nodecolor
-295.5 91 51.19 18 ellipse_path stroke
+251 92 41.39 18 ellipse_path stroke
 0 0 0 nodecolor
 14 /Times-Roman set_font
-264 87.3 moveto 63 (Backend) alignedtext
+227 88.3 moveto 48 (Backend) alignedtext
 grestore
 % Frontend->Backend
 gsave
 1 setlinewidth
 0 0 0 edgecolor
-newpath 208.47 91 moveto
-216.85 91 225.23 91 233.61 91 curveto
+newpath 174.3 92 moveto
+182.68 92 191.06 92 199.43 92 curveto
 stroke
 0 0 0 edgecolor
-newpath 233.83 94.5 moveto
-243.83 91 lineto
-233.83 87.5 lineto
+newpath 199.65 95.5 moveto
+209.65 92 lineto
+199.65 88.5 lineto
 closepath fill
 1 setlinewidth
 solid
 0 0 0 edgecolor
-newpath 233.83 94.5 moveto
-243.83 91 lineto
-233.83 87.5 lineto
+newpath 199.65 95.5 moveto
+209.65 92 lineto
+199.65 88.5 lineto
 closepath stroke
 grestore
 % Crawler
 gsave
 1 setlinewidth
 0 0 0 nodecolor
-512.5 91 48.19 18 ellipse_path stroke
+425 92 38.49 18 ellipse_path stroke
 0 0 0 nodecolor
 14 /Times-Roman set_font
-483.5 87.3 moveto 58 (Crawler) alignedtext
+403 88.3 moveto 44 (Crawler) alignedtext
 grestore
 % Backend->Crawler
 gsave
 1 setlinewidth
 0 0 0 edgecolor
-newpath 346.92 91 moveto
-379.07 91 420.55 91 453.96 91 curveto
+newpath 292.68 92 moveto
+317.8 92 349.91 92 376.21 92 curveto
 stroke
 0 0 0 edgecolor
-newpath 454.05 94.5 moveto
-464.04 91 lineto
-454.04 87.5 lineto
+newpath 376.34 95.5 moveto
+386.34 92 lineto
+376.34 88.5 lineto
 closepath fill
 1 setlinewidth
 solid
 0 0 0 edgecolor
-newpath 454.05 94.5 moveto
-464.04 91 lineto
-454.04 87.5 lineto
+newpath 376.34 95.5 moveto
+386.34 92 lineto
+376.34 88.5 lineto
 closepath stroke
 0 0 0 edgecolor
 14 /Times-Roman set_font
-355.62 97.8 moveto 100 (Crawler spec.) alignedtext
+301 98.8 moveto 76 (Crawler spec.) alignedtext
 grestore
 % Database
 gsave
 1 setlinewidth
 0 0 0 nodecolor
-668.5 91 53.89 18 ellipse_path stroke
+555 92 42.35 18 ellipse_path stroke
 0 0 0 nodecolor
 14 /Times-Roman set_font
-635 87.3 moveto 67 (Database) alignedtext
+530 88.3 moveto 50 (Database) alignedtext
 grestore
 % Crawler->Database
 gsave
 1 setlinewidth
 0 0 0 edgecolor
-newpath 561 91 moveto
-574.6 91 589.61 91 603.99 91 curveto
+newpath 463.65 92 moveto
+475.7 92 489.2 92 502.05 92 curveto
 stroke
 0 0 0 edgecolor
-newpath 604.31 94.5 moveto
-614.31 91 lineto
-604.31 87.5 lineto
+newpath 502.18 95.5 moveto
+512.18 92 lineto
+502.18 88.5 lineto
 closepath fill
 1 setlinewidth
 solid
 0 0 0 edgecolor
-newpath 604.31 94.5 moveto
-614.31 91 lineto
-604.31 87.5 lineto
+newpath 502.18 95.5 moveto
+512.18 92 lineto
+502.18 88.5 lineto
 closepath stroke
 0 0 0 edgecolor
 14 /Times-Roman set_font
-569.57 97.8 moveto 36 (XML) alignedtext
+472.05 98.8 moveto 31 (XML) alignedtext
 grestore
 % Source
 gsave
 1 setlinewidth
 0 0 0 nodecolor
-512.5 18 42.79 18 ellipse_path stroke
+425 18 35.15 18 ellipse_path stroke
 0 0 0 nodecolor
 14 /Times-Roman set_font
-487.5 14.3 moveto 50 (Source) alignedtext
+406 14.3 moveto 38 (Source) alignedtext
 grestore
 % Crawler->Source
 gsave
 1 setlinewidth
 0 0 0 edgecolor
-newpath 506.62 72.81 moveto
-505.78 64.79 505.55 55.05 505.92 46.07 curveto
+newpath 419.16 73.94 moveto
+418.28 65.6 418.04 55.36 418.44 46 curveto
 stroke
 0 0 0 edgecolor
-newpath 509.41 46.25 moveto
-506.64 36.03 lineto
-502.43 45.75 lineto
+newpath 421.94 46.17 moveto
+419.17 35.94 lineto
+414.96 45.66 lineto
 closepath fill
 1 setlinewidth
 solid
 0 0 0 edgecolor
-newpath 509.41 46.25 moveto
-506.64 36.03 lineto
-502.43 45.75 lineto
+newpath 421.94 46.17 moveto
+419.17 35.94 lineto
+414.96 45.66 lineto
 closepath stroke
 grestore
 % Source->Frontend
 gsave
 1 setlinewidth
 0 0 0 edgecolor
-newpath 473.92 26.34 moveto
-420.37 36.57 320.5 55.8 235.5 73 curveto
-226.8 74.76 217.58 76.66 208.61 78.53 curveto
+newpath 394.05 26.51 moveto
+350.66 37.05 269.29 56.87 200 74 curveto
+192.61 75.83 184.77 77.78 177.14 79.68 curveto
 stroke
 0 0 0 edgecolor
-newpath 207.69 75.15 moveto
-198.61 80.62 lineto
-209.12 82 lineto
+newpath 176.14 76.32 moveto
+167.28 82.14 lineto
+177.83 83.11 lineto
 closepath fill
 1 setlinewidth
 solid
 0 0 0 edgecolor
-newpath 207.69 75.15 moveto
-198.61 80.62 lineto
-209.12 82 lineto
+newpath 176.14 76.32 moveto
+167.28 82.14 lineto
+177.83 83.11 lineto
 closepath stroke
 grestore
 % Source->Crawler
 gsave
 1 setlinewidth
 0 0 0 edgecolor
-newpath 518.36 36.03 moveto
-519.21 44.03 519.45 53.77 519.08 62.75 curveto
+newpath 430.83 35.94 moveto
+431.72 44.26 431.96 54.49 431.56 63.86 curveto
 stroke
 0 0 0 edgecolor
-newpath 515.59 62.59 moveto
-518.38 72.81 lineto
-522.57 63.08 lineto
+newpath 428.07 63.71 moveto
+430.84 73.94 lineto
+435.05 64.21 lineto
 closepath fill
 1 setlinewidth
 solid
 0 0 0 edgecolor
-newpath 515.59 62.59 moveto
-518.38 72.81 lineto
-522.57 63.08 lineto
+newpath 428.07 63.71 moveto
+430.84 73.94 lineto
+435.05 64.21 lineto
 closepath stroke
 grestore
 endpage

diff --git a/thesis2/backend.eps b/thesis2/backend.eps
index ac52415..4329e17 100644 (file)
--- a/thesis2/backend.eps
+++ b/thesis2/backend.eps
@@ -1,8 +1,8 @@
 %!PS-Adobe-3.0 EPSF-3.0
-%%Creator: graphviz version 2.38.0 (20140413.2041)
+%%Creator: graphviz version 2.36.0 (20140111.2315)
 %%Title: %3
 %%Pages: 1
-%%BoundingBox: 36 36 1036 152
+%%BoundingBox: 36 36 914 152
 %%EndComments
 save
 %%BeginProlog
@@ -179,40 +179,40 @@ def
 %%EndSetup
 setupLatin1
 %%Page: 1 1
-%%PageBoundingBox: 36 36 1036 152
+%%PageBoundingBox: 36 36 914 152
 %%PageOrientation: Portrait
 0 0 1 beginpage
 gsave
-36 36 1000 116 boxprim clip newpath
+36 36 878 116 boxprim clip newpath
 1 1 set_scale 0 rotate 40 40 translate
 % q0
 % HTML data
 gsave
 1 setlinewidth
 0 0 0 nodecolor
-155.34 18 64.19 18 ellipse_path stroke
+146 18 53.09 18 ellipse_path stroke
 0 0 0 nodecolor
 14 /Times-Roman set_font
-113.84 14.3 moveto 83 (HTML data) alignedtext
+113 14.3 moveto 66 (HTML data) alignedtext
 grestore
 % q0->HTML data
 gsave
 1 setlinewidth
 0 0 0 edgecolor
-newpath 54.18 18 moveto
-62.17 18 71.38 18 80.92 18 curveto
+newpath 54.26 18 moveto
+62.66 18 72.35 18 82.2 18 curveto
 stroke
 0 0 0 edgecolor
-newpath 80.93 21.5 moveto
-90.93 18 lineto
-80.93 14.5 lineto
+newpath 82.48 21.5 moveto
+92.48 18 lineto
+82.48 14.5 lineto
 closepath fill
 1 setlinewidth
 solid
 0 0 0 edgecolor
-newpath 80.93 21.5 moveto
-90.93 18 lineto
-80.93 14.5 lineto
+newpath 82.48 21.5 moveto
+92.48 18 lineto
+82.48 14.5 lineto
 closepath stroke
 grestore
 % q1
@@ -220,184 +220,184 @@ grestore
 gsave
 1 setlinewidth
 0 0 0 nodecolor
-317.78 47 61.19 18 ellipse_path stroke
+288 47 50.09 18 ellipse_path stroke
 0 0 0 nodecolor
 14 /Times-Roman set_font
-278.78 43.3 moveto 78 (Table rows) alignedtext
+257.5 43.3 moveto 61 (Table rows) alignedtext
 grestore
 % HTML data->Table rows
 gsave
 1 setlinewidth
 0 0 0 edgecolor
-newpath 209.77 27.66 moveto
-224.28 30.28 240.12 33.14 255.06 35.84 curveto
+newpath 192.07 27.34 moveto
+205.45 30.11 220.22 33.17 234.05 36.03 curveto
 stroke
 0 0 0 edgecolor
-newpath 254.76 39.35 moveto
-265.23 37.68 lineto
-256.01 32.46 lineto
+newpath 233.42 39.48 moveto
+243.92 38.08 lineto
+234.84 32.62 lineto
 closepath fill
 1 setlinewidth
 solid
 0 0 0 edgecolor
-newpath 254.76 39.35 moveto
-265.23 37.68 lineto
-256.01 32.46 lineto
+newpath 233.42 39.48 moveto
+243.92 38.08 lineto
+234.84 32.62 lineto
 closepath stroke
 grestore
 % Dictionary
 gsave
 1 setlinewidth
 0 0 0 nodecolor
-840.77 44 59.59 18 ellipse_path stroke
+730 44 48.19 18 ellipse_path stroke
 0 0 0 nodecolor
 14 /Times-Roman set_font
-802.77 40.3 moveto 76 (Dictionary) alignedtext
+701 40.3 moveto 58 (Dictionary) alignedtext
 grestore
 % HTML data->Dictionary
 gsave
 1 setlinewidth
 0 0 0 edgecolor
-newpath 211.88 9.2 moveto
-242.7 5.05 281.77 1 316.78 1 curveto
-316.78 1 316.78 1 707.92 1 curveto
-740.37 1 775.2 12.92 800.91 24.21 curveto
+newpath 193.18 9.55 moveto
+220.39 5.28 255.54 1 287 1 curveto
+287 1 287 1 613 1 curveto
+641.75 1 672.16 12.76 694.62 23.98 curveto
 stroke
 0 0 0 edgecolor
-newpath 799.74 27.52 moveto
-810.29 28.48 lineto
-802.63 21.15 lineto
+newpath 693.25 27.21 moveto
+703.73 28.72 lineto
+696.48 21 lineto
 closepath fill
 1 setlinewidth
 solid
 0 0 0 edgecolor
-newpath 799.74 27.52 moveto
-810.29 28.48 lineto
-802.63 21.15 lineto
+newpath 693.25 27.21 moveto
+703.73 28.72 lineto
+696.48 21 lineto
 closepath stroke
 0 0 0 edgecolor
 14 /Times-Roman set_font
-415.88 4.8 moveto 127 (Description fields) alignedtext
+376.5 4.8 moveto 97 (Description fields) alignedtext
 grestore
 % Node lists
 gsave
 1 setlinewidth
 0 0 0 nodecolor
-479.38 90 57.69 18 ellipse_path stroke
+425 90 46.29 18 ellipse_path stroke
 0 0 0 nodecolor
 14 /Times-Roman set_font
-442.88 86.3 moveto 73 (Node lists) alignedtext
+397.5 86.3 moveto 55 (Node lists) alignedtext
 grestore
 % Table rows->Node lists
 gsave
 1 setlinewidth
 0 0 0 edgecolor
-newpath 363.66 59.09 moveto
-382.83 64.26 405.34 70.32 425.32 75.71 curveto
+newpath 326.25 58.86 moveto
+342.56 64.06 361.84 70.2 378.95 75.65 curveto
 stroke
 0 0 0 edgecolor
-newpath 424.64 79.15 moveto
-435.21 78.37 lineto
-426.46 72.39 lineto
+newpath 378.14 79.07 moveto
+388.73 78.77 lineto
+380.27 72.4 lineto
 closepath fill
 1 setlinewidth
 solid
 0 0 0 edgecolor
-newpath 424.64 79.15 moveto
-435.21 78.37 lineto
-426.46 72.39 lineto
+newpath 378.14 79.07 moveto
+388.73 78.77 lineto
+380.27 72.4 lineto
 closepath stroke
 grestore
 % Table rows->Dictionary
 gsave
 1 setlinewidth
 0 0 0 edgecolor
-newpath 379.06 46.65 moveto
-476.42 46.09 667.77 44.99 770.56 44.4 curveto
+newpath 338.19 46.66 moveto
+420.19 46.11 584.38 44.99 671.55 44.39 curveto
 stroke
 0 0 0 edgecolor
-newpath 770.85 47.9 moveto
-780.83 44.34 lineto
-770.81 40.9 lineto
+newpath 671.81 47.89 moveto
+681.79 44.32 lineto
+671.77 40.89 lineto
 closepath fill
 1 setlinewidth
 solid
 0 0 0 edgecolor
-newpath 770.85 47.9 moveto
-780.83 44.34 lineto
-770.81 40.9 lineto
+newpath 671.81 47.89 moveto
+681.79 44.32 lineto
+671.77 40.89 lineto
 closepath stroke
 0 0 0 edgecolor
 14 /Times-Roman set_font
-560.88 48.8 moveto 91 (Original text) alignedtext
+492 48.8 moveto 70 (Original text) alignedtext
 grestore
 % Dawg
 gsave
 1 setlinewidth
 0 0 0 nodecolor
-706.92 90 37.09 18 ellipse_path stroke
+612 90 31.7 18 ellipse_path stroke
 0 0 0 nodecolor
 14 /Times-Roman set_font
-686.42 86.3 moveto 41 (Dawg) alignedtext
+595.5 86.3 moveto 33 (Dawg) alignedtext
 grestore
 % Node lists->Dawg
 gsave
 1 setlinewidth
 0 0 0 edgecolor
-newpath 537.29 90 moveto
-575.18 90 624.33 90 659.78 90 curveto
+newpath 471.26 90 moveto
+501.36 90 540.59 90 569.82 90 curveto
 stroke
 0 0 0 edgecolor
-newpath 659.85 93.5 moveto
-669.85 90 lineto
-659.85 86.5 lineto
+newpath 570.1 93.5 moveto
+580.1 90 lineto
+570.1 86.5 lineto
 closepath fill
 1 setlinewidth
 solid
 0 0 0 edgecolor
-newpath 659.85 93.5 moveto
-669.85 90 lineto
-659.85 86.5 lineto
+newpath 570.1 93.5 moveto
+580.1 90 lineto
+570.1 86.5 lineto
 closepath stroke
 grestore
 % Dawg->Dictionary
 gsave
 1 setlinewidth
 0 0 0 edgecolor
-newpath 737.51 79.68 moveto
-753.27 74.18 773.06 67.27 791.02 61.01 curveto
+newpath 638.46 79.91 moveto
+652.49 74.34 670.27 67.29 686.35 60.91 curveto
 stroke
 0 0 0 edgecolor
-newpath 792.48 64.21 moveto
-800.77 57.61 lineto
-790.17 57.6 lineto
+newpath 688.1 63.99 moveto
+696.1 57.05 lineto
+685.52 57.48 lineto
 closepath fill
 1 setlinewidth
 solid
 0 0 0 edgecolor
-newpath 792.48 64.21 moveto
-800.77 57.61 lineto
-790.17 57.6 lineto
+newpath 688.1 63.99 moveto
+696.1 57.05 lineto
+685.52 57.48 lineto
 closepath stroke
 grestore
 % Dictionary->q1
 gsave
 1 setlinewidth
 0 0 0 edgecolor
-newpath 900.88 44 moveto
-909.91 44 919 44 927.34 44 curveto
+newpath 778.4 44 moveto
+787.53 44 796.96 44 805.67 44 curveto
 stroke
 0 0 0 edgecolor
-newpath 927.45 47.5 moveto
-937.45 44 lineto
-927.45 40.5 lineto
+newpath 805.88 47.5 moveto
+815.88 44 lineto
+805.88 40.5 lineto
 closepath fill
 1 setlinewidth
 solid
 0 0 0 edgecolor
-newpath 927.45 47.5 moveto
-937.45 44 lineto
-927.45 40.5 lineto
+newpath 805.88 47.5 moveto
+815.88 44 lineto
+805.88 40.5 lineto
 closepath stroke
 grestore
 endpage

diff --git a/thesis2/nddawg.eps b/thesis2/nddawg.eps
index 0600bb2..6d1e50b 100644 (file)
--- a/thesis2/nddawg.eps
+++ b/thesis2/nddawg.eps
@@ -1,8 +1,8 @@
 %!PS-Adobe-3.0 EPSF-3.0
-%%Creator: graphviz version 2.38.0 (20140413.2041)
+%%Creator: graphviz version 2.36.0 (20140111.2315)
 %%Title: %3
 %%Pages: 1
-%%BoundingBox: 36 36 634 134
+%%BoundingBox: 36 36 608 134
 %%EndComments
 save
 %%BeginProlog
@@ -179,53 +179,53 @@ def
 %%EndSetup
 setupLatin1
 %%Page: 1 1
-%%PageBoundingBox: 36 36 634 134
+%%PageBoundingBox: 36 36 608 134
 %%PageOrientation: Portrait
 0 0 1 beginpage
 gsave
-36 36 598 98 boxprim clip newpath
+36 36 572 98 boxprim clip newpath
 1 1 set_scale 0 rotate 40 40 translate
 % n0
 % q0
 gsave
 1 setlinewidth
 0 0 0 nodecolor
-118 47 27 18 ellipse_path stroke
+119 47 27 18 ellipse_path stroke
 0 0 0 nodecolor
 14 /Times-Roman set_font
-108.5 43.3 moveto 19 (q0) alignedtext
+112 43.3 moveto 14 (q0) alignedtext
 grestore
 % n0->q0
 gsave
 1 setlinewidth
 0 0 0 edgecolor
-newpath 54.22 47 moveto
-62.55 47 71.91 47 80.82 47 curveto
+newpath 54.03 47 moveto
+62.63 47 72.36 47 81.59 47 curveto
 stroke
 0 0 0 edgecolor
-newpath 80.97 50.5 moveto
-90.97 47 lineto
-80.97 43.5 lineto
+newpath 81.72 50.5 moveto
+91.71 47 lineto
+81.71 43.5 lineto
 closepath fill
 1 setlinewidth
 solid
 0 0 0 edgecolor
-newpath 80.97 50.5 moveto
-90.97 47 lineto
-80.97 43.5 lineto
+newpath 81.72 50.5 moveto
+91.71 47 lineto
+81.71 43.5 lineto
 closepath stroke
 grestore
 % q4
 gsave
 1 setlinewidth
 0 0 0 nodecolor
-563.75 47 22.96 22.96 ellipse_path stroke
+540 47 19.5 19.5 ellipse_path stroke
 1 setlinewidth
 0 0 0 nodecolor
-563.75 47 27 27 ellipse_path stroke
+540 47 23.5 23.5 ellipse_path stroke
 0 0 0 nodecolor
 14 /Times-Roman set_font
-554.25 43.3 moveto 19 (q4) alignedtext
+533 43.3 moveto 14 (q4) alignedtext
 grestore
 % q1
 gsave
@@ -234,204 +234,204 @@ gsave
 217 47 27 18 ellipse_path stroke
 0 0 0 nodecolor
 14 /Times-Roman set_font
-207.5 43.3 moveto 19 (q1) alignedtext
+210 43.3 moveto 14 (q1) alignedtext
 grestore
 % q0->q1
 gsave
 1 setlinewidth
 0 0 0 edgecolor
-newpath 145.25 47 moveto
-155.82 47 168.18 47 179.6 47 curveto
+newpath 146.23 47 moveto
+156.5 47 168.45 47 179.53 47 curveto
 stroke
 0 0 0 edgecolor
-newpath 179.73 50.5 moveto
-189.73 47 lineto
-179.73 43.5 lineto
+newpath 179.8 50.5 moveto
+189.8 47 lineto
+179.8 43.5 lineto
 closepath fill
 1 setlinewidth
 solid
 0 0 0 edgecolor
-newpath 179.73 50.5 moveto
-189.73 47 lineto
-179.73 43.5 lineto
+newpath 179.8 50.5 moveto
+189.8 47 lineto
+179.8 43.5 lineto
 closepath stroke
 0 0 0 edgecolor
 14 /Times-Roman set_font
-163 50.8 moveto 9 (a) alignedtext
+164.5 50.8 moveto 7 (a) alignedtext
 grestore
 % q2
 gsave
 1 setlinewidth
 0 0 0 nodecolor
-341 72 27 18 ellipse_path stroke
+331 72 27 18 ellipse_path stroke
 0 0 0 nodecolor
 14 /Times-Roman set_font
-331.5 68.3 moveto 19 (q2) alignedtext
+324 68.3 moveto 14 (q2) alignedtext
 grestore
 % q1->q2
 gsave
 1 setlinewidth
 0 0 0 edgecolor
-newpath 242.98 52.12 moveto
-260.91 55.79 285.31 60.79 305.15 64.86 curveto
+newpath 242.86 52.55 moveto
+258.23 55.98 278.19 60.43 295.12 64.22 curveto
 stroke
 0 0 0 edgecolor
-newpath 304.55 68.31 moveto
-315.05 66.89 lineto
-305.96 61.45 lineto
+newpath 294.69 67.7 moveto
+305.21 66.47 lineto
+296.22 60.87 lineto
 closepath fill
 1 setlinewidth
 solid
 0 0 0 edgecolor
-newpath 304.55 68.31 moveto
-315.05 66.89 lineto
-305.96 61.45 lineto
+newpath 294.69 67.7 moveto
+305.21 66.47 lineto
+296.22 60.87 lineto
 closepath stroke
 0 0 0 edgecolor
 14 /Times-Roman set_font
-274 65.8 moveto 10 (b) alignedtext
+270.5 64.8 moveto 7 (b) alignedtext
 grestore
 % q5
 gsave
 1 setlinewidth
 0 0 0 nodecolor
-341 18 27 18 ellipse_path stroke
+331 18 27 18 ellipse_path stroke
 0 0 0 nodecolor
 14 /Times-Roman set_font
-331.5 14.3 moveto 19 (q5) alignedtext
+324 14.3 moveto 14 (q5) alignedtext
 grestore
 % q1->q5
 gsave
 1 setlinewidth
 0 0 0 edgecolor
-newpath 242.69 41.13 moveto
-260.71 36.85 285.39 30.98 305.38 26.23 curveto
+newpath 242.3 40.71 moveto
+257.9 36.67 278.39 31.36 295.64 26.9 curveto
 stroke
 0 0 0 edgecolor
-newpath 306.43 29.58 moveto
-315.35 23.86 lineto
-304.81 22.77 lineto
+newpath 296.55 30.28 moveto
+305.36 24.38 lineto
+294.8 23.5 lineto
 closepath fill
 1 setlinewidth
 solid
 0 0 0 edgecolor
-newpath 306.43 29.58 moveto
-315.35 23.86 lineto
-304.81 22.77 lineto
+newpath 296.55 30.28 moveto
+305.36 24.38 lineto
+294.8 23.5 lineto
 closepath stroke
 0 0 0 edgecolor
 14 /Times-Roman set_font
-262 38.8 moveto 34 (<1>) alignedtext
+262 38.8 moveto 24 (<1>) alignedtext
 grestore
 % q3
 gsave
 1 setlinewidth
 0 0 0 nodecolor
-465 72 27 18 ellipse_path stroke
+445 72 27 18 ellipse_path stroke
 0 0 0 nodecolor
 14 /Times-Roman set_font
-455.5 68.3 moveto 19 (q3) alignedtext
+438 68.3 moveto 14 (q3) alignedtext
 grestore
 % q2->q3
 gsave
 1 setlinewidth
 0 0 0 edgecolor
-newpath 368.17 72 moveto
-385.54 72 408.57 72 427.7 72 curveto
+newpath 358.26 72 moveto
+373 72 391.62 72 407.74 72 curveto
 stroke
 0 0 0 edgecolor
-newpath 427.87 75.5 moveto
-437.87 72 lineto
-427.87 68.5 lineto
+newpath 407.91 75.5 moveto
+417.91 72 lineto
+407.91 68.5 lineto
 closepath fill
 1 setlinewidth
 solid
 0 0 0 edgecolor
-newpath 427.87 75.5 moveto
-437.87 72 lineto
-427.87 68.5 lineto
+newpath 407.91 75.5 moveto
+417.91 72 lineto
+407.91 68.5 lineto
 closepath stroke
 0 0 0 edgecolor
 14 /Times-Roman set_font
-386 75.8 moveto 34 (<1>) alignedtext
+376 75.8 moveto 24 (<1>) alignedtext
 grestore
 % q3->q4
 gsave
 1 setlinewidth
 0 0 0 edgecolor
-newpath 490.41 65.69 moveto
-501.7 62.78 515.31 59.26 527.66 56.07 curveto
+newpath 470.43 65.43 moveto
+481.7 62.4 495.22 58.77 507.26 55.53 curveto
 stroke
 0 0 0 edgecolor
-newpath 528.86 59.37 moveto
-537.67 53.48 lineto
-527.11 52.59 lineto
+newpath 508.2 58.9 moveto
+516.95 52.93 lineto
+506.39 52.14 lineto
 closepath fill
 1 setlinewidth
 solid
 0 0 0 edgecolor
-newpath 528.86 59.37 moveto
-537.67 53.48 lineto
-527.11 52.59 lineto
+newpath 508.2 58.9 moveto
+516.95 52.93 lineto
+506.39 52.14 lineto
 closepath stroke
 0 0 0 edgecolor
 14 /Times-Roman set_font
-510 63.8 moveto 9 (c) alignedtext
+490.5 62.8 moveto 7 (c) alignedtext
 grestore
 % q6
 gsave
 1 setlinewidth
 0 0 0 nodecolor
-465 18 27 18 ellipse_path stroke
+445 18 27 18 ellipse_path stroke
 0 0 0 nodecolor
 14 /Times-Roman set_font
-455.5 14.3 moveto 19 (q6) alignedtext
+438 14.3 moveto 14 (q6) alignedtext
 grestore
 % q5->q6
 gsave
 1 setlinewidth
 0 0 0 edgecolor
-newpath 368.17 18 moveto
-385.54 18 408.57 18 427.7 18 curveto
+newpath 358.26 18 moveto
+373 18 391.62 18 407.74 18 curveto
 stroke
 0 0 0 edgecolor
-newpath 427.87 21.5 moveto
-437.87 18 lineto
-427.87 14.5 lineto
+newpath 407.91 21.5 moveto
+417.91 18 lineto
+407.91 14.5 lineto
 closepath fill
 1 setlinewidth
 solid
 0 0 0 edgecolor
-newpath 427.87 21.5 moveto
-437.87 18 lineto
-427.87 14.5 lineto
+newpath 407.91 21.5 moveto
+417.91 18 lineto
+407.91 14.5 lineto
 closepath stroke
 0 0 0 edgecolor
 14 /Times-Roman set_font
-398 21.8 moveto 10 (b) alignedtext
+384.5 21.8 moveto 7 (b) alignedtext
 grestore
 % q6->q4
 gsave
 1 setlinewidth
 0 0 0 edgecolor
-newpath 489.92 25.17 moveto
-501.4 28.61 515.37 32.8 527.99 36.58 curveto
+newpath 469.95 25.47 moveto
+481.39 29.03 495.22 33.35 507.5 37.18 curveto
 stroke
 0 0 0 edgecolor
-newpath 527.17 39.99 moveto
-537.76 39.51 lineto
-529.18 33.29 lineto
+newpath 506.77 40.62 moveto
+517.36 40.25 lineto
+508.85 33.93 lineto
 closepath fill
 1 setlinewidth
 solid
 0 0 0 edgecolor
-newpath 527.17 39.99 moveto
-537.76 39.51 lineto
-529.18 33.29 lineto
+newpath 506.77 40.62 moveto
+517.36 40.25 lineto
+508.85 33.93 lineto
 closepath stroke
 0 0 0 edgecolor
 14 /Times-Roman set_font
-510 36.8 moveto 9 (c) alignedtext
+490.5 36.8 moveto 7 (c) alignedtext
 grestore
 endpage
 showpage

diff --git a/thesis2/nodelistexample.eps b/thesis2/nodelistexample.eps
index 2f64d1a..c08abf1 100644 (file)
--- a/thesis2/nodelistexample.eps
+++ b/thesis2/nodelistexample.eps
@@ -1,8 +1,8 @@
 %!PS-Adobe-3.0 EPSF-3.0
-%%Creator: graphviz version 2.38.0 (20140413.2041)
+%%Creator: graphviz version 2.36.0 (20140111.2315)
 %%Title: %3
 %%Pages: 1
-%%BoundingBox: 36 36 1058 143
+%%BoundingBox: 36 36 988 139
 %%EndComments
 save
 %%BeginProlog
@@ -179,24 +179,24 @@ def
 %%EndSetup
 setupLatin1
 %%Page: 1 1
-%%PageBoundingBox: 36 36 1058 143
+%%PageBoundingBox: 36 36 988 139
 %%PageOrientation: Portrait
 0 0 1 beginpage
 gsave
-36 36 1022 107 boxprim clip newpath
+36 36 952 103 boxprim clip newpath
 1 1 set_scale 0 rotate 40 40 translate
 % n0
 % n9
 gsave
 1 setlinewidth
 0 0 0 nodecolor
-987.75 72 22.96 22.96 ellipse_path stroke
+920 72 19.5 19.5 ellipse_path stroke
 1 setlinewidth
 0 0 0 nodecolor
-987.75 72 27 27 ellipse_path stroke
+920 72 23.5 23.5 ellipse_path stroke
 0 0 0 nodecolor
 14 /Times-Roman set_font
-978.25 68.3 moveto 19 (n9) alignedtext
+913 68.3 moveto 14 (n9) alignedtext
 grestore
 % n1
 gsave
@@ -205,254 +205,254 @@ gsave
 27 72 27 18 ellipse_path stroke
 0 0 0 nodecolor
 14 /Times-Roman set_font
-17.5 68.3 moveto 19 (n1) alignedtext
+20 68.3 moveto 14 (n1) alignedtext
 grestore
 % n2
 gsave
 1 setlinewidth
 0 0 0 nodecolor
-174 72 27 18 ellipse_path stroke
+159 72 27 18 ellipse_path stroke
 0 0 0 nodecolor
 14 /Times-Roman set_font
-164.5 68.3 moveto 19 (n2) alignedtext
+152 68.3 moveto 14 (n2) alignedtext
 grestore
 % n1->n2
 gsave
 1 setlinewidth
 0 0 0 edgecolor
-newpath 54.26 72 moveto
-77.36 72 111.2 72 136.85 72 curveto
+newpath 54.31 72 moveto
+73.69 72 100.29 72 121.7 72 curveto
 stroke
 0 0 0 edgecolor
-newpath 136.94 75.5 moveto
-146.94 72 lineto
-136.94 68.5 lineto
+newpath 121.73 75.5 moveto
+131.73 72 lineto
+121.73 68.5 lineto
 closepath fill
 1 setlinewidth
 solid
 0 0 0 edgecolor
-newpath 136.94 75.5 moveto
-146.94 72 lineto
-136.94 68.5 lineto
+newpath 121.73 75.5 moveto
+131.73 72 lineto
+121.73 68.5 lineto
 closepath stroke
 0 0 0 edgecolor
 14 /Times-Roman set_font
-72 75.8 moveto 57 (<time>) alignedtext
+72 75.8 moveto 42 (<time>) alignedtext
 grestore
 % n3
 gsave
 1 setlinewidth
 0 0 0 nodecolor
-277 72 27 18 ellipse_path stroke
+259 72 27 18 ellipse_path stroke
 0 0 0 nodecolor
 14 /Times-Roman set_font
-267.5 68.3 moveto 19 (n3) alignedtext
+252 68.3 moveto 14 (n3) alignedtext
 grestore
 % n2->n3
 gsave
 1 setlinewidth
 0 0 0 edgecolor
-newpath 201.01 72 moveto
-212.7 72 226.7 72 239.42 72 curveto
+newpath 186 72 moveto
+196.97 72 209.92 72 221.79 72 curveto
 stroke
 0 0 0 edgecolor
-newpath 239.73 75.5 moveto
-249.73 72 lineto
-239.73 68.5 lineto
+newpath 221.87 75.5 moveto
+231.87 72 lineto
+221.87 68.5 lineto
 closepath fill
 1 setlinewidth
 solid
 0 0 0 edgecolor
-newpath 239.73 75.5 moveto
-249.73 72 lineto
-239.73 68.5 lineto
+newpath 221.87 75.5 moveto
+231.87 72 lineto
+221.87 68.5 lineto
 closepath stroke
 0 0 0 edgecolor
 14 /Times-Roman set_font
-219 75.8 moveto 13 (',') alignedtext
+204.5 75.8 moveto 9 (',') alignedtext
 grestore
 % n4
 gsave
 1 setlinewidth
 0 0 0 nodecolor
-383 72 27 18 ellipse_path stroke
+361 72 27 18 ellipse_path stroke
 0 0 0 nodecolor
 14 /Times-Roman set_font
-373.5 68.3 moveto 19 (n4) alignedtext
+354 68.3 moveto 14 (n4) alignedtext
 grestore
 % n3->n4
 gsave
 1 setlinewidth
 0 0 0 edgecolor
-newpath 304.24 72 moveto
-316.81 72 332.05 72 345.71 72 curveto
+newpath 286.01 72 moveto
+297.5 72 311.19 72 323.66 72 curveto
 stroke
 0 0 0 edgecolor
-newpath 345.76 75.5 moveto
-355.76 72 lineto
-345.76 68.5 lineto
+newpath 323.77 75.5 moveto
+333.77 72 lineto
+323.77 68.5 lineto
 closepath fill
 1 setlinewidth
 solid
 0 0 0 edgecolor
-newpath 345.76 75.5 moveto
-355.76 72 lineto
-345.76 68.5 lineto
+newpath 323.77 75.5 moveto
+333.77 72 lineto
+323.77 68.5 lineto
 closepath stroke
 0 0 0 edgecolor
 14 /Times-Roman set_font
-322 75.8 moveto 16 ('_') alignedtext
+304 75.8 moveto 12 ('_') alignedtext
 grestore
 % n5
 gsave
 1 setlinewidth
 0 0 0 nodecolor
-529 72 27 18 ellipse_path stroke
+491 72 27 18 ellipse_path stroke
 0 0 0 nodecolor
 14 /Times-Roman set_font
-519.5 68.3 moveto 19 (n5) alignedtext
+484 68.3 moveto 14 (n5) alignedtext
 grestore
 % n4->n5
 gsave
 1 setlinewidth
 0 0 0 edgecolor
-newpath 410.08 72 moveto
-432.87 72 466.21 72 491.62 72 curveto
+newpath 388.21 72 moveto
+407.11 72 432.85 72 453.72 72 curveto
 stroke
 0 0 0 edgecolor
-newpath 491.63 75.5 moveto
-501.63 72 lineto
-491.63 68.5 lineto
+newpath 453.82 75.5 moveto
+463.82 72 lineto
+453.82 68.5 lineto
 closepath fill
 1 setlinewidth
 solid
 0 0 0 edgecolor
-newpath 491.63 75.5 moveto
-501.63 72 lineto
-491.63 68.5 lineto
+newpath 453.82 75.5 moveto
+463.82 72 lineto
+453.82 68.5 lineto
 closepath stroke
 0 0 0 edgecolor
 14 /Times-Roman set_font
-428 75.8 moveto 56 (<date>) alignedtext
+406 75.8 moveto 40 (<date>) alignedtext
 grestore
 % n6
 gsave
 1 setlinewidth
 0 0 0 nodecolor
-635 72 27 18 ellipse_path stroke
+593 72 27 18 ellipse_path stroke
 0 0 0 nodecolor
 14 /Times-Roman set_font
-625.5 68.3 moveto 19 (n6) alignedtext
+586 68.3 moveto 14 (n6) alignedtext
 grestore
 % n5->n6
 gsave
 1 setlinewidth
 0 0 0 edgecolor
-newpath 556.24 72 moveto
-568.81 72 584.05 72 597.71 72 curveto
+newpath 518.01 72 moveto
+529.5 72 543.19 72 555.66 72 curveto
 stroke
 0 0 0 edgecolor
-newpath 597.76 75.5 moveto
-607.76 72 lineto
-597.76 68.5 lineto
+newpath 555.77 75.5 moveto
+565.77 72 lineto
+555.77 68.5 lineto
 closepath fill
 1 setlinewidth
 solid
 0 0 0 edgecolor
-newpath 597.76 75.5 moveto
-607.76 72 lineto
-597.76 68.5 lineto
+newpath 555.77 75.5 moveto
+565.77 72 lineto
+555.77 68.5 lineto
 closepath stroke
 0 0 0 edgecolor
 14 /Times-Roman set_font
-574 75.8 moveto 16 ('_') alignedtext
+536 75.8 moveto 12 ('_') alignedtext
 grestore
 % n7
 gsave
 1 setlinewidth
 0 0 0 nodecolor
-738 72 27 18 ellipse_path stroke
+693 72 27 18 ellipse_path stroke
 0 0 0 nodecolor
 14 /Times-Roman set_font
-728.5 68.3 moveto 19 (n7) alignedtext
+686 68.3 moveto 14 (n7) alignedtext
 grestore
 % n6->n7
 gsave
 1 setlinewidth
 0 0 0 edgecolor
-newpath 662.01 72 moveto
-673.7 72 687.7 72 700.42 72 curveto
+newpath 620 72 moveto
+630.97 72 643.92 72 655.79 72 curveto
 stroke
 0 0 0 edgecolor
-newpath 700.73 75.5 moveto
-710.73 72 lineto
-700.73 68.5 lineto
+newpath 655.87 75.5 moveto
+665.87 72 lineto
+655.87 68.5 lineto
 closepath fill
 1 setlinewidth
 solid
 0 0 0 edgecolor
-newpath 700.73 75.5 moveto
-710.73 72 lineto
-700.73 68.5 lineto
+newpath 655.87 75.5 moveto
+665.87 72 lineto
+655.87 68.5 lineto
 closepath stroke
 0 0 0 edgecolor
 14 /Times-Roman set_font
-680 75.8 moveto 13 ('-') alignedtext
+638 75.8 moveto 10 ('-') alignedtext
 grestore
 % n8
 gsave
 1 setlinewidth
 0 0 0 nodecolor
-844 72 27 18 ellipse_path stroke
+795 72 27 18 ellipse_path stroke
 0 0 0 nodecolor
 14 /Times-Roman set_font
-834.5 68.3 moveto 19 (n8) alignedtext
+788 68.3 moveto 14 (n8) alignedtext
 grestore
 % n7->n8
 gsave
 1 setlinewidth
 0 0 0 edgecolor
-newpath 765.24 72 moveto
-777.81 72 793.05 72 806.71 72 curveto
+newpath 720.01 72 moveto
+731.5 72 745.19 72 757.66 72 curveto
 stroke
 0 0 0 edgecolor
-newpath 806.76 75.5 moveto
-816.76 72 lineto
-806.76 68.5 lineto
+newpath 757.77 75.5 moveto
+767.77 72 lineto
+757.77 68.5 lineto
 closepath fill
 1 setlinewidth
 solid
 0 0 0 edgecolor
-newpath 806.76 75.5 moveto
-816.76 72 lineto
-806.76 68.5 lineto
+newpath 757.77 75.5 moveto
+767.77 72 lineto
+757.77 68.5 lineto
 closepath stroke
 0 0 0 edgecolor
 14 /Times-Roman set_font
-783 75.8 moveto 16 ('_') alignedtext
+738 75.8 moveto 12 ('_') alignedtext
 grestore
 % n8->n9
 gsave
 1 setlinewidth
 0 0 0 edgecolor
-newpath 871.33 72 moveto
-893.61 72 925.76 72 950.47 72 curveto
+newpath 822.09 72 moveto
+840.74 72 865.98 72 886.02 72 curveto
 stroke
 0 0 0 edgecolor
-newpath 950.56 75.5 moveto
-960.56 72 lineto
-950.56 68.5 lineto
+newpath 886.26 75.5 moveto
+896.26 72 lineto
+886.26 68.5 lineto
 closepath fill
 1 setlinewidth
 solid
 0 0 0 edgecolor
-newpath 950.56 75.5 moveto
-960.56 72 lineto
-950.56 68.5 lineto
+newpath 886.26 75.5 moveto
+896.26 72 lineto
+886.26 68.5 lineto
 closepath stroke
 0 0 0 edgecolor
 14 /Times-Roman set_font
-889 75.8 moveto 54 (<title>) alignedtext
+840 75.8 moveto 38 (<title>) alignedtext
 grestore
 endpage
 showpage

diff --git a/thesis2/thesis.bib b/thesis2/thesis.bib
index da073f5..0b54b2a 100644 (file)
--- a/thesis2/thesis.bib
+++ b/thesis2/thesis.bib
@@ -172,3 +172,11 @@ title = {{Constructing minimal acyclic deterministic finite automata}}
        year={1997},
        publisher={IEEE}
 }
+@article{Science1985,
+       author = {Blumer, A and Blumer, J and Haussler, D and Ehrenfeucht, A and
+               Chen, M.T. and Seiferas, J},
+       pages = {31--55},
+       title = {{The smallest automaton recognizing the subwords of a text.}},
+       volume = {40},
+       year = {1985}
+}