状态之舞
画个圈连根线就描述了一切——这句话，状态爆炸之雾说对了一半。
幻境入口 · 状态之门
状态幻演之境的入口没有门。只有一面浮空的石壁，上面爬满了发光的圆圈和箭头——像活物一样缓慢蠕动、分裂、消失。
你攥着 ch03 炼成的触发器，以为那就是状态机。石壁旁薄雾低旋。
诺依曼老祖
「你在 ch03 造过一个'1011'检测器。你以为那就是状态机？那只是它的影子。真正的状态机是一个数学模型——五元组。你来定义它。」
状态爆炸之雾
「画个圈，连根线，就以为描述了一切？」
反直觉下注 · 随手画的状态图合法吗？
先下注：你认为随手画的状态图就是合法的状态机吗？👆 点击下方按钮下注
状态转移图合法性检查 · 识别"101"检测器
逐项点击检查三合法性规则。每修正一处，裂纹化为铭文。
五元组补全 · M = ( S, I, O, δ, λ )
图形只是五元组的投影。从状态图提取信息，填入五个槽位。
Moore之眼 · 慢一拍的稳
石壁后方是一座圆形殿堂，墙上嵌满密密麻麻的输出窗口——每个窗口对应一个状态，窗口里亮着该状态的输出值。
诺依曼老祖
「把你的输出函数 λ 挂在状态上——λ:S→O。进去看看。」
状态爆炸之雾
「稳。稳到迟钝。」
Moore 机搭建 · 输出 λ:S→O，输入"101"看时序
为每个状态标注输出值，输入序列 101，看检测灯何时亮——比输入慢一个时钟周期。
Mealy之手 · 快一拍的险
转身殿的墙上没有固定窗口——取而代之的是无数只手，每只手抓着两条线：一条连着当前状态，一条连着当前输入。
诺依曼老祖
「把输出函数 λ 挂在转移边上——λ:S×I→O。输入一变，输出立刻变。」
状态爆炸之雾
「快。快到危险。」
Mealy 机改造 · 输出从节点移到边，即时响应
输出 λ:S×I→O 挂在转移边上。输入"101"时检测灯即时亮——但注入毛刺会看见输出"说谎"。
映射之桥 · 转换的代价
一座悬空石桥横跨深渊，桥面上刻着两行字：左"Moore→Mealy"，右"Mealy→Moore"。薄雾第一次明显膨胀了一圈。
诺依曼老祖
「它们能互相转换。去试。」
状态爆炸之雾
「等价？世界上没有免费的等价。」
双向转换器 · Moore ↔ Mealy + 代价天平
亲手做双向转换：Mealy→Moore 按输出值拆分状态（4→6），Moore→Mealy 合并等价输出状态（6→4）。看天平能否两全。
矩阵台 · 状态转移表
矩阵台是一座巨大的棋盘格石台，行列分明。你把 S3 那台 6 状态 Moore 机的转移铺上去——6 个状态、2 种输入，12 行。还好。
「再加一个输入信号呢？」6 状态、4 种输入组合——24 行。你的手开始慢了。薄雾从石台底部漫上来。
状态爆炸之雾
「继续加。我看你填到第几行开始发抖。」
STT 填充 + 输入增长实验 · 规模 = 状态数 × 输入组合数
为 6 状态 Moore 机填表，再点"加输入信号"看列数翻倍、矩阵面积爆炸。
编码之环 · 三种编码
编码之环是三座同心圆环，每座环上刻着同一种状态序列的不同编码。诺依曼老祖：「同一个状态机，三种编码。选一种，看后面会发生什么。」
状态爆炸之雾
「编码不就是二进制吗？000/001/010……你想复杂了。」
三编码切换器 · 触发器数 / 逻辑复杂度 / 毛刺风险
在三种编码间切换，实时看触发器数、次态逻辑、毛刺波形。每种都试一遍。
化简殿 · 隐含表之极限
化简殿中央悬着一张巨大的隐含表——三角网格，每一格代表一对状态的等价性判定。薄雾已经漫到膝盖。
诺依曼老祖
「你 S3 的 6 状态 Moore 机——也许有冗余。去找。」
状态爆炸之雾
「找吧。把多余的砍掉。砍完了，你看还剩多少。」
隐含表三角网格 · 逐格判定等价状态
点击格子判定：输出不同标 ✗，输出+次态相同标 ✓，条件等价标琥珀。✗ 会自动传播。填完 6 状态合并，再切 12 状态撞"不可再化简"。
铸阵台 · 三段式电路
铸阵台上有一座熔炉，旁边摆着你在 S5 选好编码、S6 化简完毕的状态机。诺依曼老祖：「把它浇铸成电路。三段——次态逻辑、状态寄存器、输出逻辑。」
诺依曼老祖
「三段拼合，电路亮了。再看这个计数器——你 ch03 造过。它也是状态机，状态按固定序列循环，是 FSM 的特例。」
三段式浇铸 · STT → 次态逻辑 + D 触发器 + 输出逻辑
把 STT 拆成"次态函数"和"输出函数"，分别浇铸成组合逻辑，中间夹一列 D 触发器。
计数器即 FSM · 3 位二进制计数器分析
幽灵状态探测 · 编码"11"上电落进去怎么办？
综合之台 · 三件作品
综合之台铺着三块空白石板，每块旁边刻着任务。诺依曼老祖：「三件作品。造完，你就是真正的状态机师。」你顺利造完前两件。到第三块时，REQ 和 ACK 两个信号在状态图上交织——状态数开始跳涨。
状态爆炸之雾
「再加一个信号。我看你还画不画得下。」
三件作品 · 全流程综合 + 状态膨胀
状态爆炸之雾 · 排除法收网
三块石板上的状态图全部碎裂。雾从裂缝中涌出，凝成一面无边无际的墙——墙上密密麻麻爬满了状态节点，多到数不清。
状态爆炸之雾
「我是状态爆炸之雾。我不住在你的错误里——错误你能改。我住在你'以为可以穷举一切'的地方。每多一个输入变量，状态空间就翻一倍。三问。答错一题，雾就厚一分。」
诺依曼老祖
「你的刻痕，够用了。」
渊账累计 0 笔 · 三问全对后清零
幻演圆满 · 状态之舞
雾散尽时幻境重归清朗。石壁上的状态图碎片缓缓归位，拼成一张完整的知识图谱。
诺依曼老祖
「你入门了。不是因为你画完了所有状态——你永远画不完。是因为你学会了什么时候放下笔。但——状态机本身能不能被'计算'？有没有一种语言，比圆圈和箭头更强大？这些问题，在更后面的章节等你。」
知识图谱点亮 · 把十五个碎片排成认知链
点击下方碎片，按因果顺序点亮认知链。从 FSM 定义到状态爆炸，你走过的每一步都在这条链上。