平成24年度 春期 基本情報技術者試験 午前 問5
テクノロジ／基礎理論図は70円切符の自動販売機に硬貨が投入されたときの状態遷移を表している。状態 Q4 から状態 E へ遷移する事象はどれか。ここで，状態 Q0 は硬貨が投入されていない状態であり，硬貨が1枚投入されるたびに状態は矢印の方向へ遷移するものとする。 なお，状態 E は投入された硬貨の合計が70円以上になった状態であり，自動販売機は切符を発行し，釣銭が必要な場合には釣銭を返す。また，自動販売機は10円硬貨，50円硬貨，100円硬貨だけを受け付けるようになっている。
出典：平成24年度 春期 基本情報技術者試験 午前 問5
- ア10円硬貨が投入された。
- イ10円硬貨又は50円硬貨が投入された。
- ウ10円硬貨又は100円硬貨が投入された。
- エ50円硬貨又は100円硬貨が投入された。
正解：エ
解説
図の主鎖 Q0→Q1→…→Q6 は，常に最低額の10円硬貨だけを投入し続けた場合の状態（Qkは10円硬貨をk枚投入して合計10k円になった状態）を表しています。状態Q4は合計40円の状態です。ここからEへの直接の矢印は，一度の硬貨投入で合計が70円以上になる場合に生じます。40円に50円を足すと90円，100円を足すと140円で，どちらも70円以上になりEに遷移しますが，10円を足しても50円にしかならずQ5に留まります。したがって，Q4からEへの遷移は50円硬貨又は100円硬貨が投入されたときに限られます。
選択肢ごとの解説
- ア誤り。40円に10円を追加しても50円にしかならず，70円以上にならないのでEには遷移せずQ5に進みます。
- イ誤り。10円硬貨の投入ではEに遷移しないため，10円硬貨を含むこの選択肢は誤りです。
- ウ誤り。10円硬貨の投入ではEに遷移しないため，10円硬貨を含むこの選択肢は誤りです。
- エ正しい。40円に50円を加えると90円，100円を加えると140円となり，いずれも70円以上になるためEに遷移します。