add BNF syntax