有限状态 (FST)

有限状态（Finite State）是形式语言与自动机理论中的核心概念，指一个计算系统在任何时刻只能处于有限个互斥的特定模式（即状态）中。在大模型与人工智能领域，它不仅是构建有限状态机（FSM）的逻辑基石，也是理解马尔可夫链、隐马尔可夫模型（HMM）及现代序列建模中局部状态转移机制的理论源头。尽管现代大模型多基于无限状态空间（如Transformer的无限上下文），但有限状态思想仍深刻影响着模型对局部依赖、模式识别及离散决策的底层逻辑构建。

在现代计算架构中，有限状态是连接离散事件与连续时间系统的桥梁。其核心价值在于以极低的计算复杂度实现高效的模式匹配与状态流转，广泛应用于自然语言处理中的词法分析、语音识别中的声学模型以及强化学习中的动作空间规划。虽然纯有限状态机无法处理长距离依赖，但其作为构建更复杂概率模型（如HMM、CRF）的原子单元，为理解大模型中局部上下文窗口内的状态演化提供了关键视角。在工程实践中，它是实现轻量级推理、实时流式处理及低延迟交互的核心算法基础。