図は 1 の数が偶数個のビット列を受理するオートマトンの状態遷移図であり， “偶”と書かれた二重丸が受理状態を表す。 a，b の正しい組合せはどれか。