# Creator: Finomaton 1.0 # Creation-Date: Thu Jun 21 01:56:43 PM CEST 2007 object state id 1 x 165.5 y 211.0 radius 20 label {} tex {\cb r} accept 0 start 0 object state id 2 x 77.0 y 114.0 radius 20 label {} tex {\cb a} accept 0 start 0 object state id 3 x 165.5 y 114.0 radius 20 label {} tex {\cb b} accept 0 start 0 object state id 4 x 254.0 y 114.0 radius 20 label {} tex {\cb c} accept 0 start 0 object line cp1attached 1 cp1angle -1 cp2attached 2 cp2angle 279 cpnum 2 tex {} texpos 0.5 anchor top bisect 1 object line cp1attached 1 cp1angle -1 cp2attached 3 cp2angle -1 cpnum 2 tex {} texpos 0.5 anchor top bisect 1 object line cp1attached 1 cp1angle -1 cp2attached 4 cp2angle -1 cpnum 2 tex {} texpos 0.5 anchor top bisect 1 object setting variable verbatimtex value {\def\cb#1{\strut\hbox to 30pt{\hfil #1\hfil}}}