# Creator: Finomaton 1.0 # Creation-Date: Wed Jun 20 08:59:27 PM CEST 2007 object state id 1 x 44 y 75 radius 20 label s1 tex {\strut $s_1$} accept 0 start 1 object state id 2 x 94 y 194 radius 20 label s2 tex {\strut $s_2$} accept 0 start 0 object state id 3 x 233 y 76 radius 20 label s4 tex {\strut $s_4$} accept 1 start 0 object state id 4 x 238 y 204 radius 20 label s3 tex {\strut $s_3$} accept 1 start 0 object line cp1attached 1 cp1angle 270 cp2attached -1 cp2x 35 cp2y 149 cp3attached 2 cp3angle 141 cpnum 3 tex {$\underline{b}$} texpos 0.5 anchor lft bisect 1 object line cp1attached 2 cp1angle 77 cp2attached 3 cp2angle 208 cpnum 2 tex {$\underline{c}$} texpos 0.68 anchor lrt bisect 1 object line cp1attached 1 cp1angle 43 cp2attached -1 cp2x 130 cp2y 22 cp3attached 3 cp3angle 153 cpnum 3 tex {$\underline{a}$} texpos 0.5 anchor top bisect 1 object line cp1attached 3 cp1angle 319 cp2attached -1 cp2x 313 cp2y 113 cp3attached -1 cp3x 312 cp3y 45 cp4attached 3 cp4angle 33 cpnum 4 tex {$\underline{u}$} texpos 0.5 anchor rt bisect 1 object line cp1attached 2 cp1angle 360 cp2attached -1 cp2x 166 cp2y 169 cp3attached 4 cp3angle 167 cpnum 3 tex {$\varepsilon$} texpos 0.5 anchor top bisect 1 object line cp1attached 4 cp1angle 216 cp2attached -1 cp2x 169 cp2y 234 cp3attached 2 cp3angle 323 cpnum 3 tex {$\underline{\alpha}$} texpos 0.5 anchor bot bisect 1