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