blob: 6315c5f00b51ba9fc0f0a66f5691c6f34e6bfc77 (
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
|
#N canvas 0 31 845 398 10;
#X obj 13 7 gfsm;
#X obj 23 362 print GFSM-1;
#X obj 116 362 print GFSM-2;
#X obj 208 363 print GFSM-3;
#X msg 26 70 automaton;
#X msg 24 29 automaton a1;
#X obj 16 91 s \$0-fsm;
#X obj 93 294 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 msg 237 51 set_root \$1;
#X msg 246 74 get_root;
#X msg 144 52 reserve \$1;
#X floatatom 144 34 5 0 0 0 - - -;
#X msg 257 15 0;
#X msg 145 13 42;
#X msg 349 37 is_final \$1;
#X floatatom 375 18 5 0 0 0 - - -;
#X msg 347 17 0;
#X floatatom 388 61 5 0 0 0 - - -;
#X msg 360 60 0;
#X msg 363 80 set_final \$1 1;
#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 102 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 234 232 save_bin tmp.gfst;
#X msg 26 202 print;
#X msg 22 179 clear;
#X msg 18 158 info;
#X obj 16 224 s \$0-fsm;
#X obj 95 209 s \$0-fsm;
#X obj 228 254 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 603 165 invert;
#X msg 612 191 product a2;
#X msg 626 234 project \$1;
#X floatatom 643 213 5 0 0 0 - - -;
#X obj 624 215 bng 15 250 50 0 empty empty empty 0 -6 0 8 -262144 -1
-1;
#X msg 631 262 prune;
#X msg 636 286 reverse;
#X msg 636 313 rmepsilon;
#X msg 639 337 union a2;
#X msg 103 168 load test2.tfst;
#X msg 233 169 load_bin test2.gfst;
#X obj 92 318 gfsm_automaton a2;
#X msg 238 190 load_bin test3.gfst;
#X floatatom 626 5 5 0 0 0 - - -;
#N canvas 0 0 466 454 draw 0;
#X obj 67 25 r \$0-draw-s;
#X obj 68 68 f \$0;
#X msg 176 74 save_bin \$1draw.gfst;
#X obj 176 98 s \$0-fsm;
#X obj 68 162 shell;
#X obj 68 47 t b;
#X obj 68 91 t f f;
#X msg 69 237 dotgv.sh \$1draw.dot;
#X obj 171 311 f \$0;
#X obj 172 291 t b;
#X obj 171 357 shell;
#X obj 172 20 bng 15 250 50 0 empty empty empty 0 -6 0 8 -262144 -1
-1;
#X msg 68 137 gfsmdraw \$1draw.gfst -F \$1draw.dot;
#X msg 171 334 rm -f \$1draw.gfst \$1draw.dot;
#X obj 142 270 shell;
#X msg 220 236 dotty \$1draw.dot;
#X obj 169 183 r \$0-drawmode-s;
#X obj 111 206 demux 0 1;
#X obj 110 163 t b;
#X obj 111 184 f \$0;
#X obj 284 182 tgl 15 0 empty empty empty 0 -6 0 8 -262144 -1 -1 0
1;
#X connect 0 0 5 0;
#X connect 1 0 6 0;
#X connect 2 0 3 0;
#X connect 4 1 18 0;
#X connect 5 0 1 0;
#X connect 6 0 12 0;
#X connect 6 1 2 0;
#X connect 7 0 14 0;
#X connect 8 0 13 0;
#X connect 9 0 8 0;
#X connect 11 0 5 0;
#X connect 12 0 4 0;
#X connect 13 0 10 0;
#X connect 14 1 9 0;
#X connect 15 0 14 0;
#X connect 16 0 17 1;
#X connect 17 0 7 0;
#X connect 17 1 15 0;
#X connect 18 0 19 0;
#X connect 19 0 17 0;
#X connect 20 0 17 1;
#X restore 71 118 pd draw;
#X obj 44 130 tgl 20 0 \$0-drawmode-s empty mode 0 -6 0 8 -225271 -1
-1 0 1;
#X msg 152 120 automaton fsm-help-2;
#X connect 4 0 6 0;
#X connect 5 0 6 0;
#X connect 7 0 72 0;
#X connect 8 0 32 0;
#X connect 9 0 11 0;
#X connect 10 0 9 0;
#X connect 11 0 33 0;
#X connect 12 0 33 0;
#X connect 13 0 32 0;
#X connect 14 0 13 0;
#X connect 15 0 9 0;
#X connect 16 0 14 0;
#X connect 17 0 34 0;
#X connect 18 0 17 0;
#X connect 19 0 18 0;
#X connect 20 0 22 0;
#X connect 21 0 20 0;
#X connect 22 0 34 0;
#X connect 23 0 27 0;
#X connect 24 0 27 1;
#X connect 25 0 27 2;
#X connect 26 0 27 3;
#X connect 27 0 55 1;
#X connect 28 0 29 0;
#X connect 29 0 55 0;
#X connect 29 1 27 0;
#X connect 30 0 23 0;
#X connect 30 0 24 0;
#X connect 30 0 25 0;
#X connect 30 0 26 0;
#X connect 31 0 35 0;
#X connect 36 0 44 0;
#X connect 37 0 44 0;
#X connect 38 0 45 0;
#X connect 39 0 45 0;
#X connect 40 0 43 0;
#X connect 41 0 43 0;
#X connect 42 0 43 0;
#X connect 46 0 49 0;
#X connect 47 0 49 0;
#X connect 48 0 47 0;
#X connect 51 0 48 0;
#X connect 52 0 49 0;
#X connect 53 0 49 0;
#X connect 55 0 31 0;
#X connect 56 0 6 0;
#X connect 57 0 49 0;
#X connect 58 0 49 0;
#X connect 59 0 49 0;
#X connect 61 0 60 0;
#X connect 62 0 60 0;
#X connect 63 0 60 0;
#X connect 64 0 63 0;
#X connect 65 0 64 0;
#X connect 66 0 60 0;
#X connect 67 0 60 0;
#X connect 68 0 60 0;
#X connect 69 0 60 0;
#X connect 70 0 44 0;
#X connect 71 0 45 0;
#X connect 72 0 1 0;
#X connect 73 0 45 0;
#X connect 74 0 24 0;
#X connect 74 0 25 0;
#X connect 74 0 26 0;
#X connect 77 0 6 0;
|
