Mercurial > hg > Papers > 2010 > jsst-shinya

annotate fig3.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 243 194
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 243 194
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 207 158 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 161.5 52.9 moveto 19 (A*) 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 134 127.71 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
197 1 setlinewidth
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
198 filled
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
199 0 0 0 nodecolor
2
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
200 134 127.71 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 126 122.61 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 % q1
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 98 65.35 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 98 65.35 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 90 60.25 moveto 16 (q1) 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->q1
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 129.11 106.93 moveto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
222 126.28 100.95 122.7 94.41 118.96 88.31 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 121.82 86.29 moveto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
226 113.44 79.81 lineto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
227 115.95 90.11 lineto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
228 closepath fill
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
229 1 setlinewidth
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
230 solid
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
231 0 0 0 edgecolor
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
232 newpath 121.82 86.29 moveto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
233 113.44 79.81 lineto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
234 115.95 90.11 lineto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
235 closepath stroke
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
236 0 0 0 edgecolor
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
237 14 /Times-Roman set_font
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
238 125.54 86.52 moveto 19 ('A') alignedtext
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
239 grestore
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
240 % q1->q0
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 1 setlinewidth
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
243 0 0 0 edgecolor
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
244 newpath 102.89 86.13 moveto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
245 105.72 92.11 109.3 98.65 113.04 104.75 curveto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
246 stroke
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
247 0 0 0 edgecolor
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
248 newpath 110.18 106.77 moveto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
249 118.56 113.25 lineto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
250 116.05 102.96 lineto
1
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
251 closepath fill
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
252 1 setlinewidth
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
253 solid
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
254 0 0 0 edgecolor
2
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
255 newpath 110.18 106.77 moveto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
256 118.56 113.25 lineto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
257 116.05 102.96 lineto
1
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
258 closepath stroke
2
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
259 grestore
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
260 % q2
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
261 gsave
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
262 0 0 1 nodecolor
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
263 26 65.35 20.8 20.8 ellipse_path fill
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
264 1 setlinewidth
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
265 filled
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
266 0 0 0 nodecolor
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
267 26 65.35 20.8 20.8 ellipse_path stroke
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 filled
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
270 0 0 0 nodecolor
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
271 26 65.35 24.8 24.8 ellipse_path stroke
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
272 0 0 0 nodecolor
1
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
273 14 /Times-Roman set_font
2
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
274 18 60.25 moveto 16 (q2) 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 % q1->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 1 setlinewidth
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
279 0 0 0 edgecolor
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
280 newpath 76.79 65.35 moveto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
281 71.88 65.35 66.54 65.35 61.21 65.35 curveto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
282 stroke
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
283 0 0 0 edgecolor
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
284 newpath 61.13 61.85 moveto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
285 51.13 65.35 lineto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
286 61.13 68.85 lineto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
287 closepath fill
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
288 1 setlinewidth
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
289 solid
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
290 0 0 0 edgecolor
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
291 newpath 61.13 61.85 moveto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
292 51.13 65.35 lineto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
293 61.13 68.85 lineto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
294 closepath stroke
1
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
295 grestore
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
296 % start
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
297 gsave
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
298 0 0 0 nodecolor
2
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
299 134 3 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
300 1 setlinewidth
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
301 filled
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
302 0 0 0 nodecolor
2
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
303 134 3 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
304 grestore
2
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
305 % start->q1
1
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
306 gsave
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
307 1 setlinewidth
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
308 0 0 0 edgecolor
2
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
309 newpath 132.96 4.8 moveto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
310 130.05 9.84 121.5 24.66 113.58 38.37 curveto
1
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
311 stroke
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
312 0 0 0 edgecolor
2
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
313 newpath 110.51 36.69 moveto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
314 108.54 47.1 lineto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
315 116.57 40.19 lineto
1
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
316 closepath fill
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
317 1 setlinewidth
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
318 solid
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
319 0 0 0 edgecolor
2
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
320 newpath 110.51 36.69 moveto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
321 108.54 47.1 lineto
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents: 1
diff changeset
322 116.57 40.19 lineto
1
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
323 closepath stroke
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
324 grestore
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
325 endpage
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
326 showpage
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
327 grestore
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
328 %%PageTrailer
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
329 %%EndPage: 1
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
330 %%Trailer
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
331 end
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
332 restore
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
333 %%EOF