S -> 'a' | S S | S S S