automates/AutomateFiniDeterministe.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 124 180
   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 124 180
 184 %%PageOrientation: Portrait
 185 gsave
 186 36 36 88 144 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 142 lineto
 195 86 142 lineto
 196 86 -6 lineto
 197 closepath
 198 fill
 199 0.000 0.000 1.000 graphcolor
 200 newpath -6 -6 moveto
 201 -6 142 lineto
 202 86 142 lineto
 203 86 -6 lineto
 204 closepath
 205 stroke
 206 0.000 0.000 0.000 graphcolor
 207 14.00 /Times-Roman set_font
 208 % ne1
 209 gsave 10 dict begin
 210 33 115 21 21 ellipse_path
 211 stroke
 212 gsave 10 dict begin
 213 26 110 moveto
 214 (e1)
 215 [6.24 6.96]
 216 xshow
 217 end grestore
 218 end grestore
 219 % ne1->ne1
 220 newpath 48 130 moveto
 221 60 136 72 131 72 115 curveto
 222 72 104 66 98 58 98 curveto
 223 stroke
 224 gsave 10 dict begin
 225 solid
 226 1 setlinewidth
 227 0.000 0.000 0.000 edgecolor
 228 newpath 57 95 moveto
 229 48 100 lineto
 230 58 101 lineto
 231 closepath
 232 fill
 233 0.000 0.000 0.000 edgecolor
 234 newpath 57 95 moveto
 235 48 100 lineto
 236 58 101 lineto
 237 closepath
 238 stroke
 239 end grestore
 240 gsave 10 dict begin
 241 76 110 moveto 8.0 -0.5 (0) alignedtext
 242 end grestore
 243 % ne0
 244 gsave 10 dict begin
 245 33 21 21 21 ellipse_path
 246 stroke
 247 gsave 10 dict begin
 248 26 16 moveto
 249 (e0)
 250 [6.24 6.96]
 251 xshow
 252 end grestore
 253 end grestore
 254 % ne1->ne0
 255 newpath 25 95 moveto
 256 23 89 21 82 20 76 curveto
 257 19 67 20 58 22 50 curveto
 258 stroke
 259 gsave 10 dict begin
 260 solid
 261 1 setlinewidth
 262 0.000 0.000 0.000 edgecolor
 263 newpath 25 51 moveto
 264 25 40 lineto
 265 19 49 lineto
 266 closepath
 267 fill
 268 0.000 0.000 0.000 edgecolor
 269 newpath 25 51 moveto
 270 25 40 lineto
 271 19 49 lineto
 272 closepath
 273 stroke
 274 end grestore
 275 gsave 10 dict begin
 276 27 63 moveto 8.0 -0.5 (1) alignedtext
 277 end grestore
 278 % ne0->ne1
 279 newpath 33 42 moveto
 280 33 55 33 70 33 84 curveto
 281 stroke
 282 gsave 10 dict begin
 283 solid
 284 1 setlinewidth
 285 0.000 0.000 0.000 edgecolor
 286 newpath 30 84 moveto
 287 33 94 lineto
 288 37 84 lineto
 289 closepath
 290 fill
 291 0.000 0.000 0.000 edgecolor
 292 newpath 30 84 moveto
 293 33 94 lineto
 294 37 84 lineto
 295 closepath
 296 stroke
 297 end grestore
 298 gsave 10 dict begin
 299 37 63 moveto 8.0 -0.5 (1) alignedtext
 300 end grestore
 301 % ne0->ne0
 302 newpath 48 36 moveto
 303 60 42 72 37 72 21 curveto
 304 72 10 66 4 58 4 curveto
 305 stroke
 306 gsave 10 dict begin
 307 solid
 308 1 setlinewidth
 309 0.000 0.000 0.000 edgecolor
 310 newpath 57 1 moveto
 311 48 6 lineto
 312 58 7 lineto
 313 closepath
 314 fill
 315 0.000 0.000 0.000 edgecolor
 316 newpath 57 1 moveto
 317 48 6 lineto
 318 58 7 lineto
 319 closepath
 320 stroke
 321 end grestore
 322 gsave 10 dict begin
 323 76 16 moveto 8.0 -0.5 (0) alignedtext
 324 end grestore
 325 endpage
 326 showpage
 327 grestore
 328 %%PageTrailer
 329 %%EndPage: 1
 330 %%Trailer
 331 %%Pages: 1
 332 end
 333 restore
 334 %%EOF