# Creator: Finomaton 1.0 # Creation-Date: Tue Jun 19 05:44:07 PM CEST 2007 object state id 1 x 52 y 138 radius 20 label a tex {\strut $a$} accept 0 start 1 object state id 2 x 214 y 138 radius 20 label b tex {\strut $b$} accept 1 start 0 object line cp1attached 1 cp1angle 45 cp2attached -1 cp2x 126 cp2y 83 cp3attached 2 cp3angle 140 cpnum 3 tex {1, 2, 3} texpos 0.12 anchor lrt bisect 1