Mercurial > hg > Papers > 2010 > jsst-shinya

comparison fig4.eps @ 1:e79cdc772194

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