1 files changed, 260 insertions, 0 deletions
diff --git a/gfsm/src/test-automaton.pd b/gfsm/src/test-automaton.pd
new file mode 100644
index 0000000..6cdf837
--- /dev/null
+++ b/gfsm/src/test-automaton.pd
@@ -0,0 +1,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;