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
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
|
<a,b|a^2,b^3,(a*b)^6> [2,2,2,1]
/tmp/KBmagAAAa02813.diff2 := rec(
isFSA := true,
alphabet := rec(
type := "product",
size := 24,
arity := 2,
padding := _,
base := rec(
type := "identifiers",
size := 4,
format := "dense",
names := [a,a^-1,b,b^-1]
)
),
states := rec(
type := "words",
size := 20,
alphabet := [a,a^-1,b,b^-1],
format := "sparse",
names := [
[1,IdWord],
[2,b^-1],
[3,b],
[4,a*b^-1],
[5,b^-1*a*b^-1*a],
[6,a*b^-1*a*b^-1*a*b^-1],
[7,a*b*a*b],
[8,b*a],
[9,a*b],
[10,b*a*b*a],
[11,b^-1*a*b^-1*a*b^-1*a],
[12,a*b^-1*a*b^-1],
[13,b^-1*a],
[14,a],
[15,b^-1*a*b],
[16,b*a*b^-1],
[17,a*b^-1*a],
[18,b^-1*a*b^-1*a*b^-1],
[19,b*a*b*a*b],
[20,a*b*a]
]
),
flags := ["DFA","trim"],
initial := [1],
accepting := [1],
table := rec(
format := "sparse",
numTransitions := 332,
transitions := [[[1,1],[2,1],[3,9],[4,4],[5,14],[6,1],[7,1],[8,9],
[9,4],[10,14],[11,13],[12,13],[13,1],[14,3],
[15,2],[16,8],[17,8],[18,2],[19,1],[20,3],[21,14],
[22,14],[23,3],[24,2]],
[[1,17],[2,17],[3,14],[4,9],[5,4],[6,17],[7,17],
[8,14],[9,9],[10,4],[11,8],[12,8],[13,2],[14,1],
[15,3],[16,14],[17,14],[18,3],[19,2],[20,1],
[21,13],[22,13],[23,1],[24,3]],
[[1,20],[2,20],[3,4],[4,14],[5,9],[6,20],[7,20],
[8,4],[9,14],[10,9],[11,14],[12,14],[13,3],[14,2],
[15,1],[16,13],[17,13],[18,1],[19,3],[20,2],
[21,8],[22,8],[23,2],[24,1]],
[[1,13],[2,13],[3,1],[4,3],[5,2],[6,13],[7,13],
[8,1],[9,3],[10,2],[11,5],[12,5],[13,13],[14,15],
[18,8],[20,16],[21,17],[22,17],[23,14],[24,9]],
[[1,12],[2,12],[4,6],[6,12],[7,12],[9,6],[11,16],
[12,16],[16,4],[17,4],[19,12],[20,17],[24,18]],
[[1,11],[2,11],[3,5],[5,18],[6,11],[7,11],[8,5],
[10,18],[11,7],[12,7],[13,11],[21,19],[22,19]],
[[1,10],[2,10],[3,16],[4,8],[6,10],[7,10],[8,16],
[9,8],[16,6],[17,6],[19,10],[20,19],[24,20]],
[[1,9],[2,9],[3,7],[5,20],[6,9],[7,9],[8,7],
[10,20],[11,1],[12,1],[13,9],[14,4],[15,14],
[16,2],[17,2],[18,15],[20,13],[21,3],[22,3],
[24,16]],
[[1,8],[2,8],[3,2],[4,1],[5,3],[6,8],[7,8],[8,2],
[9,1],[10,3],[14,13],[15,15],[16,10],[17,10],
[18,16],[19,8],[21,20],[22,20],[23,4],[24,14]],
[[1,7],[2,7],[3,11],[6,7],[7,7],[8,11],[11,9],
[12,9],[13,7],[15,20],[16,15],[17,15],[23,19]],
[[1,6],[2,6],[4,10],[5,19],[6,6],[7,6],[9,10],
[10,19],[16,12],[17,12],[19,6],[21,18],[22,18]],
[[1,5],[2,5],[3,13],[4,15],[6,5],[7,5],[8,13],
[9,15],[11,11],[12,11],[13,5],[15,18],[23,17]],
[[1,4],[2,4],[4,12],[5,17],[6,4],[7,4],[9,12],
[10,17],[11,3],[12,3],[14,16],[15,8],[16,1],
[17,1],[18,9],[19,4],[20,14],[21,2],[22,2],
[23,15]],
[[1,14],[2,14],[3,3],[4,2],[5,1],[6,14],[7,14],
[8,3],[9,2],[10,1],[11,2],[12,2],[13,15],[15,13],
[16,3],[17,3],[19,16],[20,8],[21,1],[22,1],[23,9],
[24,4]],
[[3,12],[4,17],[8,12],[9,17],[11,10],[12,10],
[13,16],[14,8],[16,20],[17,20],[18,4],[19,14],
[20,9],[24,13]],
[[3,20],[4,7],[8,20],[9,7],[11,17],[12,17],[13,14],
[14,9],[15,4],[16,5],[17,5],[18,13],[19,15],
[23,8]],
[[1,2],[2,2],[3,15],[5,13],[6,2],[7,2],[8,15],
[10,13],[14,18],[15,5],[16,16],[17,16],[21,4],
[22,4],[24,12]],
[[1,19],[2,19],[5,6],[6,19],[7,19],[10,6],[18,17],
[20,12],[21,11],[22,11],[23,5]],
[[1,18],[2,18],[5,11],[6,18],[7,18],[10,11],
[14,20],[15,7],[21,6],[22,6],[24,10]],
[[1,3],[2,3],[4,16],[5,8],[6,3],[7,3],[9,16],
[10,8],[11,15],[12,15],[18,19],[20,10],[21,9],
[22,9],[23,7]]
]
)
);
<|>
|
