%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 bb? */ q0 br -> q0 q0. q1 br -> q1 q1. q0 a -> q0. q0 b -> q1. q1 a -> q0. q0 e -> . q1 e -> . %ENDA