blob: aa3d7ac8715e55482f422263971b687c26d096be (
plain)
1
2
3
4
5
6
7
8
9
10
|
# 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}}}
|
