| %!PS-Adobe-3.0 EPSF-3.0 |
| %%Creator: graphviz version 2.41.20171026.1811 (20171026.1811) |
| %%Title: example.y |
| %%Pages: 1 |
| %%BoundingBox: 0 0 751 420 |
| %%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 751 420 |
| %%PageOrientation: Portrait |
| 0 0 1 beginpage |
| gsave |
| 0 0 751 420 boxprim clip newpath |
| 1 1 set_scale 0 rotate 4 4 translate |
| % 0 |
| gsave |
| 1 setlinewidth |
| 0 0 0 nodecolor |
| newpath 465 412 moveto |
| 255 412 lineto |
| 255 298 lineto |
| 465 298 lineto |
| closepath stroke |
| 0 0 0 nodecolor |
| 14 /courier set_font |
| 330.5 396.8 moveto 59 (State 0) alignedtext |
| 0 0 0 nodecolor |
| 14 /courier set_font |
| 263 365.8 moveto 194 ( 0 $accept: • exp $end) alignedtext |
| 0 0 0 nodecolor |
| 14 /courier set_font |
| 263 350.8 moveto 135 ( 1 exp: • a ";") alignedtext |
| 0 0 0 nodecolor |
| 14 /courier set_font |
| 263 335.8 moveto 135 ( 2 | • b ".") alignedtext |
| 0 0 0 nodecolor |
| 14 /courier set_font |
| 263 320.8 moveto 101 ( 3 a: • "0") alignedtext |
| 0 0 0 nodecolor |
| 14 /courier set_font |
| 263 305.8 moveto 101 ( 4 b: • "0") alignedtext |
| grestore |
| % 1 |
| gsave |
| 1 setlinewidth |
| 0 0 0 nodecolor |
| newpath 176 247 moveto |
| 0 247 lineto |
| 0 178 lineto |
| 176 178 lineto |
| closepath stroke |
| 0 0 0 nodecolor |
| 14 /courier set_font |
| 58.5 231.8 moveto 59 (State 1) alignedtext |
| 0 0 0 nodecolor |
| 14 /courier set_font |
| 8 200.8 moveto 160 ( 3 a: "0" • [";"]) alignedtext |
| 0 0 0 nodecolor |
| 14 /courier set_font |
| 8 185.8 moveto 160 ( 4 b: "0" • ["."]) alignedtext |
| grestore |
| % 0->1 |
| gsave |
| 1 setlinewidth |
| solid |
| 0 0 0 edgecolor |
| newpath 254.8377 299.679 moveto |
| 223.9468 283.7225 190.8153 266.6086 162.2833 251.8706 curveto |
| stroke |
| 0 0 0 edgecolor |
| newpath 163.681 248.6532 moveto |
| 153.19 247.1735 lineto |
| 160.4684 254.8725 lineto |
| closepath fill |
| 1 setlinewidth |
| solid |
| 0 0 0 edgecolor |
| newpath 163.681 248.6532 moveto |
| 153.19 247.1735 lineto |
| 160.4684 254.8725 lineto |
| closepath stroke |
| 0 0 0 edgecolor |
| 14 /courier set_font |
| 216 268.8 moveto 26 ("0") alignedtext |
| grestore |
| % 2 |
| gsave |
| 1 setlinewidth |
| 0 0 0 nodecolor |
| newpath 404 239.5 moveto |
| 194 239.5 lineto |
| 194 185.5 lineto |
| 404 185.5 lineto |
| closepath stroke |
| 0 0 0 nodecolor |
| 14 /courier set_font |
| 269.5 224.3 moveto 59 (State 2) alignedtext |
| 0 0 0 nodecolor |
| 14 /courier set_font |
| 202 193.3 moveto 194 ( 0 $accept: exp • $end) alignedtext |
| grestore |
| % 0->2 |
| gsave |
| 1 setlinewidth |
| dashed |
| 0 0 0 edgecolor |
| newpath 335.5404 297.6628 moveto |
| 328.4167 281.2548 320.8349 263.7919 314.435 249.051 curveto |
| stroke |
| 0 0 0 edgecolor |
| newpath 317.6096 247.5745 moveto |
| 310.4166 239.7956 lineto |
| 311.1887 250.3623 lineto |
| closepath fill |
| 1 setlinewidth |
| solid |
| 0 0 0 edgecolor |
| newpath 317.6096 247.5745 moveto |
| 310.4166 239.7956 lineto |
| 311.1887 250.3623 lineto |
| closepath stroke |
| 0 0 0 edgecolor |
| 14 /courier set_font |
| 328 268.8 moveto 26 (exp) alignedtext |
| grestore |
| % 3 |
| gsave |
| 1 setlinewidth |
| 0 0 0 nodecolor |
| newpath 573.5 239.5 moveto |
| 422.5 239.5 lineto |
| 422.5 185.5 lineto |
| 573.5 185.5 lineto |
| closepath stroke |
| 0 0 0 nodecolor |
| 14 /courier set_font |
| 468.5 224.3 moveto 59 (State 3) alignedtext |
| 0 0 0 nodecolor |
| 14 /courier set_font |
| 430.5 193.3 moveto 135 ( 1 exp: a • ";") alignedtext |
| grestore |
| % 0->3 |
| gsave |
| 1 setlinewidth |
| dashed |
| 0 0 0 edgecolor |
| newpath 415.3347 297.6628 moveto |
| 432.2182 280.4735 450.2388 262.1264 465.1314 246.9641 curveto |
| stroke |
| 0 0 0 edgecolor |
| newpath 467.6619 249.3825 moveto |
| 472.1723 239.7956 lineto |
| 462.6679 244.4773 lineto |
| closepath fill |
| 1 setlinewidth |
| solid |
| 0 0 0 edgecolor |
| newpath 467.6619 249.3825 moveto |
| 472.1723 239.7956 lineto |
| 462.6679 244.4773 lineto |
| closepath stroke |
| 0 0 0 edgecolor |
| 14 /courier set_font |
| 446 268.8 moveto 9 (a) alignedtext |
| grestore |
| % 4 |
| gsave |
| 1 setlinewidth |
| 0 0 0 nodecolor |
| newpath 742.5 239.5 moveto |
| 591.5 239.5 lineto |
| 591.5 185.5 lineto |
| 742.5 185.5 lineto |
| closepath stroke |
| 0 0 0 nodecolor |
| 14 /courier set_font |
| 637.5 224.3 moveto 59 (State 4) alignedtext |
| 0 0 0 nodecolor |
| 14 /courier set_font |
| 599.5 193.3 moveto 135 ( 2 exp: b • ".") alignedtext |
| grestore |
| % 0->4 |
| gsave |
| 1 setlinewidth |
| dashed |
| 0 0 0 edgecolor |
| newpath 465.2225 305.8444 moveto |
| 510.0556 285.3263 561.0061 262.0086 600.4919 243.9377 curveto |
| stroke |
| 0 0 0 edgecolor |
| newpath 602.1219 247.041 moveto |
| 609.7584 239.6969 lineto |
| 599.2088 240.6759 lineto |
| closepath fill |
| 1 setlinewidth |
| solid |
| 0 0 0 edgecolor |
| newpath 602.1219 247.041 moveto |
| 609.7584 239.6969 lineto |
| 599.2088 240.6759 lineto |
| closepath stroke |
| 0 0 0 edgecolor |
| 14 /courier set_font |
| 551 268.8 moveto 9 (b) alignedtext |
| grestore |
| % 1R3 |
| gsave |
| 0.2549 0.38039 0.87451 nodecolor |
| newpath 38 118 moveto |
| 7.8347 100 lineto |
| 38 82 lineto |
| 68.1653 100 lineto |
| closepath fill |
| 1 setlinewidth |
| filled |
| 0 0 0 nodecolor |
| newpath 38 118 moveto |
| 7.8347 100 lineto |
| 38 82 lineto |
| 68.1653 100 lineto |
| closepath stroke |
| 0 0 0 nodecolor |
| 14 /courier set_font |
| 29.5 96.3 moveto 17 (R3) alignedtext |
| grestore |
| % 1->1R3 |
| gsave |
| 1 setlinewidth |
| solid |
| 0 0 0 edgecolor |
| newpath 72.7267 177.7459 moveto |
| 64.811 160.2523 55.3541 139.3525 48.3092 123.7834 curveto |
| stroke |
| 0 0 0 edgecolor |
| newpath 51.3798 122.0793 moveto |
| 44.0685 114.4114 lineto |
| 45.0023 124.965 lineto |
| closepath fill |
| 1 setlinewidth |
| solid |
| 0 0 0 edgecolor |
| newpath 51.3798 122.0793 moveto |
| 44.0685 114.4114 lineto |
| 45.0023 124.965 lineto |
| closepath stroke |
| grestore |
| % 1R4 |
| gsave |
| 0.2549 0.38039 0.87451 nodecolor |
| newpath 117 118 moveto |
| 86.8347 100 lineto |
| 117 82 lineto |
| 147.1653 100 lineto |
| closepath fill |
| 1 setlinewidth |
| filled |
| 0 0 0 nodecolor |
| newpath 117 118 moveto |
| 86.8347 100 lineto |
| 117 82 lineto |
| 147.1653 100 lineto |
| closepath stroke |
| 0 0 0 nodecolor |
| 14 /courier set_font |
| 108.5 96.3 moveto 17 (R4) alignedtext |
| grestore |
| % 1->1R4 |
| gsave |
| 1 setlinewidth |
| solid |
| 0 0 0 edgecolor |
| newpath 96.8585 177.7459 moveto |
| 101.2705 160.9346 106.5081 140.9776 110.5363 125.6289 curveto |
| stroke |
| 0 0 0 edgecolor |
| newpath 113.9536 126.3953 moveto |
| 113.1068 115.8344 lineto |
| 107.1829 124.6184 lineto |
| closepath fill |
| 1 setlinewidth |
| solid |
| 0 0 0 edgecolor |
| newpath 113.9536 126.3953 moveto |
| 113.1068 115.8344 lineto |
| 107.1829 124.6184 lineto |
| closepath stroke |
| 0 0 0 edgecolor |
| 14 /courier set_font |
| 106 148.8 moveto 43 (["."]) alignedtext |
| grestore |
| % 5 |
| gsave |
| 1 setlinewidth |
| 0 0 0 nodecolor |
| newpath 404 127 moveto |
| 194 127 lineto |
| 194 73 lineto |
| 404 73 lineto |
| closepath stroke |
| 0 0 0 nodecolor |
| 14 /courier set_font |
| 269.5 111.8 moveto 59 (State 5) alignedtext |
| 0 0 0 nodecolor |
| 14 /courier set_font |
| 202 80.8 moveto 194 ( 0 $accept: exp $end •) alignedtext |
| grestore |
| % 2->5 |
| gsave |
| 1 setlinewidth |
| solid |
| 0 0 0 edgecolor |
| newpath 299 185.313 moveto |
| 299 171.1049 299 153.312 299 137.7381 curveto |
| stroke |
| 0 0 0 edgecolor |
| newpath 302.5001 137.3819 moveto |
| 299 127.3819 lineto |
| 295.5001 137.382 lineto |
| closepath fill |
| 1 setlinewidth |
| solid |
| 0 0 0 edgecolor |
| newpath 302.5001 137.3819 moveto |
| 299 127.3819 lineto |
| 295.5001 137.382 lineto |
| closepath stroke |
| 0 0 0 edgecolor |
| 14 /courier set_font |
| 299 148.8 moveto 34 ($end) alignedtext |
| grestore |
| % 6 |
| gsave |
| 1 setlinewidth |
| 0 0 0 nodecolor |
| newpath 573.5 127 moveto |
| 422.5 127 lineto |
| 422.5 73 lineto |
| 573.5 73 lineto |
| closepath stroke |
| 0 0 0 nodecolor |
| 14 /courier set_font |
| 468.5 111.8 moveto 59 (State 6) alignedtext |
| 0 0 0 nodecolor |
| 14 /courier set_font |
| 430.5 80.8 moveto 135 ( 1 exp: a ";" •) alignedtext |
| grestore |
| % 3->6 |
| gsave |
| 1 setlinewidth |
| solid |
| 0 0 0 edgecolor |
| newpath 498 185.313 moveto |
| 498 171.1049 498 153.312 498 137.7381 curveto |
| stroke |
| 0 0 0 edgecolor |
| newpath 501.5001 137.3819 moveto |
| 498 127.3819 lineto |
| 494.5001 137.382 lineto |
| closepath fill |
| 1 setlinewidth |
| solid |
| 0 0 0 edgecolor |
| newpath 501.5001 137.3819 moveto |
| 498 127.3819 lineto |
| 494.5001 137.382 lineto |
| closepath stroke |
| 0 0 0 edgecolor |
| 14 /courier set_font |
| 498 148.8 moveto 26 (";") alignedtext |
| grestore |
| % 7 |
| gsave |
| 1 setlinewidth |
| 0 0 0 nodecolor |
| newpath 742.5 127 moveto |
| 591.5 127 lineto |
| 591.5 73 lineto |
| 742.5 73 lineto |
| closepath stroke |
| 0 0 0 nodecolor |
| 14 /courier set_font |
| 637.5 111.8 moveto 59 (State 7) alignedtext |
| 0 0 0 nodecolor |
| 14 /courier set_font |
| 599.5 80.8 moveto 135 ( 2 exp: b "." •) alignedtext |
| grestore |
| % 4->7 |
| gsave |
| 1 setlinewidth |
| solid |
| 0 0 0 edgecolor |
| newpath 667 185.313 moveto |
| 667 171.1049 667 153.312 667 137.7381 curveto |
| stroke |
| 0 0 0 edgecolor |
| newpath 670.5001 137.3819 moveto |
| 667 127.3819 lineto |
| 663.5001 137.382 lineto |
| closepath fill |
| 1 setlinewidth |
| solid |
| 0 0 0 edgecolor |
| newpath 670.5001 137.3819 moveto |
| 667 127.3819 lineto |
| 663.5001 137.382 lineto |
| closepath stroke |
| 0 0 0 edgecolor |
| 14 /courier set_font |
| 667 148.8 moveto 26 (".") alignedtext |
| grestore |
| % 5R0 |
| gsave |
| 0.55686 0.26667 0.8902 nodecolor |
| newpath 299 36 moveto |
| 260.2905 18 lineto |
| 299 0 lineto |
| 337.7095 18 lineto |
| closepath fill |
| 1 setlinewidth |
| filled |
| 0 0 0 nodecolor |
| newpath 299 36 moveto |
| 260.2905 18 lineto |
| 299 0 lineto |
| 337.7095 18 lineto |
| closepath stroke |
| 0 0 0 nodecolor |
| 14 /courier set_font |
| 286 14.3 moveto 26 (Acc) alignedtext |
| grestore |
| % 5->5R0 |
| gsave |
| 1 setlinewidth |
| solid |
| 0 0 0 edgecolor |
| newpath 299 72.805 moveto |
| 299 64.3462 299 54.9487 299 46.4049 curveto |
| stroke |
| 0 0 0 edgecolor |
| newpath 302.5001 46.1743 moveto |
| 299 36.1743 lineto |
| 295.5001 46.1743 lineto |
| closepath fill |
| 1 setlinewidth |
| solid |
| 0 0 0 edgecolor |
| newpath 302.5001 46.1743 moveto |
| 299 36.1743 lineto |
| 295.5001 46.1743 lineto |
| closepath stroke |
| grestore |
| % 6R1 |
| gsave |
| 0.2549 0.38039 0.87451 nodecolor |
| newpath 498 36 moveto |
| 467.8347 18 lineto |
| 498 0 lineto |
| 528.1653 18 lineto |
| closepath fill |
| 1 setlinewidth |
| filled |
| 0 0 0 nodecolor |
| newpath 498 36 moveto |
| 467.8347 18 lineto |
| 498 0 lineto |
| 528.1653 18 lineto |
| closepath stroke |
| 0 0 0 nodecolor |
| 14 /courier set_font |
| 489.5 14.3 moveto 17 (R1) alignedtext |
| grestore |
| % 6->6R1 |
| gsave |
| 1 setlinewidth |
| solid |
| 0 0 0 edgecolor |
| newpath 498 72.805 moveto |
| 498 64.3462 498 54.9487 498 46.4049 curveto |
| stroke |
| 0 0 0 edgecolor |
| newpath 501.5001 46.1743 moveto |
| 498 36.1743 lineto |
| 494.5001 46.1743 lineto |
| closepath fill |
| 1 setlinewidth |
| solid |
| 0 0 0 edgecolor |
| newpath 501.5001 46.1743 moveto |
| 498 36.1743 lineto |
| 494.5001 46.1743 lineto |
| closepath stroke |
| grestore |
| % 7R2 |
| gsave |
| 0.2549 0.38039 0.87451 nodecolor |
| newpath 667 36 moveto |
| 636.8347 18 lineto |
| 667 0 lineto |
| 697.1653 18 lineto |
| closepath fill |
| 1 setlinewidth |
| filled |
| 0 0 0 nodecolor |
| newpath 667 36 moveto |
| 636.8347 18 lineto |
| 667 0 lineto |
| 697.1653 18 lineto |
| closepath stroke |
| 0 0 0 nodecolor |
| 14 /courier set_font |
| 658.5 14.3 moveto 17 (R2) alignedtext |
| grestore |
| % 7->7R2 |
| gsave |
| 1 setlinewidth |
| solid |
| 0 0 0 edgecolor |
| newpath 667 72.805 moveto |
| 667 64.3462 667 54.9487 667 46.4049 curveto |
| stroke |
| 0 0 0 edgecolor |
| newpath 670.5001 46.1743 moveto |
| 667 36.1743 lineto |
| 663.5001 46.1743 lineto |
| closepath fill |
| 1 setlinewidth |
| solid |
| 0 0 0 edgecolor |
| newpath 670.5001 46.1743 moveto |
| 667 36.1743 lineto |
| 663.5001 46.1743 lineto |
| closepath stroke |
| grestore |
| endpage |
| showpage |
| grestore |
| %%PageTrailer |
| %%EndPage: 1 |
| %%Trailer |
| end |
| restore |
| %%EOF |