%!PS-Adobe-3.0 EPSF-3.0
%%Creator: graphviz version 2.29.20121022.0445 (20121022.0445)
%%Title: /tmp/fo.y
%%Pages: 1
%%BoundingBox: 0 0 739 424
%%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
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
setupLatin1
%%Page: 1 1
%%PageBoundingBox: 0 0 739 424
%%PageOrientation: Portrait
0 0 1 beginpage
gsave
0 0 739 424 boxprim clip newpath
1 1 set_scale 0 rotate 4 5 translate
% 0
gsave
1 setlinewidth
0 0 0 nodecolor
newpath 495 416 moveto
289 416 lineto
289 302 lineto
495 302 lineto
closepath stroke
0 0 0 nodecolor
14 /courier set_font
363 400.8 moveto 58 (State 0) alignedtext
0 0 0 nodecolor
14 /courier set_font
297 369.8 moveto 190 ( 0 $accept: . exp $end) alignedtext
0 0 0 nodecolor
14 /courier set_font
297 354.8 moveto 133 ( 1 exp: . a ";") alignedtext
0 0 0 nodecolor
14 /courier set_font
297 339.8 moveto 133 ( 2 | . b ".") alignedtext
0 0 0 nodecolor
14 /courier set_font
297 324.8 moveto 100 ( 3 a: . "0") alignedtext
0 0 0 nodecolor
14 /courier set_font
297 309.8 moveto 100 ( 4 b: . "0") alignedtext
grestore
% 1
gsave
1 setlinewidth
0 0 0 nodecolor
newpath 172.25 249.5 moveto
-.25 249.5 lineto
-.25 180.5 lineto
172.25 180.5 lineto
closepath stroke
0 0 0 nodecolor
14 /courier set_font
57 234.3 moveto 58 (State 1) alignedtext
0 0 0 nodecolor
14 /courier set_font
7.5 203.3 moveto 157 ( 3 a: "0" . [";"]) alignedtext
0 0 0 nodecolor
14 /courier set_font
7.5 188.3 moveto 157 ( 4 b: "0" . ["."]) alignedtext
grestore
% 0->1
gsave
1 setlinewidth
solid
0 0 0 edgecolor
newpath 288.83 310.12 moveto
249.32 291.79 204.84 271.15 167.62 253.87 curveto
stroke
0 0 0 edgecolor
newpath 168.86 250.59 moveto
158.32 249.56 lineto
165.92 256.94 lineto
closepath fill
1 setlinewidth
solid
0 0 0 edgecolor
newpath 168.86 250.59 moveto
158.32 249.56 lineto
165.92 256.94 lineto
closepath stroke
0 0 0 edgecolor
14 /courier set_font
230 272.3 moveto 25 ("0") alignedtext
grestore
% 2
gsave
1 setlinewidth
0 0 0 nodecolor
newpath 397 242 moveto
191 242 lineto
191 188 lineto
397 188 lineto
closepath stroke
0 0 0 nodecolor
14 /courier set_font
265 226.8 moveto 58 (State 2) alignedtext
0 0 0 nodecolor
14 /courier set_font
199 195.8 moveto 190 ( 0 $accept: exp . $end) alignedtext
grestore
% 0->2
gsave
1 setlinewidth
dashed
0 0 0 edgecolor
newpath 353.27 301.88 moveto
341.26 284.48 328.39 265.83 317.72 250.37 curveto
stroke
0 0 0 edgecolor
newpath 320.6 248.39 moveto
312.04 242.14 lineto
314.84 252.36 lineto
closepath fill
1 setlinewidth
solid
0 0 0 edgecolor
newpath 320.6 248.39 moveto
312.04 242.14 lineto
314.84 252.36 lineto
closepath stroke
0 0 0 edgecolor
14 /courier set_font
341 272.3 moveto 25 (exp) alignedtext
grestore
% 3
gsave
1 setlinewidth
0 0 0 nodecolor
newpath 564.25 242 moveto
415.75 242 lineto
415.75 188 lineto
564.25 188 lineto
closepath stroke
0 0 0 nodecolor
14 /courier set_font
461 226.8 moveto 58 (State 3) alignedtext
0 0 0 nodecolor
14 /courier set_font
423.5 195.8 moveto 133 ( 1 exp: a . ";") alignedtext
grestore
% 0->3
gsave
1 setlinewidth
dashed
0 0 0 edgecolor
newpath 430.73 301.88 moveto
442.74 284.48 455.61 265.83 466.28 250.37 curveto
stroke
0 0 0 edgecolor
newpath 469.16 252.36 moveto
471.96 242.14 lineto
463.4 248.39 lineto
closepath fill
1 setlinewidth
solid
0 0 0 edgecolor
newpath 469.16 252.36 moveto
471.96 242.14 lineto
463.4 248.39 lineto
closepath stroke
0 0 0 edgecolor
14 /courier set_font
453 272.3 moveto 9 (a) alignedtext
grestore
% 4
gsave
1 setlinewidth
0 0 0 nodecolor
newpath 731.25 242 moveto
582.75 242 lineto
582.75 188 lineto
731.25 188 lineto
closepath stroke
0 0 0 nodecolor
14 /courier set_font
628 226.8 moveto 58 (State 4) alignedtext
0 0 0 nodecolor
14 /courier set_font
590.5 195.8 moveto 133 ( 2 exp: b . ".") alignedtext
grestore
% 0->4
gsave
1 setlinewidth
dashed
0 0 0 edgecolor
newpath 495.21 302.69 moveto
530.51 283.78 568.73 263.3 599.15 247 curveto
stroke
0 0 0 edgecolor
newpath 601.17 249.89 moveto
608.33 242.08 lineto
597.86 243.72 lineto
closepath fill
1 setlinewidth
solid
0 0 0 edgecolor
newpath 601.17 249.89 moveto
608.33 242.08 lineto
597.86 243.72 lineto
closepath stroke
0 0 0 edgecolor
14 /courier set_font
557 272.3 moveto 9 (b) alignedtext
grestore
% 1R3
gsave
0.2549 0.38039 0.87451 nodecolor
newpath 36 119 moveto
6 101 lineto
36 83 lineto
66 101 lineto
closepath fill
1 setlinewidth
filled
0 0 0 nodecolor
newpath 36 119 moveto
6 101 lineto
36 83 lineto
66 101 lineto
closepath stroke
0 0 0 nodecolor
14 /courier set_font
27.5 97.3 moveto 17 (R3) alignedtext
grestore
% 1->1R3
gsave
1 setlinewidth
solid
0 0 0 edgecolor
newpath 71 180.4 moveto
62.95 162.36 53.24 140.61 46.09 124.61 curveto
stroke
0 0 0 edgecolor
newpath 49.28 123.17 moveto
42.01 115.46 lineto
42.89 126.02 lineto
closepath fill
1 setlinewidth
solid
0 0 0 edgecolor
newpath 49.28 123.17 moveto
42.01 115.46 lineto
42.89 126.02 lineto
closepath stroke
grestore
% 1R4
gsave
0.2549 0.38039 0.87451 nodecolor
newpath 115 119 moveto
85 101 lineto
115 83 lineto
145 101 lineto
closepath fill
1 setlinewidth
filled
0 0 0 nodecolor
newpath 115 119 moveto
85 101 lineto
115 83 lineto
145 101 lineto
closepath stroke
0 0 0 nodecolor
14 /courier set_font
106.5 97.3 moveto 17 (R4) alignedtext
grestore
% 1->1R4
gsave
1 setlinewidth
solid
0 0 0 edgecolor
newpath 94.7 180.4 moveto
99.15 163.22 104.46 142.69 108.54 126.94 curveto
stroke
0 0 0 edgecolor
newpath 112.02 127.47 moveto
111.14 116.91 lineto
105.24 125.71 lineto
closepath fill
1 setlinewidth
solid
0 0 0 edgecolor
newpath 112.02 127.47 moveto
111.14 116.91 lineto
105.24 125.71 lineto
closepath stroke
0 0 0 edgecolor
14 /courier set_font
104 150.3 moveto 42 (["."]) alignedtext
grestore
% 5
gsave
1 setlinewidth
0 0 0 nodecolor
newpath 397 128 moveto
191 128 lineto
191 74 lineto
397 74 lineto
closepath stroke
0 0 0 nodecolor
14 /courier set_font
265 112.8 moveto 58 (State 5) alignedtext
0 0 0 nodecolor
14 /courier set_font
199 81.8 moveto 190 ( 0 $accept: exp $end .) alignedtext
grestore
% 2->5
gsave
1 setlinewidth
solid
0 0 0 edgecolor
newpath 294 187.74 moveto
294 173 294 154.38 294 138.26 curveto
stroke
0 0 0 edgecolor
newpath 297.5 138.09 moveto
294 128.09 lineto
290.5 138.09 lineto
closepath fill
1 setlinewidth
solid
0 0 0 edgecolor
newpath 297.5 138.09 moveto
294 128.09 lineto
290.5 138.09 lineto
closepath stroke
0 0 0 edgecolor
14 /courier set_font
294 150.3 moveto 34 ($end) alignedtext
grestore
% 6
gsave
1 setlinewidth
0 0 0 nodecolor
newpath 564.25 128 moveto
415.75 128 lineto
415.75 74 lineto
564.25 74 lineto
closepath stroke
0 0 0 nodecolor
14 /courier set_font
461 112.8 moveto 58 (State 6) alignedtext
0 0 0 nodecolor
14 /courier set_font
423.5 81.8 moveto 133 ( 1 exp: a ";" .) alignedtext
grestore
% 3->6
gsave
1 setlinewidth
solid
0 0 0 edgecolor
newpath 490 187.74 moveto
490 173 490 154.38 490 138.26 curveto
stroke
0 0 0 edgecolor
newpath 493.5 138.09 moveto
490 128.09 lineto
486.5 138.09 lineto
closepath fill
1 setlinewidth
solid
0 0 0 edgecolor
newpath 493.5 138.09 moveto
490 128.09 lineto
486.5 138.09 lineto
closepath stroke
0 0 0 edgecolor
14 /courier set_font
490 150.3 moveto 25 (";") alignedtext
grestore
% 7
gsave
1 setlinewidth
0 0 0 nodecolor
newpath 731.25 128 moveto
582.75 128 lineto
582.75 74 lineto
731.25 74 lineto
closepath stroke
0 0 0 nodecolor
14 /courier set_font
628 112.8 moveto 58 (State 7) alignedtext
0 0 0 nodecolor
14 /courier set_font
590.5 81.8 moveto 133 ( 2 exp: b "." .) alignedtext
grestore
% 4->7
gsave
1 setlinewidth
solid
0 0 0 edgecolor
newpath 657 187.74 moveto
657 173 657 154.38 657 138.26 curveto
stroke
0 0 0 edgecolor
newpath 660.5 138.09 moveto
657 128.09 lineto
653.5 138.09 lineto
closepath fill
1 setlinewidth
solid
0 0 0 edgecolor
newpath 660.5 138.09 moveto
657 128.09 lineto
653.5 138.09 lineto
closepath stroke
0 0 0 edgecolor
14 /courier set_font
657 150.3 moveto 25 (".") alignedtext
grestore
% 5R0
gsave
0.55686 0.26667 0.8902 nodecolor
newpath 294 36 moveto
256.47 18 lineto
294 0 lineto
331.53 18 lineto
closepath fill
1 setlinewidth
filled
0 0 0 nodecolor
newpath 294 36 moveto
256.47 18 lineto
294 0 lineto
331.53 18 lineto
closepath stroke
0 0 0 nodecolor
14 /courier set_font
281.5 14.3 moveto 25 (Acc) alignedtext
grestore
% 5->5R0
gsave
1 setlinewidth
solid
0 0 0 edgecolor
newpath 294 73.93 moveto
294 65.11 294 55.25 294 46.35 curveto
stroke
0 0 0 edgecolor
newpath 297.5 46.09 moveto
294 36.09 lineto
290.5 46.09 lineto
closepath fill
1 setlinewidth
solid
0 0 0 edgecolor
newpath 297.5 46.09 moveto
294 36.09 lineto
290.5 46.09 lineto
closepath stroke
grestore
% 6R1
gsave
0.2549 0.38039 0.87451 nodecolor
newpath 490 36 moveto
460 18 lineto
490 0 lineto
520 18 lineto
closepath fill
1 setlinewidth
filled
0 0 0 nodecolor
newpath 490 36 moveto
460 18 lineto
490 0 lineto
520 18 lineto
closepath stroke
0 0 0 nodecolor
14 /courier set_font
481.5 14.3 moveto 17 (R1) alignedtext
grestore
% 6->6R1
gsave
1 setlinewidth
solid
0 0 0 edgecolor
newpath 490 73.93 moveto
490 65.11 490 55.25 490 46.35 curveto
stroke
0 0 0 edgecolor
newpath 493.5 46.09 moveto
490 36.09 lineto
486.5 46.09 lineto
closepath fill
1 setlinewidth
solid
0 0 0 edgecolor
newpath 493.5 46.09 moveto
490 36.09 lineto
486.5 46.09 lineto
closepath stroke
grestore
% 7R2
gsave
0.2549 0.38039 0.87451 nodecolor
newpath 657 36 moveto
627 18 lineto
657 0 lineto
687 18 lineto
closepath fill
1 setlinewidth
filled
0 0 0 nodecolor
newpath 657 36 moveto
627 18 lineto
657 0 lineto
687 18 lineto
closepath stroke
0 0 0 nodecolor
14 /courier set_font
648.5 14.3 moveto 17 (R2) alignedtext
grestore
% 7->7R2
gsave
1 setlinewidth
solid
0 0 0 edgecolor
newpath 657 73.93 moveto
657 65.11 657 55.25 657 46.35 curveto
stroke
0 0 0 edgecolor
newpath 660.5 46.09 moveto
657 36.09 lineto
653.5 46.09 lineto
closepath fill
1 setlinewidth
solid
0 0 0 edgecolor
newpath 660.5 46.09 moveto
657 36.09 lineto
653.5 46.09 lineto
closepath stroke
grestore
endpage
showpage
grestore
%%PageTrailer
%%EndPage: 1
%%Trailer
end
restore
%%EOF