简述自然语言信息处理所需要的语言理论。