平成15年春期試験問題 午前問10
問10解説へ
図は，150円のジュースを販売する自動販売機の状態遷移において，状態を"Si"，遷移条件を"X／Y＋Z"で表したものである。"S0"を初期状態とすると，図中の a，b に入れるべき字句の適切な組合せはどれか。ここで，Xは入力を示し，使用可能な硬貨は50円と100円だけであり，一度に1枚だけ投入できる。Yは出力を示し，＊は何も出力されないことを表す。また，ZはXとYによる付帯条件"釣銭"を表し，釣銭がない場合は記述しない。例えば，"100／ジュース＋50"は，100円硬貨を投入するとジュースが出て，釣銭が50円であることを表す。
広告
解説
S0からS1への状態遷移は、「50円硬貨を投入すると何も出力されないこと」を表すので、設問(a)のS1からS0への状態遷移は、「100円硬貨を投入するとジュースが出て、釣銭がないこと」を表します。
また、S0からS2への状態遷移は、「100円硬貨を投入すると何も出力されないこと」を表すので、S2は、100円硬貨を投入された状態です。
したがって、設問(b)のS1からS2への状態遷移は、「50円硬貨を投入して何も出力されないこと」を表します。
最後に、設問にはありませんがS2からS0への状態遷移を確認しておきます。
S2は、「100円硬貨を投入」された状態または、「50円硬貨を投入」さらに、「50円硬貨を投入」された状態です。
したがって、S2からS0への状態遷移は、「50円硬貨を投入するとジュースが出て、釣銭がない」または、「100円硬貨を投入するとジュースが出て、釣銭が50円であること」を表します。
また、S0からS2への状態遷移は、「100円硬貨を投入すると何も出力されないこと」を表すので、S2は、100円硬貨を投入された状態です。
したがって、設問(b)のS1からS2への状態遷移は、「50円硬貨を投入して何も出力されないこと」を表します。
最後に、設問にはありませんがS2からS0への状態遷移を確認しておきます。
S2は、「100円硬貨を投入」された状態または、「50円硬貨を投入」さらに、「50円硬貨を投入」された状態です。
したがって、S2からS0への状態遷移は、「50円硬貨を投入するとジュースが出て、釣銭がない」または、「100円硬貨を投入するとジュースが出て、釣銭が50円であること」を表します。
広告