Mercurial > hg > Papers > 2010 > jsst-shinya

annotate fig4.eps @ 15:b3b5bcbba089

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add slide: presen/index.html
author Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
date Sat, 11 Sep 2010 23:46:30 +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 392 201
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 392 201
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 356 165 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 8 29.9 moveto 50 (\(A|B\)*C) 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
2
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
196 33 125 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 33 125 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 25 119.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 143 82 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 143 82 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 135 76.9 moveto 16 (q3) alignedtext
1
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
216 grestore
2
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
217 % q0->q3
1
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 52.67 117.31 moveto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
222 69.61 110.69 94.32 101.03 113.61 93.49 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 115.09 96.67 moveto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
226 123.13 89.77 lineto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
227 112.55 90.15 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 115.09 96.67 moveto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
233 123.13 89.77 lineto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
234 112.55 90.15 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
2
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
238 84.5 106.4 moveto 19 ('A') alignedtext
1
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 % q1
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 323 105 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 323 105 20.8 20.8 ellipse_path stroke
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
248 0 0 0 nodecolor
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
249 14 /Times-Roman set_font
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
250 315 99.9 moveto 16 (q1) alignedtext
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
251 grestore
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
252 % q1->q3
1
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
253 gsave
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
254 1 setlinewidth
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
255 0 0 0 edgecolor
2
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
256 newpath 302.28 100.82 moveto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
257 286.39 97.74 263.88 93.64 244 91 curveto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
258 220.78 87.91 194.4 85.6 174.43 84.1 curveto
1
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
259 stroke
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
260 0 0 0 edgecolor
2
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
261 newpath 174.57 80.6 moveto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
262 164.34 83.36 lineto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
263 174.06 87.58 lineto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
264 closepath fill
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
265 1 setlinewidth
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
266 solid
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
267 0 0 0 edgecolor
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
268 newpath 174.57 80.6 moveto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
269 164.34 83.36 lineto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
270 174.06 87.58 lineto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
271 closepath stroke
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
272 0 0 0 edgecolor
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
273 14 /Times-Roman set_font
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
274 214 93.4 moveto 18 ('B') alignedtext
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
275 grestore
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
276 % q2
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
277 gsave
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
278 0 0 1 nodecolor
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
279 223 136 20.8 20.8 ellipse_path fill
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
280 1 setlinewidth
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
281 filled
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
282 0 0 0 nodecolor
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
283 223 136 20.8 20.8 ellipse_path stroke
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
284 0 0 0 nodecolor
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
285 14 /Times-Roman set_font
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
286 215 130.9 moveto 16 (q2) alignedtext
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
287 grestore
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
288 % q2->q0
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
289 gsave
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
290 1 setlinewidth
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
291 0 0 0 edgecolor
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
292 newpath 201.85 134.78 moveto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
293 168.4 132.84 103.14 129.06 64.27 126.81 curveto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
294 stroke
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
295 0 0 0 edgecolor
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
296 newpath 64.24 123.3 moveto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
297 54.06 126.22 lineto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
298 63.84 130.29 lineto
1
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
2
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
303 newpath 64.24 123.3 moveto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
304 54.06 126.22 lineto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
305 63.84 130.29 lineto
1
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
306 closepath stroke
2
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
307 grestore
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
308 % q2->q1
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
309 gsave
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
310 1 setlinewidth
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
311 0 0 0 edgecolor
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
312 newpath 243.24 129.73 moveto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
313 257.47 125.31 276.76 119.33 292.8 114.36 curveto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
314 stroke
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
315 0 0 0 edgecolor
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
316 newpath 294.28 117.57 moveto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
317 302.79 111.26 lineto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
318 292.21 110.88 lineto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
319 closepath fill
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
320 1 setlinewidth
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
321 solid
1
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
322 0 0 0 edgecolor
2
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
323 newpath 294.28 117.57 moveto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
324 302.79 111.26 lineto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
325 292.21 110.88 lineto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
326 closepath stroke
1
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
327 grestore
2
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
328 % q3->q2
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
329 gsave
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
330 1 setlinewidth
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
331 0 0 0 edgecolor
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
332 newpath 160.75 93.98 moveto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
333 171.39 101.16 185.11 110.42 196.96 118.42 curveto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
334 stroke
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
335 0 0 0 edgecolor
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
336 newpath 195.32 121.54 moveto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
337 205.57 124.23 lineto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
338 199.24 115.74 lineto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
339 closepath fill
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
340 1 setlinewidth
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
341 solid
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
342 0 0 0 edgecolor
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
343 newpath 195.32 121.54 moveto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
344 205.57 124.23 lineto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
345 199.24 115.74 lineto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
346 closepath stroke
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
347 grestore
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
348 % q4
1
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
349 gsave
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
350 0 0 1 nodecolor
2
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
351 223 25 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
352 1 setlinewidth
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
353 filled
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
354 0 0 0 nodecolor
2
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
355 223 25 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
356 0 0 0 nodecolor
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
357 14 /Times-Roman set_font
2
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
358 215 19.9 moveto 16 (q4) alignedtext
1
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
359 grestore
2
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
360 % q3->q4
1
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
361 gsave
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
362 1 setlinewidth
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
363 0 0 0 edgecolor
2
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
364 newpath 160.36 69.63 moveto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
365 171.16 61.94 185.24 51.91 197.31 43.3 curveto
1
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
366 stroke
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
367 0 0 0 edgecolor
2
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
368 newpath 199.56 46 moveto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
369 205.68 37.34 lineto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
370 195.5 40.3 lineto
1
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
371 closepath fill
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
372 1 setlinewidth
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
373 solid
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
374 0 0 0 edgecolor
2
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
375 newpath 199.56 46 moveto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
376 205.68 37.34 lineto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
377 195.5 40.3 lineto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
378 closepath stroke
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
379 grestore
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
380 % q5
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
381 gsave
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
382 0 0 1 nodecolor
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
383 323 25 20.8 20.8 ellipse_path fill
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
384 1 setlinewidth
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
385 filled
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
386 0 0 0 nodecolor
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
387 323 25 20.8 20.8 ellipse_path stroke
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
388 1 setlinewidth
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
389 filled
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
390 0 0 0 nodecolor
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
391 323 25 24.8 24.8 ellipse_path stroke
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
392 0 0 0 nodecolor
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
393 14 /Times-Roman set_font
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
394 315 19.9 moveto 16 (q5) alignedtext
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
395 grestore
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
396 % q4->q5
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
397 gsave
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
398 1 setlinewidth
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
399 0 0 0 edgecolor
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
400 newpath 244.21 25 moveto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
401 256.85 25 273.21 25 287.75 25 curveto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
402 stroke
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
403 0 0 0 edgecolor
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
404 newpath 287.94 28.5 moveto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
405 297.94 25 lineto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
406 287.94 21.5 lineto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
407 closepath fill
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
408 1 setlinewidth
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
409 solid
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
410 0 0 0 edgecolor
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
411 newpath 287.94 28.5 moveto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
412 297.94 25 lineto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
413 287.94 21.5 lineto
1
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
414 closepath stroke
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
415 0 0 0 edgecolor
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
416 14 /Times-Roman set_font
2
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
417 262 27.4 moveto 18 ('C') alignedtext
1
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
418 grestore
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
419 % start
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
420 gsave
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
421 0 0 0 nodecolor
2
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
422 33 73 1.8 1.8 ellipse_path fill
1
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
423 1 setlinewidth
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
424 filled
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
425 0 0 0 nodecolor
2
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
426 33 73 1.8 1.8 ellipse_path stroke
1
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
427 grestore
2
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
428 % start->q3
1
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
429 gsave
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
430 1 setlinewidth
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
431 0 0 0 edgecolor
2
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
432 newpath 34.91 73.16 moveto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
433 43.95 73.9 83.25 77.11 111.86 79.45 curveto
1
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
434 stroke
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
435 0 0 0 edgecolor
2
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
436 newpath 111.59 82.94 moveto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
437 121.84 80.27 lineto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
438 112.16 75.96 lineto
1
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
439 closepath fill
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
440 1 setlinewidth
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
441 solid
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
442 0 0 0 edgecolor
2
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
443 newpath 111.59 82.94 moveto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
444 121.84 80.27 lineto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
445 112.16 75.96 lineto
1
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
446 closepath stroke
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
447 grestore
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
448 endpage
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
449 showpage
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
450 grestore
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
451 %%PageTrailer
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
452 %%EndPage: 1
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
453 %%Trailer
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
454 end
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
455 restore
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
456 %%EOF