S := S A | A
A := 'a'