https://plumephp.com/tags/%E8%87%AA%E5%8A%A8%E6%9C%BA/Recent content in 自动机 on PlumePHPHugozh-CNMon, 28 Sep 2026 14:00:00 +0800https://plumephp.com/others-regex-engine-internals/Mon, 28 Sep 2026 14:00:00 +0800https://plumephp.com/others-regex-engine-internals/<h2 id="引言">引言</h2> <p>正则表达式人人会用，但「正则引擎是怎么把一段模式跑起来的」却是少数人才懂的底层知识。本文把正则引擎从「黑盒」拆成「电路图」：先讲正则 → 非确定有限自动机（NFA）的 <strong>Thompson 构造法</strong>，再讲 NFA 的模拟运行（多状态并行的秘密），接着讲 NFA → DFA 的子集构造与状态爆炸，然后对比两条主要实现路线——<strong>回溯引擎</strong>（Perl/PCRE/JS，快于小模式但可能灾难性回溯）与<strong>线性引擎</strong>（RE2/ripgrep，永不回溯、线性时间但放弃向后引用），再讲向后引用为何让正则「不再是正则」，捕获组/锚点/环视的实现机制，最后给引擎选型与性能剖析的工程建议。读完你会明白：为什么 <code>(a+)+$</code> 能卡死一个服务，以及为什么 RE2 声称「最坏也是线性」。</p>