図は70円切符の自動販売機に硬貨が投入されたときの状態遷移を表している。状態Q4から状態Eへ遷移する事象はどれか。ここで,状態Q0は硬貨が投入されていない状態であり,硬貨が1枚投入されるたびに状態は矢印の方向へ遷移するものとする。 なお,状態Eは投入された硬貨の合計が70円以上になった状態であり,自動販売機は切符を発行し,釣銭が必要な場合には釣銭を返す。また,自動販売機は10円硬貨,50円硬貨,100円硬貨だけを受け付けるようになっている。
ア | 10円硬貨が投入された。 |
イ | 10円硬貨又は50円硬貨が投入された。 |
ウ | 10円硬貨又は100円硬貨が投入された。 |
エ | 50円硬貨又は100円硬貨が投入された。 |
状態Q1~Q6は投入金額がまだ70円に満たない状態を表します。
それぞれの投入金額は順に0円,10円,20円,30円,40円,50円,60円になると考えられます。
状態Q4は、投入金額が40円になった状態です。
投入金額が40円(Q4)の状態から、投入金額が70円以上の状態(E)に遷移するには、50円または100円硬貨を投入すればよい。