| %!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 |
