自然语言处理（三）——自动机理论

前言

如何判断一个句子是否符合文法的规则，自动机是很简便的方法。四种文法对应四种自动机来判断验证，接下来就介绍一下四种文法和四种自动机的对应。

一、有限自动机

确定的有限自动机 (Definite Automata, DFA)

确定的有限自动机 M 是一个五元组： M = (Σ, Q, δ, q0, F) 其中，Σ 是输入符号的有穷集合； Q 是状态的有限集合； q0 ∈ Q 是初始状态； F 是终止状态集合，F ⊆ Q； δ 是 Q 与 Σ 的直积 Q × Σ 到 Q (下一个状态) 的映射。它支配着有限状态控制的行为，有时也称为状态转移函数。

上述是教材的定义，接下来上一个具体的图来解释五元组的具体含义。

上图中Σ是｛0，1｝，Q是｛A，B｝，q0是A，F是｛B｝，δ可以理解成一个函数，上图输入1，输出B。记作B = δ（A,1）。

不确定的有限自动机 (Non-definite Automata, NFA)