数理语言学 区别特征 术语标准 英语对应词 自然语言 情报检索语言 本质特征 句法学