%% Automatically generated by FSA Utilities.
%% For more info, cf. http://www.let.rug.nl/~vannoord/Fsa/

fa(
%begin sigma and symbols
r(fsa_preds),
%end sigma and symbols
4, % number of states
[ % begin start states
0
], % end start states
[ % begin final states
1
], % end final states
[ % begin transitions
trans(0,a,2),
trans(1,a,0),
trans(1,b,1),
trans(2,a,3),
trans(2,b,1),
trans(3,b,1)
], % end transitions
[]). % jumps

:- fsa_globals:fsa_global_set(regex,'.'('.'({}(','('.'(a,'.'(b,[])),'.'(a,'.'(a,'.'(b,[]))))),'.'(*(b),[])),'.'(*('.'(a,'.'({}(','('.'(a,'.'(b,[])),'.'(a,'.'(a,'.'(b,[]))))),'.'(*(b),[])))),[]))).
:- dynamic current_state/6.
current_state(3,468,205.0,'227','SteelBlue1',flat).
current_state(1,336,77.0,'226',red,'ridge -borderwidth 5').
current_state(0,200,200.0,'224',green,flat).
current_state(2,320,200.0,'225','SteelBlue1',flat).
:- fsa_globals:fsa_global_set(v_angle,0.15).