Mercurial > hg > Papers > 2010 > jsst-shinya

annotate fig2.eps @ 19:df4ce962e5ce

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
smallize complex-regex
author Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
date Mon, 13 Sep 2010 12:18:26 +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 364 160
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 364 160
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 328 124 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
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
191 15 12.9 moveto 24 (A|B) alignedtext
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
2
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
196 193 95 20.8 20.8 ellipse_path fill
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
197 1 setlinewidth
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
198 filled
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
199 0 0 0 nodecolor
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
200 193 95 20.8 20.8 ellipse_path stroke
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
201 0 0 0 nodecolor
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
202 14 /Times-Roman set_font
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
203 185 89.9 moveto 16 (q0) alignedtext
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
204 grestore
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
205 % q3
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
206 gsave
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
207 0 0 1 nodecolor
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
208 295 67 20.8 20.8 ellipse_path fill
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
209 1 setlinewidth
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
210 filled
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
211 0 0 0 nodecolor
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
212 295 67 20.8 20.8 ellipse_path stroke
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
213 1 setlinewidth
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
214 filled
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
215 0 0 0 nodecolor
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
216 295 67 24.8 24.8 ellipse_path stroke
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
217 0 0 0 nodecolor
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
218 14 /Times-Roman set_font
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
219 287 61.9 moveto 16 (q3) alignedtext
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
220 grestore
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
221 % q0->q3
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
222 gsave
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
223 1 setlinewidth
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
224 0 0 0 edgecolor
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
225 newpath 213.64 89.33 moveto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
226 227.2 85.61 245.27 80.65 260.93 76.35 curveto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
227 stroke
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
228 0 0 0 edgecolor
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
229 newpath 262.09 79.66 moveto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
230 270.8 73.64 lineto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
231 260.23 72.91 lineto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
232 closepath fill
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
233 1 setlinewidth
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
234 solid
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
235 0 0 0 edgecolor
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
236 newpath 262.09 79.66 moveto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
237 270.8 73.64 lineto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
238 260.23 72.91 lineto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
239 closepath stroke
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
240 0 0 0 edgecolor
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
241 14 /Times-Roman set_font
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
242 232.5 85.4 moveto 19 ('A') alignedtext
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
243 grestore
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
244 % q1
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
245 gsave
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
246 0 0 1 nodecolor
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
247 193 35 20.8 20.8 ellipse_path fill
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 193 35 20.8 20.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 185 29.9 moveto 16 (q1) 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->q3
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 213.15 41.32 moveto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
261 226.77 45.6 245.1 51.34 260.95 56.32 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 260.35 59.8 moveto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
265 270.94 59.45 lineto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
266 262.45 53.12 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 260.35 59.8 moveto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
272 270.94 59.45 lineto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
273 262.45 53.12 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 233 54.4 moveto 18 ('B') alignedtext
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
278 grestore
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
279 % q2
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
280 gsave
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
281 0 0 1 nodecolor
1
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
282 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
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 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
287 0 0 0 nodecolor
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
288 14 /Times-Roman set_font
2
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
289 105 50.9 moveto 16 (q2) alignedtext
1
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
290 grestore
2
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
291 % q2->q0
1
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
292 gsave
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
293 1 setlinewidth
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
294 0 0 0 edgecolor
2
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
295 newpath 131.96 65.24 moveto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
296 141.75 70.02 153.89 75.94 164.77 81.24 curveto
1
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
297 stroke
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
298 0 0 0 edgecolor
2
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
299 newpath 163.38 84.45 moveto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
300 173.9 85.69 lineto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
301 166.44 78.16 lineto
1
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
302 closepath fill
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
303 1 setlinewidth
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
304 solid
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
305 0 0 0 edgecolor
2
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
306 newpath 163.38 84.45 moveto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
307 173.9 85.69 lineto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
308 166.44 78.16 lineto
1
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
309 closepath stroke
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
310 grestore
2
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
311 % q2->q1
1
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
312 gsave
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
313 1 setlinewidth
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
314 0 0 0 edgecolor
2
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
315 newpath 133.6 50.59 moveto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
316 142.47 48.26 153.01 45.5 162.73 42.94 curveto
1
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
317 stroke
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
318 0 0 0 edgecolor
2
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
319 newpath 163.68 46.31 moveto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
320 172.47 40.39 lineto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
321 161.91 39.54 lineto
1
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
322 closepath fill
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
323 1 setlinewidth
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
324 solid
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
325 0 0 0 edgecolor
2
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
326 newpath 163.68 46.31 moveto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
327 172.47 40.39 lineto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
328 161.91 39.54 lineto
1
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
329 closepath stroke
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
330 grestore
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
331 % start
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
332 gsave
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
333 0 0 0 nodecolor
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
334 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
335 1 setlinewidth
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
336 filled
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
337 0 0 0 nodecolor
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
338 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
339 grestore
2
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
340 % start->q2
1
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
341 gsave
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
342 1 setlinewidth
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
343 0 0 0 edgecolor
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
344 newpath 29.13 56 moveto
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
345 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
346 stroke
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
347 0 0 0 edgecolor
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
348 newpath 81.98 59.5 moveto
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
349 91.98 56 lineto
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
350 81.98 52.5 lineto
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
351 closepath fill
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
352 1 setlinewidth
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
353 solid
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
354 0 0 0 edgecolor
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
355 newpath 81.98 59.5 moveto
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
356 91.98 56 lineto
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
357 81.98 52.5 lineto
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
358 closepath stroke
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
359 grestore
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
360 endpage
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
361 showpage
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
362 grestore
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
363 %%PageTrailer
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
364 %%EndPage: 1
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
365 %%Trailer
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
366 end
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
367 restore
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
368 %%EOF