]> AND Private Git Repository - cours-maths-dis.git/blob - automates/automate-1.eps
Logo AND Algorithmique Numérique Distribuée

Private GIT Repository
modifs main et arithmétiques
[cours-maths-dis.git] / automates / automate-1.eps
1 %!PS-Adobe-2.0
2 %%Creator: dot version 2.8 (Wed Dec 20 14:50:18 UTC 2006)
3 %%For: (christophe) guyeux,,,
4 %%Title: (A)
5 %%Pages: (atend)
6 %%BoundingBox: 36 36 126 179
7 %%EndComments
8 save
9 %%BeginProlog
10 /DotDict 200 dict def
11 DotDict begin
12
13 /setupLatin1 {
14 mark
15 /EncodingVector 256 array def
16  EncodingVector 0
17
18 ISOLatin1Encoding 0 255 getinterval putinterval
19 EncodingVector 45 /hyphen put
20
21 % Set up ISO Latin 1 character encoding
22 /starnetISO {
23         dup dup findfont dup length dict begin
24         { 1 index /FID ne { def }{ pop pop } ifelse
25         } forall
26         /Encoding EncodingVector def
27         currentdict end definefont
28 } def
29 /Times-Roman starnetISO def
30 /Times-Italic starnetISO def
31 /Times-Bold starnetISO def
32 /Times-BoldItalic starnetISO def
33 /Helvetica starnetISO def
34 /Helvetica-Oblique starnetISO def
35 /Helvetica-Bold starnetISO def
36 /Helvetica-BoldOblique starnetISO def
37 /Courier starnetISO def
38 /Courier-Oblique starnetISO def
39 /Courier-Bold starnetISO def
40 /Courier-BoldOblique starnetISO def
41 cleartomark
42 } bind def
43
44 %%BeginResource: procset graphviz 0 0
45 /coord-font-family /Times-Roman def
46 /default-font-family /Times-Roman def
47 /coordfont coord-font-family findfont 8 scalefont def
48
49 /InvScaleFactor 1.0 def
50 /set_scale {
51         dup 1 exch div /InvScaleFactor exch def
52         dup scale
53 } bind def
54
55 % styles
56 /solid { [] 0 setdash } bind def
57 /dashed { [9 InvScaleFactor mul dup ] 0 setdash } bind def
58 /dotted { [1 InvScaleFactor mul 6 InvScaleFactor mul] 0 setdash } bind def
59 /invis {/fill {newpath} def /stroke {newpath} def /show {pop newpath} def} bind def
60 /bold { 2 setlinewidth } bind def
61 /filled { } bind def
62 /unfilled { } bind def
63 /rounded { } bind def
64 /diagonals { } bind def
65
66 % hooks for setting color 
67 /nodecolor { sethsbcolor } bind def
68 /edgecolor { sethsbcolor } bind def
69 /graphcolor { sethsbcolor } bind def
70 /nopcolor {pop pop pop} bind def
71
72 /beginpage {    % i j npages
73         /npages exch def
74         /j exch def
75         /i exch def
76         /str 10 string def
77         npages 1 gt {
78                 gsave
79                         coordfont setfont
80                         0 0 moveto
81                         (\() show i str cvs show (,) show j str cvs show (\)) show
82                 grestore
83         } if
84 } bind def
85
86 /set_font {
87         findfont exch
88         scalefont setfont
89 } def
90
91 % draw aligned label in bounding box aligned to current point
92 /alignedtext {                  % width adj text
93         /text exch def
94         /adj exch def
95         /width exch def
96         gsave
97                 width 0 gt {
98                         text stringwidth pop adj mul 0 rmoveto
99                 } if
100                 [] 0 setdash
101                 text show
102         grestore
103 } def
104
105 /boxprim {                              % xcorner ycorner xsize ysize
106                 4 2 roll
107                 moveto
108                 2 copy
109                 exch 0 rlineto
110                 0 exch rlineto
111                 pop neg 0 rlineto
112                 closepath
113 } bind def
114
115 /ellipse_path {
116         /ry exch def
117         /rx exch def
118         /y exch def
119         /x exch def
120         matrix currentmatrix
121         newpath
122         x y translate
123         rx ry scale
124         0 0 1 0 360 arc
125         setmatrix
126 } bind def
127
128 /endpage { showpage } bind def
129 /showpage { } def
130
131 /layercolorseq
132         [       % layer color sequence - darkest to lightest
133                 [0 0 0]
134                 [.2 .8 .8]
135                 [.4 .8 .8]
136                 [.6 .8 .8]
137                 [.8 .8 .8]
138         ]
139 def
140
141 /layerlen layercolorseq length def
142
143 /setlayer {/maxlayer exch def /curlayer exch def
144         layercolorseq curlayer 1 sub layerlen mod get
145         aload pop sethsbcolor
146         /nodecolor {nopcolor} def
147         /edgecolor {nopcolor} def
148         /graphcolor {nopcolor} def
149 } bind def
150
151 /onlayer { curlayer ne {invis} if } def
152
153 /onlayers {
154         /myupper exch def
155         /mylower exch def
156         curlayer mylower lt
157         curlayer myupper gt
158         or
159         {invis} if
160 } def
161
162 /curlayer 0 def
163
164 %%EndResource
165 %%EndProlog
166 %%BeginSetup
167 14 default-font-family set_font
168 1 setmiterlimit
169 % /arrowlength 10 def
170 % /arrowwidth 5 def
171
172 % make sure pdfmark is harmless for PS-interpreters other than Distiller
173 /pdfmark where {pop} {userdict /pdfmark /cleartomark load put} ifelse
174 % make '<<' and '>>' safe on PS Level 1 devices
175 /languagelevel where {pop languagelevel}{1} ifelse
176 2 lt {
177     userdict (<<) cvn ([) cvn load put
178     userdict (>>) cvn ([) cvn load put
179 } if
180
181 %%EndSetup
182 %%Page: 1 1
183 %%PageBoundingBox: 36 36 126 179
184 %%PageOrientation: Portrait
185 gsave
186 36 36 90 143 boxprim clip newpath
187 36 36 translate
188 0 0 1 beginpage
189 1.0000 set_scale
190 4 4 translate 0 rotate
191 0.000 0.000 1.000 graphcolor
192 0.000 0.000 1.000 graphcolor
193 newpath -6 -6 moveto
194 -6 141 lineto
195 88 141 lineto
196 88 -6 lineto
197 closepath
198 fill
199 0.000 0.000 1.000 graphcolor
200 newpath -6 -6 moveto
201 -6 141 lineto
202 88 141 lineto
203 88 -6 lineto
204 closepath
205 stroke
206 0.000 0.000 0.000 graphcolor
207 14.00 /Times-Roman set_font
208 % n0
209 gsave 10 dict begin
210 newpath 57 108 moveto
211 57 122 lineto
212 41 133 lineto
213 19 133 lineto
214 3 122 lineto
215 3 108 lineto
216 19 97 lineto
217 41 97 lineto
218 closepath
219 stroke
220 gsave 10 dict begin
221 30 110 moveto 8.0 -0.5 (0) alignedtext
222 end grestore
223 end grestore
224 % n0->n0
225 newpath 48 129 moveto
226 61 135 75 130 75 115 curveto
227 75 104 67 98 58 99 curveto
228 stroke
229 gsave 10 dict begin
230 solid
231 1 setlinewidth
232 0.000 0.000 0.000 edgecolor
233 newpath 57 96 moveto
234 48 101 lineto
235 58 102 lineto
236 closepath
237 fill
238 0.000 0.000 0.000 edgecolor
239 newpath 57 96 moveto
240 48 101 lineto
241 58 102 lineto
242 closepath
243 stroke
244 end grestore
245 gsave 10 dict begin
246 78 110 moveto 7.0 -0.5 (a) alignedtext
247 end grestore
248 % n1
249 gsave 10 dict begin
250 30 22 18 18 ellipse_path
251 stroke
252 30 22 22 22 ellipse_path
253 stroke
254 gsave 10 dict begin
255 30 17 moveto 8.0 -0.5 (1) alignedtext
256 end grestore
257 end grestore
258 % n0->n1
259 newpath 24 96 moveto
260 22 90 20 84 19 78 curveto
261 18 70 19 61 21 53 curveto
262 stroke
263 gsave 10 dict begin
264 solid
265 1 setlinewidth
266 0.000 0.000 0.000 edgecolor
267 newpath 24 53 moveto
268 23 43 lineto
269 18 52 lineto
270 closepath
271 fill
272 0.000 0.000 0.000 edgecolor
273 newpath 24 53 moveto
274 23 43 lineto
275 18 52 lineto
276 closepath
277 stroke
278 end grestore
279 gsave 10 dict begin
280 27 65 moveto 9.0 -0.5 (b) alignedtext
281 end grestore
282 % n1->n0
283 newpath 30 44 moveto
284 30 57 30 73 30 87 curveto
285 stroke
286 gsave 10 dict begin
287 solid
288 1 setlinewidth
289 0.000 0.000 0.000 edgecolor
290 newpath 27 87 moveto
291 30 97 lineto
292 34 87 lineto
293 closepath
294 fill
295 0.000 0.000 0.000 edgecolor
296 newpath 27 87 moveto
297 30 97 lineto
298 34 87 lineto
299 closepath
300 stroke
301 end grestore
302 endpage
303 showpage
304 grestore
305 %%PageTrailer
306 %%EndPage: 1
307 %%Trailer
308 %%Pages: 1
309 end
310 restore
311 %%EOF