%% Automatically generated by FSA Utilities. %% For more info, cf. http://www.let.rug.nl/~vannoord/Fsa/ fa( %begin sigma and symbols t(fsa_preds,fsa_preds), %end sigma and symbols 4, % number of states [ % begin start states 0 ], % end start states [ % begin final states 0, 1, 2 ], % end final states [ % begin transitions trans(0,a/a,1), trans(0,$@(not_in([a]))/ $@(not_in([a])),0), trans(1,a/a,1), trans(1,b/a,3), trans(1,b/b,2), trans(1,$@(not_in([a,b]))/ $@(not_in([a,b])),0), trans(2,a/a,1), trans(2,$@(not_in([a,c]))/ $@(not_in([a,c])),0), trans(3,c/a,0) ], % end transitions []). % jumps :- fsa_globals:fsa_global_set(regex,'.'(*('.'(~($(-({}('.'(a,'.'(b,'.'(c,[])))),[]))),'.'(cross_product({}('.'(a,'.'(b,'.'(c,[])))),{}('.'(a,'.'(a,'.'(a,[]))))),[]))),'.'(~($(-({}('.'(a,'.'(b,'.'(c,[])))),[]))),[]))). :- dynamic current_state/6. current_state(0,200,200.0,'387',plum2,'ridge -borderwidth 5'). current_state(1,320,200.0,'388',red,'ridge -borderwidth 5'). current_state(2,440,140.0,'389',red,'ridge -borderwidth 5'). current_state(3,440,260.0,'390','SteelBlue1',flat). :- fsa_globals:fsa_global_set(v_angle,0.15).