dfaref.ps

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

%!PS-Adobe-2.0
%%Creator: dot version 1.8.4 (Tue Apr 16 12:47:00 UTC 2002)
%%For: (vince) Vincent Le Maout
%%Title: G
%%Pages: (atend)
%%BoundingBox: 35 35 1389 1013
%%EndComments
save
%%BeginProlog
/DotDict 200 dict def
DotDict begin

/setupLatin1 {
mark
/EncodingVector 256 array def
 EncodingVector 0

ISOLatin1Encoding 0 255 getinterval putinterval

EncodingVector
  dup 306 /AE
  dup 301 /Aacute
  dup 302 /Acircumflex
  dup 304 /Adieresis
  dup 300 /Agrave
  dup 305 /Aring
  dup 303 /Atilde
  dup 307 /Ccedilla
  dup 311 /Eacute
  dup 312 /Ecircumflex
  dup 313 /Edieresis
  dup 310 /Egrave
  dup 315 /Iacute
  dup 316 /Icircumflex
  dup 317 /Idieresis
  dup 314 /Igrave
  dup 334 /Udieresis
  dup 335 /Yacute
  dup 376 /thorn
  dup 337 /germandbls
  dup 341 /aacute
  dup 342 /acircumflex
  dup 344 /adieresis
  dup 346 /ae
  dup 340 /agrave
  dup 345 /aring
  dup 347 /ccedilla
  dup 351 /eacute
  dup 352 /ecircumflex
  dup 353 /edieresis
  dup 350 /egrave
  dup 355 /iacute
  dup 356 /icircumflex
  dup 357 /idieresis
  dup 354 /igrave
  dup 360 /dcroat
  dup 361 /ntilde
  dup 363 /oacute
  dup 364 /ocircumflex
  dup 366 /odieresis
  dup 362 /ograve
  dup 365 /otilde
  dup 370 /oslash
  dup 372 /uacute
  dup 373 /ucircumflex
  dup 374 /udieresis
  dup 371 /ugrave
  dup 375 /yacute
  dup 377 /ydieresis  

% 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
/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
	dup scale
} bind def

% styles
/solid { } 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

% 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 aligned label in bounding box aligned to current point
/alignedtext {			% width adj text
	/text exch def
	/adj exch def
	/width exch def
	gsave
		width 0 gt {
			text stringwidth pop adj mul 0 rmoveto
		} if
		[] 0 setdash
		text show
	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

/layercolorseq
	[	% layer color sequence - darkest to lightest
		[0 0 0]
		[.2 .8 .8]
		[.4 .8 .8]
		[.6 .8 .8]
		[.8 .8 .8]
	]
def

/setlayer {/maxlayer exch def /curlayer exch def
	layercolorseq curlayer 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
%%Page: 1 1
%%PageBoundingBox: 36 36 1389 1013
%%PageOrientation: Portrait
gsave
35 35 1354 978 boxprim clip newpath
36 36 translate
0 0 1 beginpage
0 0 translate 0 rotate
0.000 0.000 0.000 graphcolor
14.00 /Times-Roman set_font

%	1
gsave 10 dict begin
bold
30 518 18 18 ellipse_path
stroke
30 518 22 22 ellipse_path
stroke
gsave 10 dict begin
30 513 moveto 4 -0.5 (1) alignedtext
end grestore
end grestore

%	1 -> 1
newpath 45 535 moveto
49 546 44 558 30 558 curveto
20 558 14 551 14 544 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 11 545 moveto
15 535 lineto
16 545 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
gsave 10 dict begin
30 563 moveto 8 -0.5 (b) alignedtext
end grestore

%	2
gsave 10 dict begin
146 459 18 18 ellipse_path
stroke
gsave 10 dict begin
146 454 moveto 8 -0.5 (2) alignedtext
end grestore
end grestore

%	1 -> 2
newpath 50 508 moveto
70 497 101 482 122 471 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 120 469 moveto
130 467 lineto
122 474 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
gsave 10 dict begin
90 498 moveto 7 -0.5 (a) alignedtext
end grestore

%	4
gsave 10 dict begin
373 569 18 18 ellipse_path
stroke
gsave 10 dict begin
373 564 moveto 8 -0.5 (4) alignedtext
end grestore
end grestore

%	1 -> 4
newpath 52 521 moveto
113 531 281 556 347 565 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 345 562 moveto
355 566 lineto
345 567 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
gsave 10 dict begin
202 549 moveto 8 -0.5 (d) alignedtext
end grestore

%	3
gsave 10 dict begin
bold
258 362 18 18 ellipse_path
stroke
gsave 10 dict begin
258 357 moveto 7 -0.5 (3) alignedtext
end grestore
end grestore

%	2 -> 3
newpath 160 447 moveto
180 430 215 400 237 380 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 235 379 moveto
244 374 lineto
238 382 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
gsave 10 dict begin
202 423 moveto 8 -0.5 (b) alignedtext
end grestore

%	3 -> 2
newpath 153 432 moveto
162 407 167 395 191 377 curveto
205 367 225 363 240 362 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 156 432 moveto
150 441 lineto
151 431 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
gsave 10 dict begin
202 382 moveto 7 -0.5 (c) alignedtext
end grestore

%	3 -> 4
newpath 267 378 moveto
287 413 336 501 359 544 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 361 543 moveto
364 553 lineto
357 545 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
gsave 10 dict begin
315 487 moveto 7 -0.5 (e) alignedtext
end grestore

%	14
gsave 10 dict begin
373 362 19 19 ellipse_path
stroke
gsave 10 dict begin
373 357 moveto 13 -0.5 (14) alignedtext
end grestore
end grestore

%	3 -> 14
newpath 276 362 moveto
295 362 323 362 345 362 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 344 360 moveto
354 362 lineto
344 365 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
gsave 10 dict begin
315 367 moveto 9 -0.5 (k) alignedtext
end grestore

%	21
gsave 10 dict begin
bold
373 105 18 18 ellipse_path
stroke
gsave 10 dict begin
373 100 moveto 12 -0.5 (21) alignedtext
end grestore
end grestore

%	3 -> 21
newpath 265 346 moveto
285 301 340 179 363 129 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 360 130 moveto
366 122 lineto
364 132 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
gsave 10 dict begin
315 271 moveto 9 -0.5 (u) alignedtext
end grestore

%	5
gsave 10 dict begin
489 680 18 18 ellipse_path
stroke
gsave 10 dict begin
489 675 moveto 7 -0.5 (5) alignedtext
end grestore
end grestore

%	4 -> 5
newpath 386 582 moveto
407 601 445 638 469 660 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 471 658 moveto
476 667 lineto
467 662 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
gsave 10 dict begin
430 636 moveto 7 -0.5 (f) alignedtext
end grestore

%	12
gsave 10 dict begin
bold
489 569 18 18 ellipse_path
stroke
gsave 10 dict begin
489 564 moveto 12 -0.5 (12) alignedtext
end grestore
end grestore

%	4 -> 12
newpath 391 569 moveto
410 569 440 569 461 569 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 460 567 moveto
470 569 lineto
460 572 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
gsave 10 dict begin
430 574 moveto 4 -0.5 (i) alignedtext
end grestore

%	6
gsave 10 dict begin
613 790 18 18 ellipse_path
stroke
gsave 10 dict begin
613 785 moveto 7 -0.5 (6) alignedtext
end grestore
end grestore

%	5 -> 6
newpath 503 692 moveto
525 711 566 748 591 771 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 593 770 moveto
599 778 lineto
590 773 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
gsave 10 dict begin
551 750 moveto 8 -0.5 (g) alignedtext
end grestore

%	11
gsave 10 dict begin
bold
613 680 18 18 ellipse_path
stroke
gsave 10 dict begin
613 675 moveto 9 -0.5 (11) alignedtext
end grestore
end grestore

%	5 -> 11
newpath 507 680 moveto
527 680 562 680 586 680 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 585 678 moveto
595 680 lineto
585 683 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
gsave 10 dict begin
551 685 moveto 9 -0.5 (h) alignedtext
end grestore

%	7
gsave 10 dict begin
bold
733 956 18 18 ellipse_path
stroke
gsave 10 dict begin
733 951 moveto 7 -0.5 (7) alignedtext
end grestore
end grestore

%	6 -> 7
newpath 620 807 moveto
647 860 692 912 715 938 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 715 934 moveto
720 943 lineto
711 938 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
gsave 10 dict begin
673 905 moveto 9 -0.5 (h) alignedtext
end grestore

%	8
gsave 10 dict begin
733 846 18 18 ellipse_path
stroke
gsave 10 dict begin
733 841 moveto 7 -0.5 (8) alignedtext
end grestore
end grestore