% Start 0
% Final { 11 }
% States { 0 1 2 3 4 5 6 7 8 9 10 11 }
% Alphabet { a b c d }
% Transitions {
%  (0 a 1)
%  (1  10)
%  (2 b 3)
%  (3  8)
%  (4 c 5)
%  (5  9)
%  (6 d 7)
%  (7  9)
%  (8  4)
%  (8  6)
%  (9  11)
%  (10  2)
%  (10  11)
%  (11  10)
% }
12