Mercurial > hg > Papers > 2010 > jsst-shinya

annotate fig3.eps @ 1:e79cdc772194

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add nfa figs
author Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
date Thu, 12 Aug 2010 04:55:49 +0900
parents
children 3bf6db862bc7
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
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
5 %%BoundingBox: 36 36 186 158
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
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
181 %%PageBoundingBox: 36 36 186 158
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
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
185 36 36 150 122 boxprim clip newpath
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 17.5 12.9 moveto 19 (A*) 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
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
196 117 56 20.8 20.8 ellipse_path fill
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
197 1 setlinewidth
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
198 filled
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
199 0 0 0 nodecolor
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
200 117 56 20.8 20.8 ellipse_path stroke
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
201 1 setlinewidth
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
202 filled
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
203 0 0 0 nodecolor
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
204 117 56 24.8 24.8 ellipse_path stroke
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
205 0 0 0 nodecolor
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
206 14 /Times-Roman set_font
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
207 109 50.9 moveto 16 (q0) alignedtext
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
208 grestore
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
209 % q0->q0
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
210 gsave
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
211 1 setlinewidth
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
212 0 0 0 edgecolor
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
213 newpath 108.85 79.88 moveto
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
214 108.18 90.18 110.9 99 117 99 curveto
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
215 120.91 99 123.43 95.38 124.56 90.07 curveto
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
216 stroke
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
217 0 0 0 edgecolor
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
218 newpath 128.07 90.06 moveto
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
219 125.15 79.88 lineto
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
220 121.08 89.66 lineto
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
221 closepath fill
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
222 1 setlinewidth
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
223 solid
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
224 0 0 0 edgecolor
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
225 newpath 128.07 90.06 moveto
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
226 125.15 79.88 lineto
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
227 121.08 89.66 lineto
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
228 closepath stroke
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
229 0 0 0 edgecolor
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
230 14 /Times-Roman set_font
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
231 107.5 101.4 moveto 19 ('A') alignedtext
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
232 grestore
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
233 % start
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
234 gsave
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
235 0 0 0 nodecolor
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
236 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
237 1 setlinewidth
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
238 filled
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
239 0 0 0 nodecolor
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
240 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
241 grestore
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
242 % start->q0
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
243 gsave
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
244 1 setlinewidth
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
245 0 0 0 edgecolor
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
246 newpath 28.88 56 moveto
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
247 35.73 56 60.11 56 81.49 56 curveto
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
248 stroke
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
249 0 0 0 edgecolor
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
250 newpath 81.65 59.5 moveto
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
251 91.65 56 lineto
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
252 81.65 52.5 lineto
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
253 closepath fill
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 solid
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
256 0 0 0 edgecolor
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
257 newpath 81.65 59.5 moveto
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
258 91.65 56 lineto
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
259 81.65 52.5 lineto
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
260 closepath stroke
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
261 grestore
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
262 endpage
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
263 showpage
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
264 grestore
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
265 %%PageTrailer
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
266 %%EndPage: 1
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
267 %%Trailer
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
268 end
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
269 restore
e79cdc772194 add nfa figs
Ryoma SHINYA <shinya@firefly.cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
270 %%EOF