2 %%Creator: Graphviz version 2.12 (Mon Dec 4 22:04:37 UTC 2006)
4 %%Title: state_mach_mapping_mc
15 /EncodingVector 256 array def
18 ISOLatin1Encoding 0 255 getinterval putinterval
19 EncodingVector 45 /hyphen put
21 % Set up ISO Latin 1 character encoding
23 dup dup findfont dup length dict begin
24 { 1 index /FID ne { def }{ pop pop } ifelse
26 /Encoding EncodingVector def
27 currentdict end definefont
29 /Times-Roman starnetISO def
30 /Times-Italic starnetISO def
31 /Times-Bold starnetISO def
32 /Times-BoldItalic starnetISO def
33 /Helvetica starnetISO def
34 /Helvetica-Oblique starnetISO def
35 /Helvetica-Bold starnetISO def
36 /Helvetica-BoldOblique starnetISO def
37 /Courier starnetISO def
38 /Courier-Oblique starnetISO def
39 /Courier-Bold starnetISO def
40 /Courier-BoldOblique starnetISO def
44 %%BeginResource: procset graphviz 0 0
45 /coord-font-family /Times-Roman def
46 /default-font-family /Times-Roman def
47 /coordfont coord-font-family findfont 8 scalefont def
49 /InvScaleFactor 1.0 def
51 dup 1 exch div /InvScaleFactor exch def
56 /solid { [] 0 setdash } bind def
57 /dashed { [9 InvScaleFactor mul dup ] 0 setdash } bind def
58 /dotted { [1 InvScaleFactor mul 6 InvScaleFactor mul] 0 setdash } bind def
59 /invis {/fill {newpath} def /stroke {newpath} def /show {pop newpath} def} bind def
60 /bold { 2 setlinewidth } bind def
62 /unfilled { } bind def
64 /diagonals { } bind def
66 % hooks for setting color
67 /nodecolor { sethsbcolor } bind def
68 /edgecolor { sethsbcolor } bind def
69 /graphcolor { sethsbcolor } bind def
70 /nopcolor {pop pop pop} bind def
72 /beginpage { % i j npages
81 (\() show i str cvs show (,) show j str cvs show (\)) show
91 % draw aligned label in bounding box aligned to current point
92 /alignedtext { % width adj text
98 text stringwidth pop adj mul 0 rmoveto
105 /boxprim { % xcorner ycorner xsize ysize
128 /endpage { showpage } bind def
132 [ % layer color sequence - darkest to lightest
141 /layerlen layercolorseq length def
143 /setlayer {/maxlayer exch def /curlayer exch def
144 layercolorseq curlayer 1 sub layerlen mod get
145 aload pop sethsbcolor
146 /nodecolor {nopcolor} def
147 /edgecolor {nopcolor} def
148 /graphcolor {nopcolor} def
151 /onlayer { curlayer ne {invis} if } def
167 14 default-font-family set_font
169 % /arrowlength 10 def
172 % make sure pdfmark is harmless for PS-interpreters other than Distiller
173 /pdfmark where {pop} {userdict /pdfmark /cleartomark load put} ifelse
174 % make '<<' and '>>' safe on PS Level 1 devices
175 /languagelevel where {pop languagelevel}{1} ifelse
177 userdict (<<) cvn ([) cvn load put
178 userdict (>>) cvn ([) cvn load put
184 %%PageBoundingBox: 36 36 650 496
185 %%PageOrientation: Portrait
187 36 36 650 496 boxprim clip newpath
189 1 1 set_scale 0 rotate 40 40 translate
190 0.000 0.000 1.000 graphcolor
197 0.000 0.000 1.000 graphcolor
208 0.000 0.000 0.827 nodecolor
209 newpath 246 376 moveto
220 0.000 0.000 0.827 nodecolor
221 newpath 246 376 moveto
230 0.000 0.000 0.827 nodecolor
231 newpath 216 376 moveto
232 210 376 204 370 204 364 curveto
236 0.000 0.000 0.827 nodecolor
237 newpath 216 376 moveto
238 210 376 204 370 204 364 curveto
240 0.000 0.000 0.827 nodecolor
241 newpath 204 352 moveto
242 204 346 210 340 216 340 curveto
246 0.000 0.000 0.827 nodecolor
247 newpath 204 352 moveto
248 204 346 210 340 216 340 curveto
250 0.000 0.000 0.827 nodecolor
251 newpath 246 340 moveto
252 252 340 258 346 258 352 curveto
256 0.000 0.000 0.827 nodecolor
257 newpath 246 340 moveto
258 252 340 258 346 258 352 curveto
260 0.000 0.000 0.827 nodecolor
261 newpath 258 364 moveto
262 258 370 252 376 246 376 curveto
266 0.000 0.000 0.827 nodecolor
267 newpath 258 364 moveto
268 258 370 252 376 246 376 curveto
272 0.000 0.000 0.000 nodecolor
273 newpath 246 376 moveto
278 0.000 0.000 0.000 nodecolor
279 newpath 216 376 moveto
280 210 376 204 370 204 364 curveto
284 0.000 0.000 0.000 nodecolor
285 newpath 204 364 moveto
290 0.000 0.000 0.000 nodecolor
291 newpath 204 352 moveto
292 204 346 210 340 216 340 curveto
296 0.000 0.000 0.000 nodecolor
297 newpath 216 340 moveto
302 0.000 0.000 0.000 nodecolor
303 newpath 246 340 moveto
304 252 340 258 346 258 352 curveto
308 0.000 0.000 0.000 nodecolor
309 newpath 258 352 moveto
314 0.000 0.000 0.000 nodecolor
315 newpath 258 364 moveto
316 258 370 252 376 246 376 curveto
318 0.000 0.000 0.000 nodecolor
319 16.00 /Times-Roman set_font
322 [4.8 11.52 9.36 9.84]
328 0.000 0.000 0.000 edgecolor
329 newpath 231 406 moveto
330 231 400 231 393 231 386 curveto
334 0.000 0.000 0.000 edgecolor
335 231 410 4 4 ellipse_path stroke
336 0.000 0.000 0.000 edgecolor
337 newpath 234.5 386 moveto
343 0.000 0.000 0.000 edgecolor
344 newpath 234.5 386 moveto
352 0.000 0.000 0.000 edgecolor
353 newpath 258 371 moveto
354 268 372 276 367 276 358 curveto
355 276 352 273 348 268 346 curveto
357 0.000 0.000 0.000 edgecolor
358 newpath 268.299 342.512 moveto
360 267.602 349.478 lineto
364 0.000 0.000 0.000 edgecolor
365 newpath 268.299 342.512 moveto
367 267.602 349.478 lineto
369 0.000 0.000 0.000 edgecolor
370 12.00 /Times-Roman set_font
373 [8.64 8.64 10.56 8.4 6.72 6 7.92 7.44 8.64 3.36]
375 0.000 0.000 0.000 edgecolor
376 12.00 /Times-Roman set_font
379 [8.64 8.64 10.56 8.4 6.72 6 8.4 7.92 8.4]
385 0.000 0.000 0.000 nodecolor
386 newpath 76 273 moveto
390 0.000 0.000 0.000 nodecolor
391 newpath 12 273 moveto
392 6 273 4.38168e-014 267 3.78956e-014 261 curveto
395 0.000 0.000 0.000 nodecolor
396 newpath 3.78956e-014 261 moveto
397 2.60532e-014 249 lineto
400 0.000 0.000 0.000 nodecolor
401 newpath 2.60532e-014 249 moveto
402 2.0132e-014 243 6 237 12 237 curveto
405 0.000 0.000 0.000 nodecolor
406 newpath 12 237 moveto
410 0.000 0.000 0.000 nodecolor
411 newpath 76 237 moveto
412 82 237 88 243 88 249 curveto
415 0.000 0.000 0.000 nodecolor
416 newpath 88 249 moveto
420 0.000 0.000 0.000 nodecolor
421 newpath 88 261 moveto
422 88 267 82 273 76 273 curveto
424 0.000 0.000 0.000 nodecolor
425 16.00 /Times-Roman set_font
428 [14.4 11.28 8.88 8.88 4.8 11.52 11.28]
434 0.000 0.000 0.000 edgecolor
435 newpath 204 354 moveto
436 166 349 99 337 80 322 curveto
437 67 312 58 296 53 282 curveto
439 0.000 0.000 0.000 edgecolor
440 newpath 56.2598 280.717 moveto
442 49.8631 283.56 lineto
446 0.000 0.000 0.000 edgecolor
447 newpath 56.2598 280.717 moveto
449 49.8631 283.56 lineto
451 0.000 0.000 0.000 edgecolor
452 12.00 /Times-Roman set_font
455 [10.56 8.4 6.72 6 7.92 7.44 8.64 3.36]
457 0.000 0.000 0.000 edgecolor
458 12.00 /Times-Roman set_font
466 0.000 0.000 0.827 nodecolor
467 newpath 317 156 moveto
478 0.000 0.000 0.827 nodecolor
479 newpath 317 156 moveto
488 0.000 0.000 0.827 nodecolor
489 newpath 261 156 moveto
490 255 156 249 150 249 144 curveto
494 0.000 0.000 0.827 nodecolor
495 newpath 261 156 moveto
496 255 156 249 150 249 144 curveto
498 0.000 0.000 0.827 nodecolor
499 newpath 249 132 moveto
500 249 126 255 120 261 120 curveto
504 0.000 0.000 0.827 nodecolor
505 newpath 249 132 moveto
506 249 126 255 120 261 120 curveto
508 0.000 0.000 0.827 nodecolor
509 newpath 317 120 moveto
510 323 120 329 126 329 132 curveto
514 0.000 0.000 0.827 nodecolor
515 newpath 317 120 moveto
516 323 120 329 126 329 132 curveto
518 0.000 0.000 0.827 nodecolor
519 newpath 329 144 moveto
520 329 150 323 156 317 156 curveto
524 0.000 0.000 0.827 nodecolor
525 newpath 329 144 moveto
526 329 150 323 156 317 156 curveto
530 0.000 0.000 0.000 nodecolor
531 newpath 317 156 moveto
536 0.000 0.000 0.000 nodecolor
537 newpath 261 156 moveto
538 255 156 249 150 249 144 curveto
542 0.000 0.000 0.000 nodecolor
543 newpath 249 144 moveto
548 0.000 0.000 0.000 nodecolor
549 newpath 249 132 moveto
550 249 126 255 120 261 120 curveto
554 0.000 0.000 0.000 nodecolor
555 newpath 261 120 moveto
560 0.000 0.000 0.000 nodecolor
561 newpath 317 120 moveto
562 323 120 329 126 329 132 curveto
566 0.000 0.000 0.000 nodecolor
567 newpath 329 132 moveto
572 0.000 0.000 0.000 nodecolor
573 newpath 329 144 moveto
574 329 150 323 156 317 156 curveto
576 0.000 0.000 0.000 nodecolor
577 16.00 /Times-Roman set_font
580 [14.4 11.28 8.88 8.88 9.84 11.52]
587 0.000 0.000 0.000 edgecolor
588 newpath 294 156 moveto
589 302 191 314 268 285 322 curveto
590 281 330 274 336 267 341 curveto
592 0.000 0.000 0.000 edgecolor
593 newpath 264.379 338.541 moveto
595 268.262 344.365 lineto
599 0.000 0.000 0.000 edgecolor
600 newpath 264.379 338.541 moveto
602 268.262 344.365 lineto
604 0.000 0.000 0.000 edgecolor
605 12.00 /Times-Roman set_font
608 [8.64 8.64 10.56 8.4 6.72 6.72 7.44 8.64 3.12 6.24 4.08]
610 0.000 0.000 0.000 edgecolor
611 12.00 /Times-Roman set_font
613 (component terminates/)
614 [5.28 6.24 8.88 6 6.24 5.76 5.28 5.76 3.6 3.12 3.6 5.28 4.08 8.88 2.88 5.76 5.28 3.6 5.28 4.56 3.36]
616 0.000 0.000 0.000 edgecolor
617 12.00 /Times-Roman set_font
618 356 236 moveto 5 -0.5 (-) alignedtext
623 0.000 0.000 0.000 edgecolor
624 newpath 318 156 moveto
625 333 159 347 153 347 138 curveto
626 347 127 339 120 328 119 curveto
628 0.000 0.000 0.000 edgecolor
629 newpath 327.602 115.522 moveto
631 328.299 122.488 lineto
635 0.000 0.000 0.000 edgecolor
636 newpath 327.602 115.522 moveto
638 328.299 122.488 lineto
640 0.000 0.000 0.000 edgecolor
641 12.00 /Times-Roman set_font
644 [10.56 8.4 6.72 6 7.92 7.44 8.64 3.36]
646 0.000 0.000 0.000 edgecolor
647 12.00 /Times-Roman set_font
650 [10.56 8.4 6.72 6 8.4 7.92 8.4]
656 0.000 0.000 0.000 nodecolor
657 newpath 419 56 moveto
661 0.000 0.000 0.000 nodecolor
662 newpath 333 56 moveto
663 327 56 321 50 321 44 curveto
666 0.000 0.000 0.000 nodecolor
667 newpath 321 44 moveto
671 0.000 0.000 0.000 nodecolor
672 newpath 321 32 moveto
673 321 26 327 20 333 20 curveto
676 0.000 0.000 0.000 nodecolor
677 newpath 333 20 moveto
681 0.000 0.000 0.000 nodecolor
682 newpath 419 20 moveto
683 425 20 431 26 431 32 curveto
686 0.000 0.000 0.000 nodecolor
687 newpath 431 32 moveto
691 0.000 0.000 0.000 nodecolor
692 newpath 431 44 moveto
693 431 50 425 56 419 56 curveto
695 0.000 0.000 0.000 nodecolor
696 16.00 /Times-Roman set_font
699 [11.52 11.52 14.4 11.28 8.88 8.88 4.8 11.52 11.28]
705 0.000 0.000 0.000 edgecolor
706 newpath 304 120 moveto
707 315 107 330 89 344 74 curveto
708 347 71 350 67 352 64 curveto
710 0.000 0.000 0.000 edgecolor
711 newpath 355.049 65.8306 moveto
713 349.781 61.221 lineto
717 0.000 0.000 0.000 edgecolor
718 newpath 355.049 65.8306 moveto
720 349.781 61.221 lineto
722 0.000 0.000 0.000 edgecolor
723 12.00 /Times-Roman set_font
726 [8.64 8.64 10.56 8.4 6.72 6 7.92 7.44 8.64 3.36]
728 0.000 0.000 0.000 edgecolor
729 12.00 /Times-Roman set_font
732 [8.64 8.64 10.56 8.4 6.72]
739 0.000 0.000 0.000 edgecolor
740 newpath 88 270 moveto
741 105 276 124 284 141 294 curveto
742 158 304 159 310 176 322 curveto
743 182 326 189 331 195 335 curveto
745 0.000 0.000 0.000 edgecolor
746 newpath 193.738 338.365 moveto
748 197.621 332.541 lineto
752 0.000 0.000 0.000 edgecolor
753 newpath 193.738 338.365 moveto
755 197.621 332.541 lineto
757 0.000 0.000 0.000 edgecolor
758 12.00 /Times-Roman set_font
760 (component terminates/)
761 [5.28 6.24 8.88 6 6.24 5.76 5.28 5.76 3.6 3.12 3.6 5.28 4.08 8.88 2.88 5.76 5.28 3.6 5.28 4.56 3.36]
763 0.000 0.000 0.000 edgecolor
764 12.00 /Times-Roman set_font
765 231 296 moveto 5 -0.5 (-) alignedtext
770 0.000 0.000 0.000 edgecolor
771 newpath 82 237 moveto
772 125 216 195 183 242 160 curveto
774 0.000 0.000 0.000 edgecolor
775 newpath 243.283 163.26 moveto
777 240.44 156.863 lineto
781 0.000 0.000 0.000 edgecolor
782 newpath 243.283 163.26 moveto
784 240.44 156.863 lineto
786 0.000 0.000 0.000 edgecolor
787 12.00 /Times-Roman set_font
790 [10.56 8.4 6.72 6.72 7.44 8.64 3.36]
792 0.000 0.000 0.000 edgecolor
793 12.00 /Times-Roman set_font
796 [10.56 8.4 6.72 6 8.4 7.92 8.4]
802 0.000 0.000 0.000 edgecolor
803 newpath 88 265 moveto
804 98 264 106 261 106 255 curveto
805 106 251 103 249 98 247 curveto
807 0.000 0.000 0.000 edgecolor
808 newpath 98.4922 243.529 moveto
810 97.1194 250.393 lineto
814 0.000 0.000 0.000 edgecolor
815 newpath 98.4922 243.529 moveto
817 97.1194 250.393 lineto
819 0.000 0.000 0.000 edgecolor
820 12.00 /Times-Roman set_font
823 [10.56 8.4 6.72 6 7.92 7.44 8.64 3.36]
825 0.000 0.000 0.000 edgecolor
826 12.00 /Times-Roman set_font
827 136 243 moveto 5 -0.5 (-) alignedtext
832 0.000 0.000 0.000 edgecolor
833 newpath 64 273 moveto
834 102 295 167 289 167 255 curveto
835 167 224 112 216 73 232 curveto
837 0.000 0.000 0.000 edgecolor
838 newpath 71.0418 229.084 moveto
840 74.4414 235.203 lineto
844 0.000 0.000 0.000 edgecolor
845 newpath 71.0418 229.084 moveto
847 74.4414 235.203 lineto
849 0.000 0.000 0.000 edgecolor
850 12.00 /Times-Roman set_font
853 [8.64 8.64 10.56 8.4 6.72 6 7.92 7.44 8.64 3.36]
855 0.000 0.000 0.000 edgecolor
856 12.00 /Times-Roman set_font
859 [7.44 7.92 7.92 8.64 7.92]
865 0.000 0.000 0.000 edgecolor
866 newpath 407 56 moveto
867 413 61 419 67 422 74 curveto
868 461 154 465 201 415 276 curveto
869 381 325 311 345 268 353 curveto
871 0.000 0.000 0.000 edgecolor
872 newpath 267.119 349.607 moveto
874 268.492 356.471 lineto
878 0.000 0.000 0.000 edgecolor
879 newpath 267.119 349.607 moveto
881 268.492 356.471 lineto
883 0.000 0.000 0.000 edgecolor
884 12.00 /Times-Roman set_font
887 [8.64 8.64 10.56 8.4 6.72 6.72 7.44 8.64 3.12 6.24 4.08]
889 0.000 0.000 0.000 edgecolor
890 12.00 /Times-Roman set_font
892 (component terminates/)
893 [5.28 6.24 8.88 6 6.24 5.76 5.28 5.76 3.6 3.12 3.6 5.28 4.08 8.88 2.88 5.76 5.28 3.6 5.28 4.56 3.36]
895 0.000 0.000 0.000 edgecolor
896 12.00 /Times-Roman set_font
899 [8.64 8.64 10.56 8.4 6.72 6 8.4 7.92 8.4]
902 % UNMAPPING->UNMAPPING
905 0.000 0.000 0.000 edgecolor
906 newpath 399 56 moveto
907 441 77 510 71 510 38 curveto
908 510 7 450 0 408 16 curveto
910 0.000 0.000 0.000 edgecolor
911 newpath 406.717 12.7402 moveto
913 409.56 19.1369 lineto
917 0.000 0.000 0.000 edgecolor
918 newpath 406.717 12.7402 moveto
920 409.56 19.1369 lineto
922 0.000 0.000 0.000 edgecolor
923 12.00 /Times-Roman set_font
926 [8.64 8.64 10.56 8.4 6.72 6 7.92 7.44 8.64 3.36]
928 0.000 0.000 0.000 edgecolor
929 12.00 /Times-Roman set_font
930 549 26 moveto 5 -0.5 (-) alignedtext
932 % UNMAPPING->UNMAPPING
935 0.000 0.000 0.000 edgecolor
936 newpath 431 47 moveto
937 442 45 449 43 449 38 curveto
938 449 35 446 33 441 31 curveto
940 0.000 0.000 0.000 edgecolor
941 newpath 441.492 27.5292 moveto
943 440.119 34.3933 lineto
947 0.000 0.000 0.000 edgecolor
948 newpath 441.492 27.5292 moveto
950 440.119 34.3933 lineto
952 0.000 0.000 0.000 edgecolor
953 12.00 /Times-Roman set_font
956 [10.56 8.4 6.72 6 7.92 7.44 8.64 3.36]
958 0.000 0.000 0.000 edgecolor
959 12.00 /Times-Roman set_font
962 [7.44 7.92 7.92 8.64 7.92]
972 %%BoundingBox: 36 36 650 496