non left-recursive grammar for A3