S := S '+' S | S S | '(' S ')' | S '*' | 'a'