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

オートマトンは、現在の状態と入力信号の組合せのみによって次に遷移する状態が決まるモデルです。設問の図の初期状態S₁を例にすると、入力信号が0であれば再度S₁に遷移し、入力信号が1であればS₂に遷移するといった具合です。

設問のオートマトンに 0011001110 の順に入力すると、以下のように遷移します。たどった順に遷移するときの出力（a／bの右側）を順に並べると、0001000110 になります。したがって「ア」が正解です。