Solution

%% the string can be empty
aeven --> [].

% the string can consist of two a's followed by an even number of a's
aeven --> onea, onea, aeven.

onea --> [a].
    

Back to the exercise.