自然语言处理连载（1）- 自然语言和形式语言