blob: db3e080ddfbfa3ffc80343a41f1ba8be9977465f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
# Creator: Finomaton 1.0
# Creation-Date: Wed Jun 20 09:25:25 PM CEST 2007
object state id 1 x 494.0 y 215.0 radius 20 label q2 tex {\strut $q_2$} accept 0 start 0
object state id 2 x 660.0 y 120.0 radius 20 label q3 tex {\strut $q_3$} accept 0 start 0
object state id 3 x 494.0 y 25.0 radius 20 label q0 tex {\strut $q_0$} accept 0 start 1
object state id 4 x 494.0 y 120.0 radius 20 label q1 tex {\strut $q_1$} accept 0 start 0
object state id 5 x 328.0 y 234.0 radius 20 label H tex {\strut $H$} accept 1 start 0
object state id 6 x 328.0 y 120.0 radius 20 label q4 tex {\strut $q_4$} accept 0 start 0
object line cp1attached 3 cp1angle -1 cp2attached 4 cp2angle -1 cpnum 2 tex {\Box/1/\R} texpos 0.5 anchor rt bisect 1
object line cp1attached 3 cp1angle -1 cp2attached -1 cp2x 362.0 cp2y 118.0 cp3attached 1 cp3angle -1 cpnum 3 tex {1/1/\L} texpos 0.5 anchor lft bisect 1
object line cp1attached 4 cp1angle 332 cp2attached -1 cp2x 561.0 cp2y 148.0 cp3attached -1 cp3x 561.0 cp3y 90.0 cp4attached 4 cp4angle 37 cpnum 4 tex {1/1/\R} texpos 0.5 anchor rt bisect 0
object line cp1attached 4 cp1angle -1 cp2attached 1 cp2angle -1 cpnum 2 tex {\Box/1/\R} texpos 0.5 anchor rt bisect 1
object line cp1attached 2 cp1angle 322 cp2attached -1 cp2x 723.0 cp2y 148.0 cp3attached -1 cp3x 723.0 cp3y 92.0 cp4attached 2 cp4angle 38 cpnum 4 tex {1/1/\L} texpos 0.5 anchor rt bisect 0
object line cp1attached 2 cp1angle -1 cp2attached -1 cp2x 622.0 cp2y 18.0 cp3attached 3 cp3angle -1 cpnum 3 tex {\Box/1/\L} texpos 0.5 anchor urt bisect 1
object line cp1attached 1 cp1angle -1 cp2attached -1 cp2x 622.0 cp2y 217.0 cp3attached 2 cp3angle -1 cpnum 3 tex {\Box/1/\R} texpos 0.5 anchor lrt bisect 1
object line cp1attached 1 cp1angle -1 cp2attached -1 cp2x 373.0 cp2y 214.0 cp3attached 6 cp3angle -1 cpnum 3 tex {1/\Box/\L} texpos 0.14 anchor llft bisect 1
object line cp1attached 6 cp1angle -1 cp2attached -1 cp2x 366.0 cp2y 18.0 cp3attached 3 cp3angle -1 cpnum 3 tex {1/\Box/\L} texpos 0.5 anchor ulft bisect 1
object line cp1attached 6 cp1angle 264 cp2attached 5 cp2angle 96 cpnum 2 tex {\Box/1/\R} texpos 0.5 anchor lft bisect 1
object text x 81.0 y 115.0 label {My defined label} tex {\mylabel}
object setting variable filecomment value {This demonstrates how to embed TeX commands in your file.}
object setting variable verbatimtex value {\font\lasy=lasy10
\def\Box{{\lasy\char'62}}
\def\R{R}
\def\L{L}
\def\mylabel{\vbox{\hbox{This is a 5-state}\hbox{{\it Busy Beaver\/}-candidate}}}}
|
