校验

为什么机械校验是必要的

自然语言没有'无效句子'的概念