Mercurial > hg > Papers > 2010 > jsst-shinya

annotate fig1.eps @ 8:8ed65d68caba

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
.
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Tue, 17 Aug 2010 16:44:16 +0900
parents 3bf6db862bc7
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 %!PS-Adobe-3.0 EPSF-3.0
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
2 %%Creator: graphviz version 2.26.3 (20100126.1600)
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
3 %%Title: G
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
4 %%Pages: 1
2
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
5 %%BoundingBox: 36 36 380 125
1
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
6 %%EndComments
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
7 save
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
8 %%BeginProlog
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
9 /DotDict 200 dict def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
10 DotDict begin
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
11
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
12 /setupLatin1 {
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
13 mark
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
14 /EncodingVector 256 array def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
15 EncodingVector 0
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
16
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
17 ISOLatin1Encoding 0 255 getinterval putinterval
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
18 EncodingVector 45 /hyphen put
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
19
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
20 % Set up ISO Latin 1 character encoding
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
21 /starnetISO {
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
22 dup dup findfont dup length dict begin
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
23 { 1 index /FID ne { def }{ pop pop } ifelse
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
24 } forall
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
25 /Encoding EncodingVector def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
26 currentdict end definefont
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
27 } def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
28 /Times-Roman starnetISO def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
29 /Times-Italic starnetISO def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
30 /Times-Bold starnetISO def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
31 /Times-BoldItalic starnetISO def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
32 /Helvetica starnetISO def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
33 /Helvetica-Oblique starnetISO def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
34 /Helvetica-Bold starnetISO def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
35 /Helvetica-BoldOblique starnetISO def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
36 /Courier starnetISO def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
37 /Courier-Oblique starnetISO def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
38 /Courier-Bold starnetISO def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
39 /Courier-BoldOblique starnetISO def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
40 cleartomark
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
41 } bind def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
42
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
43 %%BeginResource: procset graphviz 0 0
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
44 /coord-font-family /Times-Roman def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
45 /default-font-family /Times-Roman def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
46 /coordfont coord-font-family findfont 8 scalefont def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
47
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
48 /InvScaleFactor 1.0 def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
49 /set_scale {
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
50 dup 1 exch div /InvScaleFactor exch def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
51 scale
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
52 } bind def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
53
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
54 % styles
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
55 /solid { [] 0 setdash } bind def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
56 /dashed { [9 InvScaleFactor mul dup ] 0 setdash } bind def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
57 /dotted { [1 InvScaleFactor mul 6 InvScaleFactor mul] 0 setdash } bind def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
58 /invis {/fill {newpath} def /stroke {newpath} def /show {pop newpath} def} bind def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
59 /bold { 2 setlinewidth } bind def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
60 /filled { } bind def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
61 /unfilled { } bind def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
62 /rounded { } bind def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
63 /diagonals { } bind def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
64
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
65 % hooks for setting color
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
66 /nodecolor { sethsbcolor } bind def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
67 /edgecolor { sethsbcolor } bind def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
68 /graphcolor { sethsbcolor } bind def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
69 /nopcolor {pop pop pop} bind def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
70
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
71 /beginpage { % i j npages
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
72 /npages exch def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
73 /j exch def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
74 /i exch def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
75 /str 10 string def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
76 npages 1 gt {
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
77 gsave
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
78 coordfont setfont
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
79 0 0 moveto
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
80 (\() show i str cvs show (,) show j str cvs show (\)) show
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
81 grestore
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
82 } if
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
83 } bind def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
84
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
85 /set_font {
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
86 findfont exch
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
87 scalefont setfont
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
88 } def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
89
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
90 % draw text fitted to its expected width
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
91 /alignedtext { % width text
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
92 /text exch def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
93 /width exch def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
94 gsave
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
95 width 0 gt {
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
96 [] 0 setdash
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
97 text stringwidth pop width exch sub text length div 0 text ashow
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
98 } if
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
99 grestore
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
100 } def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
101
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
102 /boxprim { % xcorner ycorner xsize ysize
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
103 4 2 roll
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
104 moveto
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
105 2 copy
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
106 exch 0 rlineto
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
107 0 exch rlineto
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
108 pop neg 0 rlineto
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
109 closepath
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
110 } bind def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
111
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
112 /ellipse_path {
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
113 /ry exch def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
114 /rx exch def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
115 /y exch def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
116 /x exch def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
117 matrix currentmatrix
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
118 newpath
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
119 x y translate
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
120 rx ry scale
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
121 0 0 1 0 360 arc
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
122 setmatrix
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
123 } bind def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
124
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
125 /endpage { showpage } bind def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
126 /showpage { } def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
127
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
128 /layercolorseq
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
129 [ % layer color sequence - darkest to lightest
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
130 [0 0 0]
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
131 [.2 .8 .8]
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
132 [.4 .8 .8]
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
133 [.6 .8 .8]
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
134 [.8 .8 .8]
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
135 ]
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
136 def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
137
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
138 /layerlen layercolorseq length def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
139
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
140 /setlayer {/maxlayer exch def /curlayer exch def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
141 layercolorseq curlayer 1 sub layerlen mod get
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
142 aload pop sethsbcolor
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
143 /nodecolor {nopcolor} def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
144 /edgecolor {nopcolor} def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
145 /graphcolor {nopcolor} def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
146 } bind def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
147
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
148 /onlayer { curlayer ne {invis} if } def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
149
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
150 /onlayers {
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
151 /myupper exch def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
152 /mylower exch def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
153 curlayer mylower lt
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
154 curlayer myupper gt
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
155 or
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
156 {invis} if
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
157 } def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
158
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
159 /curlayer 0 def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
160
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
161 %%EndResource
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
162 %%EndProlog
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
163 %%BeginSetup
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
164 14 default-font-family set_font
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
165 1 setmiterlimit
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
166 % /arrowlength 10 def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
167 % /arrowwidth 5 def
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
168
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
169 % make sure pdfmark is harmless for PS-interpreters other than Distiller
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
170 /pdfmark where {pop} {userdict /pdfmark /cleartomark load put} ifelse
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
171 % make '<<' and '>>' safe on PS Level 1 devices
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
172 /languagelevel where {pop languagelevel}{1} ifelse
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
173 2 lt {
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
174 userdict (<<) cvn ([) cvn load put
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
175 userdict (>>) cvn ([) cvn load put
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
176 } if
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
177
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
178 %%EndSetup
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
179 setupLatin1
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
180 %%Page: 1 1
2
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
181 %%PageBoundingBox: 36 36 380 125
1
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
182 %%PageOrientation: Portrait
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
183 0 0 1 beginpage
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
184 gsave
2
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
185 36 36 344 89 boxprim clip newpath
1
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
186 1 1 set_scale 0 rotate 40 41 translate
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
187 % regex
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
188 gsave
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
189 0 0 0 nodecolor
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
190 14 /Times-Roman set_font
2
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
191 16.5 12.9 moveto 21 (AB) alignedtext
1
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
192 grestore
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
193 % q0
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
194 gsave
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
195 0 0 1 nodecolor
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
196 113 56 20.8 20.8 ellipse_path fill
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
197 1 setlinewidth
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
198 filled
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
199 0 0 0 nodecolor
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
200 113 56 20.8 20.8 ellipse_path stroke
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
201 0 0 0 nodecolor
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
202 14 /Times-Roman set_font
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
203 105 50.9 moveto 16 (q0) alignedtext
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
204 grestore
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
205 % q1
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
206 gsave
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
207 0 0 1 nodecolor
2
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
208 211 56 20.8 20.8 ellipse_path fill
1
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
209 1 setlinewidth
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
210 filled
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
211 0 0 0 nodecolor
2
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
212 211 56 20.8 20.8 ellipse_path stroke
1
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
213 0 0 0 nodecolor
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
214 14 /Times-Roman set_font
2
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
215 203 50.9 moveto 16 (q1) alignedtext
1
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
216 grestore
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
217 % q0->q1
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
218 gsave
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
219 1 setlinewidth
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
220 0 0 0 edgecolor
2
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
221 newpath 134.26 56 moveto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
222 147.49 56 164.74 56 179.53 56 curveto
1
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
223 stroke
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
224 0 0 0 edgecolor
2
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
225 newpath 179.78 59.5 moveto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
226 189.78 56 lineto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
227 179.78 52.5 lineto
1
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
228 closepath fill
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
229 1 setlinewidth
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
230 solid
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
231 0 0 0 edgecolor
2
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
232 newpath 179.78 59.5 moveto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
233 189.78 56 lineto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
234 179.78 52.5 lineto
1
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
235 closepath stroke
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
236 0 0 0 edgecolor
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
237 14 /Times-Roman set_font
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
238 152.5 58.4 moveto 19 ('A') alignedtext
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
239 grestore
2
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
240 % q2
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
241 gsave
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
242 0 0 1 nodecolor
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
243 311 56 20.8 20.8 ellipse_path fill
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
244 1 setlinewidth
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
245 filled
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
246 0 0 0 nodecolor
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
247 311 56 20.8 20.8 ellipse_path stroke
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
248 1 setlinewidth
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
249 filled
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
250 0 0 0 nodecolor
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
251 311 56 24.8 24.8 ellipse_path stroke
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
252 0 0 0 nodecolor
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
253 14 /Times-Roman set_font
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
254 303 50.9 moveto 16 (q2) alignedtext
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
255 grestore
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
256 % q1->q2
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
257 gsave
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
258 1 setlinewidth
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
259 0 0 0 edgecolor
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
260 newpath 232.21 56 moveto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
261 244.85 56 261.21 56 275.75 56 curveto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
262 stroke
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
263 0 0 0 edgecolor
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
264 newpath 275.94 59.5 moveto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
265 285.94 56 lineto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
266 275.94 52.5 lineto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
267 closepath fill
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
268 1 setlinewidth
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
269 solid
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
270 0 0 0 edgecolor
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
271 newpath 275.94 59.5 moveto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
272 285.94 56 lineto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
273 275.94 52.5 lineto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
274 closepath stroke
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
275 0 0 0 edgecolor
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
276 14 /Times-Roman set_font
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
277 250 58.4 moveto 18 ('B') alignedtext
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
278 grestore
1
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
279 % start
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
280 gsave
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
281 0 0 0 nodecolor
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
282 27 56 1.8 1.8 ellipse_path fill
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
283 1 setlinewidth
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
284 filled
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
285 0 0 0 nodecolor
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
286 27 56 1.8 1.8 ellipse_path stroke
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
287 grestore
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
288 % start->q0
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
289 gsave
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
290 1 setlinewidth
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
291 0 0 0 edgecolor
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
292 newpath 29.13 56 moveto
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
293 36.43 56 61.18 56 81.91 56 curveto
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
294 stroke
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
295 0 0 0 edgecolor
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
296 newpath 81.98 59.5 moveto
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
297 91.98 56 lineto
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
298 81.98 52.5 lineto
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
299 closepath fill
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
300 1 setlinewidth
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
301 solid
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
302 0 0 0 edgecolor
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
303 newpath 81.98 59.5 moveto
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
304 91.98 56 lineto
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
305 81.98 52.5 lineto
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
306 closepath stroke
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
307 grestore
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
308 endpage
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
309 showpage
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
310 grestore
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
311 %%PageTrailer
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
312 %%EndPage: 1
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
313 %%Trailer
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
314 end
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
315 restore
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
316 %%EOF