BNF grammar for a subset of Pascal