#ebnf #production rule example #syntax definition #grammar example #formal language notation #concrete syntax