Finite State Machine 是一种数学模型，广泛地应用于 DP 与字符串算法中.