blob: f068bbeee5d153875dc926b14473faaf720d7138 (
plain)
1
2
3
4
5
6
7
8
9
10
|
# Creator: Finomaton 1.0
# Creation-Date: Wed Jun 20 09:02:11 PM CEST 2007
object state id 1 x 150.5 y 159 radius 20 label q2 tex {\strut $q_2$} accept 1 start 0
object state id 2 x 41 y 159 radius 20 label q1 tex {\strut $q_1$} accept 0 start 1
object state id 3 x 260.0 y 159 radius 20 label q3 tex {\strut $q_3$} accept 0 start 0
object line cp1attached 1 cp1angle 360 cp2attached 3 cp2angle 180 cpnum 2 tex {$\underline{1}$} texpos 0.5 anchor top bisect 1
object line cp1attached 3 cp1angle 241 cp2attached -1 cp2x 206.0 cp2y 244 cp3attached 1 cp3angle 292 cpnum 3 tex {$\underline{0}$, $\underline{1}$} texpos 0.5 anchor bot bisect 1
object line cp1attached 2 cp1angle 299 cp2attached -1 cp2x 96.5 cp2y 244 cp3attached 1 cp3angle 240 cpnum 3 tex {$\underline{0}$} texpos 0.5 anchor bot bisect 1
object line cp1attached 2 cp1angle 63 cp2attached -1 cp2x 150.5 cp2y 38 cp3attached 3 cp3angle 115 cpnum 3 tex {$\underline{1}$} texpos 0.5 anchor top bisect 1
object line cp1attached 2 cp1angle 360 cp2attached 1 cp2angle 180 cpnum 2 tex {$\underline{0}$} texpos 0.5 anchor top bisect 1
|
