%!PS-Adobe-3.0 EPSF-3.0
%%Creator: graphviz version 2.41.20171026.1811 (20171026.1811)
%%Title: reduce.y
%%Pages: 1
%%BoundingBox: 0 0 184 148
%%EndComments
save
%%BeginProlog
/DotDict 200 dict def
DotDict begin
/setupLatin1 {
mark
/EncodingVector 256 array def
EncodingVector 0
ISOLatin1Encoding 0 255 getinterval putinterval
EncodingVector 45 /hyphen put
% Set up ISO Latin 1 character encoding
/starnetISO {
dup dup findfont dup length dict begin
{ 1 index /FID ne { def }{ pop pop } ifelse
} forall
/Encoding EncodingVector def
currentdict end definefont
} def
/Times-Roman starnetISO def
/Times-Italic starnetISO def
/Times-Bold starnetISO def
/Times-BoldItalic starnetISO def
/Helvetica starnetISO def
/Helvetica-Oblique starnetISO def
/Helvetica-Bold starnetISO def
/Helvetica-BoldOblique starnetISO def
/Courier starnetISO def
/Courier-Oblique starnetISO def
/Courier-Bold starnetISO def
/Courier-BoldOblique starnetISO def
cleartomark
} bind def
%%BeginResource: procset graphviz 0 0
/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
scale
} bind def
% styles
/solid { [] 0 setdash } 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
/tapered { } 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 text fitted to its expected width
/alignedtext { % width text
/text exch def
/width exch def
gsave
width 0 gt {
[] 0 setdash
text stringwidth pop width exch sub text length div 0 text ashow
} if
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
/showpage { } def
/layercolorseq
[ % layer color sequence - darkest to lightest
[0 0 0]
[.2 .8 .8]
[.4 .8 .8]
[.6 .8 .8]
[.8 .8 .8]
]
def
/layerlen layercolorseq length def
/setlayer {/maxlayer exch def /curlayer exch def
layercolorseq curlayer 1 sub layerlen mod 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
% /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
setupLatin1
%%Page: 1 1
%%PageBoundingBox: 0 0 184 148
%%PageOrientation: Portrait
0 0 1 beginpage
gsave
0 0 184 148 boxprim clip newpath
1 1 set_scale 0 rotate 4 4 translate
% 1
gsave
1 setlinewidth
0 0 0 nodecolor
newpath 176 140 moveto
0 140 lineto
0 87 lineto
176 87 lineto
closepath stroke
0 0 0 nodecolor
14 /courier set_font
58.5 124.8 moveto 59 (State 1) alignedtext
0 0 0 nodecolor
14 /courier set_font
8 109.8 moveto 160 ( 3 a: "0" • ["."]) alignedtext
0 0 0 nodecolor
14 /courier set_font
8 94.8 moveto 160 ( 4 b: "0" • [";"]) alignedtext
grestore
% 1R3
gsave
0.21961 0.75294 0.80392 nodecolor
newpath 49 36 moveto
18.8347 18 lineto
49 0 lineto
79.1653 18 lineto
closepath fill
1 setlinewidth
filled
0 0 0 nodecolor
newpath 49 36 moveto
18.8347 18 lineto
49 0 lineto
79.1653 18 lineto
closepath stroke
0 0 0 nodecolor
14 /courier set_font
40.5 14.3 moveto 17 (R3) alignedtext
grestore
% 1->1R3
gsave
1 setlinewidth
solid
0 0 0 edgecolor
newpath 77.3431 86.9507 moveto
71.5202 72.9906 64.3625 55.8307 58.697 42.248 curveto
stroke
0 0 0 edgecolor
newpath 61.7822 40.5527 moveto
54.7022 32.6708 lineto
55.3217 43.2475 lineto
closepath fill
1 setlinewidth
solid
0 0 0 edgecolor
newpath 61.7822 40.5527 moveto
54.7022 32.6708 lineto
55.3217 43.2475 lineto
closepath stroke
grestore
% 1R4
gsave
0.21961 0.75294 0.80392 nodecolor
newpath 128 36 moveto
97.8347 18 lineto
128 0 lineto
158.1653 18 lineto
closepath fill
1 setlinewidth
filled
0 0 0 nodecolor
newpath 128 36 moveto
97.8347 18 lineto
128 0 lineto
158.1653 18 lineto
closepath stroke
0 0 0 nodecolor
14 /courier set_font
119.5 14.3 moveto 17 (R4) alignedtext
grestore
% 1->1R4
gsave
1 setlinewidth
solid
0 0 0 edgecolor
newpath 98.9302 86.9507 moveto
104.9024 72.9906 112.2436 55.8307 118.0543 42.248 curveto
stroke
0 0 0 edgecolor
newpath 121.4361 43.2414 moveto
122.1515 32.6708 lineto
115.0003 40.4881 lineto
closepath fill
1 setlinewidth
solid
0 0 0 edgecolor
newpath 121.4361 43.2414 moveto
122.1515 32.6708 lineto
115.0003 40.4881 lineto
closepath stroke
0 0 0 edgecolor
14 /courier set_font
112 57.8 moveto 43 ([";"]) alignedtext
grestore
endpage
showpage
grestore
%%PageTrailer
%%EndPage: 1
%%Trailer
end
restore
%%EOF