blob: 6cdf83710106268bb1c2f4f6cfd2d32b0242644b (
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
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
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
|
#N canvas 31 7 974 447 10;
#X obj 13 7 gfsm;
#X obj 22 324 gfsm_automaton;
#X obj 22 359 print GFSM-1;
#X msg 26 70 automaton;
#X msg 24 29 automaton a1;
#X obj 16 91 s \$0-fsm;
#X obj 23 300 r \$0-fsm;
#X msg 153 75 size;
#X floatatom 237 34 5 0 0 0 - - -;
#X obj 237 16 bng 15 250 50 0 empty empty empty 0 -6 0 8 -262144 -1
-1;
#X floatatom 144 34 5 0 0 0 - - -;
#X msg 257 15 0;
#X msg 145 13 42;
#X floatatom 375 18 5 0 0 0 - - -;
#X msg 347 17 0;
#X floatatom 388 61 5 0 0 0 - - -;
#X floatatom 517 34 5 0 0 0 - - -;
#X floatatom 560 33 5 0 0 0 - - -;
#X floatatom 603 33 5 0 0 0 - - -;
#X floatatom 644 34 5 0 0 0 - - -;
#X obj 543 59 pack 0 0 0 0 0;
#X obj 494 24 bng 15 250 50 0 empty empty empty 0 -6 0 8 -262144 -1
-1;
#X obj 494 57 t b b;
#X msg 569 7 0;
#X msg 495 105 add_arc \$1 \$2 \$3 \$4 \$5;
#X obj 144 98 s \$0-fsm;
#X obj 237 97 s \$0-fsm;
#X obj 349 121 s \$0-fsm;
#X obj 496 126 s \$0-fsm;
#X msg 104 148 load test.tfst;
#X msg 103 188 save tmp.tfst;
#X msg 229 148 load_bin test.gfst;
#X msg 250 304 save_bin tmp.gfst;
#X msg 26 202 print;
#X msg 22 179 clear;
#X msg 18 158 info;
#X obj 17 226 s \$0-fsm;
#X obj 88 246 s \$0-fsm;
#X obj 236 338 s \$0-fsm;
#X msg 437 170 complement;
#X msg 450 211 closure \$1;
#X floatatom 466 193 5 0 0 0 - - -;
#X obj 437 370 s \$0-fsm;
#X obj 16 132 bng 20 250 50 0 \$0-draw-s empty DRAW 0 -6 0 8 -24198
-1 -1;
#X obj 450 193 bng 15 250 50 0 empty empty empty 0 -6 0 8 -262144 -1
-1;
#X msg 457 236 compose a2;
#X msg 462 264 concat a2;
#X obj 51 6 zexy;
#X obj 495 84 lister;
#X msg 25 48 automaton a2;
#X msg 464 291 determinize;
#X msg 469 319 difference a2;
#X msg 475 343 intersect a2;
#X obj 603 368 s \$0-fsm;
#X msg 598 148 invert;
#X msg 607 174 product a2;
#X msg 621 217 project \$1;
#X floatatom 638 196 5 0 0 0 - - -;
#X obj 619 198 bng 15 250 50 0 empty empty empty 0 -6 0 8 -262144 -1
-1;
#X msg 631 269 reverse;
#X msg 631 296 rmepsilon;
#X msg 634 320 union a2;
#X msg 103 168 load test2.tfst;
#X msg 233 169 load_bin test2.gfst;
#X msg 238 190 load_bin test3.gfst;
#X obj 46 131 tgl 20 0 \$0-drawmode-s empty mode 0 -6 0 8 -225271 -1
-1 0 1;
#X msg 246 74 root;
#X msg 237 51 root \$1;
#X floatatom 618 8 5 0 0 0 - - -;
#X msg 144 52 size \$1;
#X msg 349 37 final \$1;
#X obj 430 61 tgl 15 0 empty empty empty 0 -6 0 8 -262144 -1 -1 0 1
;
#X obj 365 79 pack 0 0;
#X msg 363 99 final \$1 \$2;
#X msg 637 343 renumber;
#X msg 252 282 load_bin tmp.gfst;
#N canvas 0 0 450 300 flags 0;
#X obj 26 67 s \$0-fsm;
#X msg 36 21 weighted \$1;
#X obj 19 21 tgl 15 0 empty empty empty 0 -6 0 8 -262144 -1 -1 0 1
;
#X msg 39 43 weighted;
#X obj 145 19 tgl 15 0 empty empty empty 0 -6 0 8 -262144 -1 -1 0 1
;
#X obj 155 65 s \$0-fsm;
#X msg 162 19 transducer \$1;
#X msg 165 41 transducer;
#X obj 30 220 s \$0-fsm;
#X msg 40 196 semiring;
#X msg 30 174 semiring \$1;
#X msg 29 125 boolean;
#X msg 90 125 log;
#X msg 122 126 real;
#X msg 160 125 trivial;
#X msg 218 125 tropical;
#X obj 30 153 symbol;
#X msg 286 125 OTHER;
#X connect 1 0 0 0;
#X connect 2 0 1 0;
#X connect 3 0 0 0;
#X connect 4 0 6 0;
#X connect 6 0 5 0;
#X connect 7 0 5 0;
#X connect 9 0 8 0;
#X connect 10 0 8 0;
#X connect 11 0 16 0;
#X connect 12 0 16 0;
#X connect 13 0 16 0;
#X connect 14 0 16 0;
#X connect 15 0 16 0;
#X connect 16 0 10 0;
#X connect 17 0 16 0;
#X restore 711 65 pd flags;
#X obj 600 8 bng 15 250 50 0 empty empty empty 0 -6 0 8 -262144 -1
-1;
#X msg 361 336 concat a1;
#X floatatom 689 35 5 0 0 0 - - -;
#X obj 366 59 bng 15 250 50 0 empty empty empty 0 -6 0 8 -262144 -1
-1;
#X obj 113 360 s \$0-fsm-out;
#X obj 741 16 pool;
#X msg 94 120 automaton fsm-help;
#X msg 105 220 load gfsm-help.tfst;
#N canvas 22 7 466 454 draw 0;
#X obj 361 16 zexy;
#X obj 26 15 r \$0-draw-s;
#X obj 68 68 f \$0;
#X obj 68 110 s \$0-fsm;
#X obj 68 47 t b;
#X obj 99 352 t b;
#X obj 98 418 shell;
#X obj 172 20 bng 15 250 50 0 empty empty empty 0 -6 0 8 -262144 -1
-1;
#X obj 69 331 shell;
#X obj 125 215 r \$0-drawmode-s;
#X obj 67 238 demux 0 1;
#X obj 240 214 tgl 15 0 empty empty empty 0 -6 0 8 -262144 -1 -1 0
1;
#X msg 68 89 draw_dot \$1draw.dot;
#X obj 67 136 r \$0-fsm-out;
#X obj 67 158 route draw_dot;
#X obj 67 180 symbol;
#X msg 48 295 dotgv.sh \$1;
#X msg 145 294 dotty \$1;
#X obj 67 203 t s s;
#X obj 98 372 symbol;
#X msg 98 395 rm -f \$1;
#X connect 1 0 4 0;
#X connect 2 0 12 0;
#X connect 4 0 2 0;
#X connect 5 0 19 0;
#X connect 7 0 4 0;
#X connect 8 1 5 0;
#X connect 9 0 10 1;
#X connect 10 0 16 0;
#X connect 10 1 17 0;
#X connect 11 0 10 1;
#X connect 12 0 3 0;
#X connect 13 0 14 0;
#X connect 14 0 15 0;
#X connect 15 0 18 0;
#X connect 16 0 8 0;
#X connect 17 0 8 0;
#X connect 18 0 10 0;
#X connect 18 1 19 1;
#X connect 19 0 20 0;
#X connect 20 0 6 0;
#X restore 16 251 pd draw;
#X msg 258 216 load_bin lkptest.gfst;
#X msg 261 238 load_bin lkpin.gfst;
#X obj 21 385 gfsm_automaton a1;
#X obj 22 404 gfsm_automaton a2;
#X msg 626 245 connect;
#X msg 739 352 clear;
#X connect 1 0 2 0;
#X connect 1 0 81 0;
#X connect 3 0 5 0;
#X connect 4 0 5 0;
#X connect 6 0 1 0;
#X connect 7 0 25 0;
#X connect 8 0 67 0;
#X connect 9 0 8 0;
#X connect 10 0 69 0;
#X connect 11 0 8 0;
#X connect 12 0 10 0;
#X connect 13 0 70 0;
#X connect 14 0 13 0;
#X connect 15 0 72 0;
#X connect 16 0 20 0;
#X connect 17 0 20 1;
#X connect 18 0 20 2;
#X connect 19 0 20 3;
#X connect 20 0 48 1;
#X connect 21 0 22 0;
#X connect 22 0 48 0;
#X connect 22 1 20 0;
#X connect 23 0 16 0;
#X connect 23 0 17 0;
#X connect 23 0 18 0;
#X connect 23 0 19 0;
#X connect 24 0 28 0;
#X connect 29 0 37 0;
#X connect 30 0 37 0;
#X connect 31 0 38 0;
#X connect 32 0 38 0;
#X connect 33 0 36 0;
#X connect 34 0 36 0;
#X connect 35 0 36 0;
#X connect 39 0 42 0;
#X connect 40 0 42 0;
#X connect 41 0 40 0;
#X connect 44 0 41 0;
#X connect 45 0 42 0;
#X connect 46 0 42 0;
#X connect 48 0 24 0;
#X connect 49 0 5 0;
#X connect 50 0 42 0;
#X connect 51 0 42 0;
#X connect 52 0 42 0;
#X connect 54 0 53 0;
#X connect 55 0 53 0;
#X connect 56 0 53 0;
#X connect 57 0 56 0;
#X connect 58 0 57 0;
#X connect 59 0 53 0;
#X connect 60 0 53 0;
#X connect 61 0 53 0;
#X connect 62 0 37 0;
#X connect 63 0 38 0;
#X connect 64 0 38 0;
#X connect 66 0 26 0;
#X connect 67 0 26 0;
#X connect 68 0 17 0;
#X connect 68 0 18 0;
#X connect 68 0 19 0;
#X connect 69 0 25 0;
#X connect 70 0 27 0;
#X connect 71 0 72 1;
#X connect 72 0 73 0;
#X connect 73 0 27 0;
#X connect 74 0 53 0;
#X connect 75 0 38 0;
#X connect 77 0 68 0;
#X connect 78 0 42 0;
#X connect 79 0 20 4;
#X connect 80 0 15 0;
#X connect 83 0 5 0;
#X connect 84 0 37 0;
#X connect 86 0 38 0;
#X connect 87 0 38 0;
#X connect 90 0 53 0;
#X connect 91 0 53 0;
|
