問題プレビューID: 4e5b5b78

300 円の自動販売機の状態遷移を考えます。入力 $a$ は 100 円硬貨，入力 $b$ は 100 円硬貨以外であり，$b$ の場合は硬貨を返却して状態は変わりません（出力 0 の自己ループ）。

• 状態 $S_0$（0 円）で 100 円硬貨（$a$）を投入すると $S_1$ に遷移します（まだ販売しないので出力 0）：$S_0 \xrightarrow{a/0} S_1$
• $S_1$（100 円）で $a$ を投入すると $S_2$ に遷移します（出力 0）：$S_1 \xrightarrow{a/0} S_2$
• $S_2$（200 円）で $a$ を投入すると合計 300 円になり，商品を販売して $S_0$ に戻ります（出力 1）：$S_2 \xrightarrow{a/1} S_0$
• 各状態で $b$ を投入した場合は硬貨を返却するだけで，状態は変わらず出力も 0 です（$b/0$ の自己ループ）。

したがって，適切な状態遷移図は「ア」です。