dfaref.ps

一个类似STL的自动机的源代码库

%	6 -> 8
newpath 630 798 moveto
651 807 686 824 709 835 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 709 832 moveto
717 838 lineto
707 837 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
gsave 10 dict begin
673 827 moveto 4 -0.5 (i) alignedtext
end grestore

%	9
gsave 10 dict begin
bold
733 735 18 18 ellipse_path
stroke
gsave 10 dict begin
733 730 moveto 7 -0.5 (9) alignedtext
end grestore
end grestore

%	6 -> 9
newpath 630 782 moveto
651 773 686 757 709 746 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 707 744 moveto
717 743 lineto
709 749 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
gsave 10 dict begin
673 771 moveto 5 -0.5 (j) alignedtext
end grestore

%	10
gsave 10 dict begin
733 625 18 18 ellipse_path
stroke
gsave 10 dict begin
733 620 moveto 12 -0.5 (10) alignedtext
end grestore
end grestore

%	6 -> 10
newpath 620 773 moveto
647 721 691 669 715 643 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 711 643 moveto
720 638 lineto
715 647 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
gsave 10 dict begin
673 714 moveto 9 -0.5 (k) alignedtext
end grestore

%	13
gsave 10 dict begin
613 569 18 18 ellipse_path
stroke
gsave 10 dict begin
613 564 moveto 11 -0.5 (13) alignedtext
end grestore
end grestore

%	12 -> 13
newpath 508 569 moveto
528 569 562 569 586 569 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 585 567 moveto
595 569 lineto
585 572 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
gsave 10 dict begin
551 574 moveto 5 -0.5 (j) alignedtext
end grestore

%	15
gsave 10 dict begin
489 362 18 18 ellipse_path
stroke
gsave 10 dict begin
489 357 moveto 12 -0.5 (15) alignedtext
end grestore
end grestore

%	14 -> 15
newpath 392 362 moveto
411 362 440 362 461 362 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 460 360 moveto
470 362 lineto
460 365 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
gsave 10 dict begin
430 367 moveto 4 -0.5 (l) alignedtext
end grestore

%	19
gsave 10 dict begin
489 245 18 18 ellipse_path
stroke
gsave 10 dict begin
489 240 moveto 12 -0.5 (19) alignedtext
end grestore
end grestore

%	14 -> 19
newpath 387 348 moveto
408 327 448 286 471 263 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 467 263 moveto
476 258 lineto
471 267 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
gsave 10 dict begin
430 323 moveto 6 -0.5 (r) alignedtext
end grestore

%	16
gsave 10 dict begin
bold
613 352 18 18 ellipse_path
stroke
gsave 10 dict begin
613 347 moveto 12 -0.5 (16) alignedtext
end grestore
end grestore

%	15 -> 16
newpath 508 361 moveto
528 359 562 357 585 355 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 584 353 moveto
594 354 lineto
584 358 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
gsave 10 dict begin
551 361 moveto 14 -0.5 (m) alignedtext
end grestore

%	17
gsave 10 dict begin
733 352 18 18 ellipse_path
stroke
gsave 10 dict begin
733 347 moveto 12 -0.5 (17) alignedtext
end grestore
end grestore

%	15 -> 17
newpath 506 370 moveto
515 373 527 378 537 380 curveto
602 391 622 392 685 376 curveto
694 374 702 370 709 366 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 707 364 moveto
717 362 lineto
709 369 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
gsave 10 dict begin
613 392 moveto 8 -0.5 (o) alignedtext
end grestore

%	16 -> 17
newpath 632 352 moveto
651 352 683 352 705 352 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 704 350 moveto
714 352 lineto
704 355 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
gsave 10 dict begin
673 357 moveto 9 -0.5 (n) alignedtext
end grestore

%	18
gsave 10 dict begin
bold
851 352 18 18 ellipse_path
stroke
gsave 10 dict begin
851 347 moveto 11 -0.5 (18) alignedtext
end grestore
end grestore

%	17 -> 18
newpath 752 352 moveto
771 352 802 352 824 352 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 823 350 moveto
833 352 lineto
823 355 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
gsave 10 dict begin
792 357 moveto 8 -0.5 (p) alignedtext
end grestore

%	18 -> 18
newpath 863 366 moveto
867 377 863 388 851 388 curveto
842 388 838 382 838 375 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 835 376 moveto
839 366 lineto
840 376 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
gsave 10 dict begin
851 393 moveto 8 -0.5 (q) alignedtext
end grestore

%	20
gsave 10 dict begin
613 241 21 21 ellipse_path
stroke
gsave 10 dict begin
613 236 moveto 16 -0.5 (20) alignedtext
end grestore
end grestore

%	19 -> 20
newpath 508 244 moveto
527 243 559 242 583 242 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 582 240 moveto
592 242 lineto
582 245 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
gsave 10 dict begin
551 250 moveto 5 -0.5 (s) alignedtext
end grestore

%	20 -> 17
newpath 629 256 moveto
650 276 688 311 712 333 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 714 332 moveto
720 340 lineto
711 335 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
gsave 10 dict begin
673 312 moveto 4 -0.5 (t) alignedtext
end grestore

%	21 -> 21
newpath 379 122 moveto
381 132 379 141 373 141 curveto
369 141 366 136 366 130 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 363 132 moveto
367 122 lineto
368 132 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
gsave 10 dict begin
373 146 moveto 9 -0.5 (v) alignedtext
end grestore

%	21 -> 21
newpath 387 117 moveto
404 136 399 161 373 161 curveto
350 161 344 142 353 125 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 351 124 moveto
359 117 lineto
355 126 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
gsave 10 dict begin
373 166 moveto 13 -0.5 (w) alignedtext
end grestore

%	22
gsave 10 dict begin
489 105 21 21 ellipse_path
stroke
gsave 10 dict begin
489 100 moveto 16 -0.5 (22) alignedtext
end grestore
end grestore

%	21 -> 22
newpath 392 105 moveto
409 105 437 105 459 105 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 458 103 moveto
468 105 lineto
458 108 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
gsave 10 dict begin
430 110 moveto 8 -0.5 (x) alignedtext
end grestore

%	23
gsave 10 dict begin
613 123 20 20 ellipse_path
stroke
gsave 10 dict begin
613 118 moveto 15 -0.5 (23) alignedtext
end grestore
end grestore

%	22 -> 23
newpath 510 108 moveto
530 111 561 116 584 119 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 583 116 moveto
593 120 lineto
583 121 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
gsave 10 dict begin
551 122 moveto 9 -0.5 (y) alignedtext
end grestore

%	24
gsave 10 dict begin
733 123 21 21 ellipse_path
stroke
gsave 10 dict begin
733 118 moveto 16 -0.5 (24) alignedtext
end grestore
end grestore

%	23 -> 24
newpath 634 123 moveto
653 123 681 123 703 123 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 702 121 moveto
712 123 lineto
702 126 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
gsave 10 dict begin
673 128 moveto 7 -0.5 (z) alignedtext
end grestore

%	25
gsave 10 dict begin
bold
851 67 20 20 ellipse_path
stroke
gsave 10 dict begin
851 62 moveto 15 -0.5 (25) alignedtext
end grestore
end grestore

%	24 -> 25
newpath 752 114 moveto
772 104 802 90 824 80 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 822 78 moveto
832 76 lineto
824 83 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
gsave 10 dict begin
792 106 moveto 7 -0.5 (a) alignedtext
end grestore

%	25 -> 22
newpath 518 102 moveto
539 100 567 97 592 94 curveto
681 85 787 74 830 69 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 520 104 moveto
510 103 lineto
520 99 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
gsave 10 dict begin
673 93 moveto 8 -0.5 (b) alignedtext
end grestore

%	26
gsave 10 dict begin
969 129 21 21 ellipse_path
stroke
gsave 10 dict begin
969 124 moveto 16 -0.5 (26) alignedtext
end grestore
end grestore

%	25 -> 26
newpath 869 77 moveto
889 87 920 104 942 115 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 942 112 moveto
950 119 lineto
940 117 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
gsave 10 dict begin
910 108 moveto 7 -0.5 (c) alignedtext
end grestore

%	27
gsave 10 dict begin
1087 138 21 21 ellipse_path
stroke
gsave 10 dict begin
1087 133 moveto 16 -0.5 (27) alignedtext
end grestore
end grestore

%	26 -> 27
newpath 990 131 moveto
1008 132 1036 134 1057 136 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 1056 134 moveto
1066 136 lineto
1056 139 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
gsave 10 dict begin
1028 140 moveto 8 -0.5 (d) alignedtext
end grestore

%	28
gsave 10 dict begin
bold
1205 123 20 20 ellipse_path
stroke
gsave 10 dict begin
1205 118 moveto 15 -0.5 (28) alignedtext
end grestore
end grestore

%	27 -> 28
newpath 1108 135 moveto
1127 132 1155 129 1175 127 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 1174 125 moveto
1184 126 lineto
1174 130 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
gsave 10 dict begin
1146 138 moveto 7 -0.5 (e) alignedtext
end grestore

%	29
gsave 10 dict begin
1323 69 20 20 ellipse_path
stroke
gsave 10 dict begin
1323 64 moveto 15 -0.5 (29) alignedtext
end grestore
end grestore

%	28 -> 29
newpath 1224 114 moveto
1244 105 1274 91 1296 81 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 1294 79 moveto
1304 77 lineto
1296 84 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
gsave 10 dict begin
1264 107 moveto 7 -0.5 (f) alignedtext
end grestore

%	29 -> 25
newpath 875 52 moveto
899 39 935 22 969 22 curveto
969 22 969 22 1205 22 curveto
1244 22 1284 43 1306 57 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 878 53 moveto
868 56 lineto
875 49 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
gsave 10 dict begin
1087 27 moveto 8 -0.5 (g) alignedtext
end grestore
endpage
grestore
%%PageTrailer
%%EndPage: 1
%%Trailer
%%Pages: 1
end
restore
%%EOF