分野：テクノロジ系
中分類：基礎理論
小分類：情報に関する理論

矢印で表される初期状態から1→aと遷移し受理状態となった場合、1の個数が偶数個となるためにはaが1でなければなりません。したがってaは1になります。

同様に初期状態から1→b→aを遷移し受理状態となった場合、1の個数が偶数個となるためにはbが0でなければなりません。したがってbは0になります。

∴a＝1、b＝0