%BEGING

S = Fib b a.
Fib x y = br (x e) (Fib y (Concat x y)).
Concat x y z = x (y z).
%ENDG

%BEGINA
/* Contains no aaa? */
q0 br -> q0 q0.
q1 br -> q1 q1.
q2 br -> q2 q2.
q0 a -> q1.
q0 b -> q0.
q1 a -> q2.
q1 b -> q0.
q2 b -> q0.
q0 e -> .
q1 e -> .
q2 e -> .
%ENDA