HaLeX-1.1: example/real_dfa.ps
%!PS-Adobe-2.0
%%Creator: dot version 1.7.6 (Seg Mar 25 19:08:30 WET 2002)
%%For: (jas)
%%Title: HaLeX
%%Pages: (atend)
%%BoundingBox: 35 35 1057 213
%%EndComments
%%BeginProlog
save
/DotDict 200 dict def
DotDict begin
%%BeginResource: procset
/coord-font-family /Times-Roman def
/default-font-family /Times-Roman def
/coordfont coord-font-family findfont 8 scalefont def
/InvScaleFactor 1.0 def
/set_scale {
dup 1 exch div /InvScaleFactor exch def
dup scale
} bind def
% styles
/solid { } bind def
/dashed { [9 InvScaleFactor mul dup ] 0 setdash } bind def
/dotted { [1 InvScaleFactor mul 6 InvScaleFactor mul] 0 setdash } bind def
/invis {/fill {newpath} def /stroke {newpath} def /show {pop newpath} def} bind def
/bold { 2 setlinewidth } bind def
/filled { } bind def
/unfilled { } bind def
/rounded { } bind def
/diagonals { } bind def
% hooks for setting color
/nodecolor { sethsbcolor } bind def
/edgecolor { sethsbcolor } bind def
/graphcolor { sethsbcolor } bind def
/nopcolor {pop pop pop} bind def
/beginpage { % i j npages
/npages exch def
/j exch def
/i exch def
/str 10 string def
npages 1 gt {
gsave
coordfont setfont
0 0 moveto
(\() show i str cvs show (,) show j str cvs show (\)) show
grestore
} if
} bind def
/set_font {
findfont exch
scalefont setfont
} def
% draw aligned label in bounding box aligned to current point
% alignfactor tells what fraction to place on the left.
% -.5 is centered.
/alignedtext { % text labelwidth fontsz alignfactor
/alignfactor exch def
/fontsz exch def
/width exch def
/text exch def
gsave
% even if node or edge is dashed, don't paint text with dashes
[] 0 setdash
currentpoint newpath moveto
text stringwidth pop
alignfactor mul fontsz -.3 mul rmoveto
text show
grestore
} def
/boxprim { % xcorner ycorner xsize ysize
4 2 roll
moveto
2 copy
exch 0 rlineto
0 exch rlineto
pop neg 0 rlineto
closepath
} bind def
/ellipse_path {
/ry exch def
/rx exch def
/y exch def
/x exch def
matrix currentmatrix
newpath
x y translate
rx ry scale
0 0 1 0 360 arc
setmatrix
} bind def
/endpage { showpage } bind def
/layercolorseq
[ % layer color sequence - darkest to lightest
[0 0 0]
[.2 .8 .8]
[.4 .8 .8]
[.6 .8 .8]
[.8 .8 .8]
]
def
/setlayer {/maxlayer exch def /curlayer exch def
layercolorseq curlayer get
aload pop sethsbcolor
/nodecolor {nopcolor} def
/edgecolor {nopcolor} def
/graphcolor {nopcolor} def
} bind def
/onlayer { curlayer ne {invis} if } def
/onlayers {
/myupper exch def
/mylower exch def
curlayer mylower lt
curlayer myupper gt
or
{invis} if
} def
/curlayer 0 def
%%EndResource
%%EndProlog
%%BeginSetup
14 default-font-family set_font
1 setmiterlimit
% /arrowlength 10 def
% /arrowwidth 5 def
% make sure pdfmark is harmless for PS-interpreters other than Distiller
/pdfmark where {pop} {userdict /pdfmark /cleartomark load put} ifelse
% make '<<' and '>>' safe on PS Level 1 devices
/languagelevel where {pop languagelevel}{1} ifelse
2 lt {
userdict (<<) cvn ([) cvn load put
userdict (>>) cvn ([) cvn load put
} if
%%EndSetup
%%Page: 1 1
%%PageBoundingBox: 36 36 1057 213
%%PageOrientation: Portrait
gsave
35 35 1022 178 boxprim clip newpath
36 36 translate
0 0 1 beginpage
0 0 translate 0 rotate
[ /CropBox [36 36 1057 213] /PAGES pdfmark
0.000 0.000 0.000 graphcolor
14.00 /Times-Roman set_font
% 1
gsave 10 dict begin
0.333 1.000 1.000 nodecolor
26 82 18 18 ellipse_path
stroke
gsave 10 dict begin
0.000 0.000 0.000 nodecolor
26 83 moveto (1) 7 14.00 -0.50 alignedtext
end grestore
end grestore
% 4
gsave 10 dict begin
0.000 1.000 1.000 nodecolor
602 120 18 18 ellipse_path
stroke
602 120 22 22 ellipse_path
stroke
gsave 10 dict begin
0.000 0.000 0.000 nodecolor
602 121 moveto (4) 7 14.00 -0.50 alignedtext
end grestore
end grestore
% 1 -> 4
newpath 41 92 moveto
48 96 55 100 62 102 curveto
187 141 224 126 354 134 curveto
447 139 471 149 562 134 curveto
566 133 569 133 572 132 curveto
stroke
newpath 571 130 moveto
581 128 lineto
573 134 lineto
closepath
fill
gsave 10 dict begin
232 140 moveto ('0','1','2','3','4','5','6','7','8','9') 193 14.00 -0.50 alignedtext
end grestore
% 2
gsave 10 dict begin
232 82 18 18 ellipse_path
stroke
gsave 10 dict begin
232 83 moveto (2) 7 14.00 -0.50 alignedtext
end grestore
end grestore
% 1 -> 2
newpath 44 82 moveto
81 82 163 82 206 82 curveto
stroke
newpath 204 80 moveto
214 82 lineto
204 85 lineto
closepath
fill
gsave 10 dict begin
86 91 moveto ('+','-') 34 14.00 -0.50 alignedtext
end grestore
% 3
gsave 10 dict begin
706 64 18 18 ellipse_path
stroke
gsave 10 dict begin
706 65 moveto (3) 7 14.00 -0.50 alignedtext
end grestore
end grestore
% 1 -> 3
newpath 43 76 moveto
63 69 98 59 128 55 curveto
319 28 370 37 562 48 curveto
603 50 650 56 679 60 curveto
stroke
newpath 678 57 moveto
688 61 lineto
678 62 lineto
closepath
fill
gsave 10 dict begin
458 57 moveto ('.') 12 14.00 -0.50 alignedtext
end grestore
% 4 -> 4
newpath 617 137 moveto
621 148 616 160 602 160 curveto
592 160 586 153 586 146 curveto
stroke
newpath 583 147 moveto
587 137 lineto
588 147 lineto
closepath
fill
gsave 10 dict begin
602 169 moveto ('0','1','2','3','4','5','6','7','8','9') 193 14.00 -0.50 alignedtext
end grestore
% 4 -> 3
newpath 622 109 moveto
639 100 664 86 682 77 curveto
stroke
newpath 680 75 moveto
690 73 lineto
682 80 lineto
closepath
fill
gsave 10 dict begin
656 106 moveto ('.') 12 14.00 -0.50 alignedtext
end grestore
% 6
gsave 10 dict begin
0.000 1.000 1.000 nodecolor
990 64 18 18 ellipse_path
stroke
990 64 22 22 ellipse_path
stroke
gsave 10 dict begin
0.000 0.000 0.000 nodecolor
990 65 moveto (6) 7 14.00 -0.50 alignedtext
end grestore
end grestore
% 6 -> 6
newpath 1005 81 moveto
1009 92 1004 104 990 104 curveto
980 104 974 97 974 90 curveto
stroke
newpath 971 91 moveto
975 81 lineto
976 91 lineto
closepath
fill
gsave 10 dict begin
990 113 moveto ('0','1','2','3','4','5','6','7','8','9') 193 14.00 -0.50 alignedtext
end grestore
% 2 -> 4
newpath 250 84 moveto
308 90 494 109 570 117 curveto
stroke
newpath 570 115 moveto
580 118 lineto
570 119 lineto
closepath
fill
gsave 10 dict begin
458 123 moveto ('0','1','2','3','4','5','6','7','8','9') 193 14.00 -0.50 alignedtext
end grestore
% 2 -> 3
newpath 250 81 moveto
323 78 596 69 681 65 curveto
stroke
newpath 678 63 moveto
688 65 lineto
678 68 lineto
closepath
fill
gsave 10 dict begin
602 77 moveto ('.') 12 14.00 -0.50 alignedtext
end grestore
% 3 -> 6
newpath 724 64 moveto
772 64 901 64 960 64 curveto
stroke
newpath 958 62 moveto
968 64 lineto
958 67 lineto
closepath
fill
gsave 10 dict begin
846 73 moveto ('0','1','2','3','4','5','6','7','8','9') 193 14.00 -0.50 alignedtext
end grestore
endpage
grestore
%%PageTrailer
%%EndPage: 1
%%Trailer
%%Pages: 1
end
restore
%%EOF