自動機, 就是對於每一個狀態和給出的元素, 可以唯一確定下一個轉移的一個模型
比如判斷一個二進位制數的奇偶性, 這是一個很難的問題, 用正常思路基本解決不了, 只有巨佬才能不要自動機解決, 我只有用自動機才能勉強明白
定義狀態 \(p_0\) 表示考慮完讀入的這一部分末尾 0 為 0 個的方案數是否合法, \(p_1\) 表示考慮完讀入的這一部分末尾 0 \(\ge 1\) 個的方案數是否合法
很顯然可以畫出這張圖
邊表示如果下一個讀入什麼時會轉移到哪裡
如果最後在 \(p_0\), 表示這個數是偶數, 如果在 \(p_1\), 表示這個數是奇數
如果你能理解上面繁瑣的內容, 你就能 A 掉以上問題