図は，150 円のジュースを販売する自動販売機の状態遷移において，状態を “S_i”，遷移条件を“X ／ Y ＋ Z ”で表したものである。 “S₀”を初期状態とすると，図中の a，b に入れるべき字句の適切な 組合せはどれか。ここで，X は入力を示し，使用可能な硬貨は 50 円と 100 円だけであり， 一度に１枚だけ投入できる。Y は出力を示し，＊は何も出力されないことを表す。 また，Z は X と Y による付帯条件“釣銭”を表し，釣銭がない場合は記述しない。 例えば，“100 ／ジュース＋ 50 ”は，100 円硬貨を投入するとジュースが出て， 釣銭が 50 円であることを表す。