自动机, 就是对于每一个状态和给出的元素, 可以唯一确定下一个转移的一个模型
比如判断一个二进制数的奇偶性, 这是一个很难的问题, 用正常思路基本解决不了, 只有巨佬才能不要自动机解决, 我只有用自动机才能勉强明白
定义状态 \(p_0\) 表示考虑完读入的这一部分末尾 0
为 0
个的方案数是否合法, \(p_1\) 表示考虑完读入的这一部分末尾 0
\(\ge 1\) 个的方案数是否合法
很显然可以画出这张图
边表示如果下一个读入什么时会转移到哪里
如果最后在 \(p_0\), 表示这个数是偶数, 如果在 \(p_1\), 表示这个数是奇数
如果你能理解上面繁琐的内容, 你就能 A 掉以上问题