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
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
FSG_BEGIN <test.nulltest>
NUM_STATES 35
START_STATE 0
FINAL_STATE 1
TRANSITION 0 2 1.000000
TRANSITION 2 4 1.000000
TRANSITION 3 13 1.000000
TRANSITION 4 5 1.000000
TRANSITION 5 7 1.000000 one
TRANSITION 6 3 1.000000
TRANSITION 7 8 1.000000
TRANSITION 8 11 0.500041 and
TRANSITION 8 10 0.500041
TRANSITION 9 12 1.000000 one
TRANSITION 10 9 1.000000
TRANSITION 11 9 1.000000
TRANSITION 12 6 1.000000
TRANSITION 13 15 1.000000
TRANSITION 14 24 1.000000
TRANSITION 15 16 1.000000
TRANSITION 16 18 1.000000 two
TRANSITION 17 14 1.000000
TRANSITION 18 19 1.000000
TRANSITION 19 22 0.500041 and
TRANSITION 19 21 0.500041
TRANSITION 20 23 1.000000 two
TRANSITION 21 20 1.000000
TRANSITION 22 20 1.000000
TRANSITION 23 17 1.000000
TRANSITION 24 26 1.000000
TRANSITION 25 1 1.000000
TRANSITION 26 27 1.000000
TRANSITION 27 29 1.000000 three
TRANSITION 28 25 1.000000
TRANSITION 29 30 1.000000
TRANSITION 30 33 0.500041 and
TRANSITION 30 32 0.500041
TRANSITION 31 34 1.000000 three
TRANSITION 32 31 1.000000
TRANSITION 33 31 1.000000
TRANSITION 34 28 1.000000
FSG_END
|
