语法规则验证