B.1 用巴克斯-诺尔范式(BNF)定义语言