%% 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
7, % number of states
[ % begin start states
0
], % end start states
[ % begin final states
0,
1,
2,
3
], % end final states
[ % begin transitions
trans(0,a,4),
trans(1,a,5),
trans(2,a,6),
trans(4,b,1),
trans(5,b,2),
trans(6,b,3)
], % end transitions
[]). % jumps

:- fsa_globals:fsa_global_set(regex,{}(','([],','('.'(a,'.'(b,[])),','('.'(a,'.'(b,'.'(a,'.'(b,[])))),'.'(a,'.'(b,'.'(a,'.'(b,'.'(a,'.'(b,[]))))))))))).
:- dynamic current_state/6.
current_state(0,200,200.0,'109',plum2,'ridge -borderwidth 5').
current_state(4,320,200.0,'110','SteelBlue1',flat).
current_state(1,440,200.0,'111',red,'ridge -borderwidth 5').
current_state(5,560,200.0,'112','SteelBlue1',flat).
current_state(2,680,200.0,'113',red,'ridge -borderwidth 5').
current_state(6,800,200.0,'114','SteelBlue1',flat).
current_state(3,920,200.0,'115',red,'ridge -borderwidth 5').
:- fsa_globals:fsa_global_set(v_angle,0.15).