基礎理論
基本情報技術者試験 科目A免除 修了試験 20171210 実施分 問4
300円の商品を販売する自動販売機の状態遷移図はどれか。ここで，入力と出力の関係を“入力／出力”で表し，入力の“a”は“100円硬貨”を，“b”は“100円硬貨以外”を示し，S0～S2は状態を表す。入力が“b”の場合はすぐにその硬貨を返却する。また，終了状態に遷移する際，出力の“1”は商品の販売を，“0”は何もしないことを示す。
ア〜エの4つの状態遷移図（状態S0,S1,S2・初期状態を示す太矢印・終了状態は二重丸）。各選択肢の中に遷移内容を記載。
- ア [図] 初期状態S0（二重丸＝終了状態を兼ねる）。S0,S1,S2それぞれに自己ループ b/0。S0→S1 a/0，S1→S2 a/0，S2→S0 a/1
- イ [図] 初期状態S0，終了状態S2（二重丸）。S0,S1,S2それぞれに自己ループ b/0。S0→S1 a/0，S1→S2 a/1，S0→S2 a/1（下側の弧）
- ウ [図] 初期状態S0，終了状態S2（二重丸）。S0,S1,S2それぞれに自己ループ b/0。S0→S1 a/0，S1→S2 a/1，S2→S0 a/0（下側の弧）
- エ [図] 初期状態S0（二重丸＝終了状態を兼ねる）。自己ループ：S0 a/0，S1 a/0，S2 a/1。S0→S1 b/0，S1→S2 b/0，S2→S0 b/0（下側の弧）
出典：基本情報技術者試験 科目A免除 修了試験 20171210 実施分 問4
答えと解説を見る
正解：ア
覚える知識
状態遷移図の読解
状態遷移図は状態と、入力/出力で示される遷移の集合で、条件を満たす遷移列を読み取る。
この問題で必要なこと
300円の自販機は100円硬貨を3回入れると販売(出力1)し終了する。b(100円以外)は返却して状態不変。アはS0→S1→S2→S0で3回目に1を出力し、各状態でbは自己ループ。
ひっかけ
イはa2回で販売(S0→S2直通が不整合)、ウはS2からの遷移がa/0で販売されない、エはbで遷移しaで自己ループしており入力の意味が逆。
この知識の出題：本試験系 4 回・免除試験 13 回（公開問題での観測値）