这里我们要回答的一个基本问题是：语言能否被有限条规则精确刻画？形式语言理论给出了肯定的回答——用一套重写规则（文法）就能生成一个（可能是无限的）句子集合，而有限自动机则从识别一侧给出对应的机器模型。

本讲先建立文法与推导的形式定义，再给出 Chomsky 四型分类，最后落到有限自动机与正则文法之间的等价关系。

自然语言处理（Natural Language Processing, NLP）研究如何让计算机处理人类的语言。它既是一门工程学科，也是一门交叉学科：向上要回答“机器能否理解语言”，向下要落成翻译、检索、问答等具体系统。

本讲先厘清语言与语言学的基本概念，再回顾 NLP 的发展脉络，随后铺开它的研究内容、基本问题与困难，最后落到理性主义与经验主义两种研究方法。

我整理这些内容是因为我的开源项目 ArkPets 将在近期（2026 年 8 月）针对所使用的 libGDX 版本进行升级。