%% 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).