自然语言处理综论

状态机、形式规则系统、逻辑以及概率论和其他的机器学习工具；

从熟悉的计算范型出发，这样的模型本身就可以给出为数不多的算法。其中最重要的算法是状态空间搜索（state space search）算法和动态规划（dynamic programming）算法。

状态机就是形式模型，形式模型应该包括状态、状态之间的转移以及输入表示等。

深度优先算法、最优先搜索算法、A*搜索算法；