change BNF notation