図は、偶数個の1を含むビット列を受理するオートマトンの状態遷移図であり、二重丸が受理状態を表す。a, bの適切な組合せはどれか。
a=0, b=0
a=0, b=1
a=1, b=0
a=1, b=1