有限自动机是计算机科学中最被低估的"瑞士军刀"

有限自动机（DFA/NFA）不仅是"正则表达式的底层"，它的影响远超编译器领域。网络协议状态机、UI 交互流程、游戏角色状态机、BPM 工作流引擎——凡是"当前行为取决于之前的状态"的场景，有限自动机都是最简洁、最可靠的建模工具。龙书将它定位为"词法分析的工具"，但它是整个计算机科学中最通用的抽象之一。