状態機械モデル

状態機械モデル
「ある物」が「状態」をもっている
何か「入る」と、「状態」が変る
「状態」によって、「出る」物も変る
「出る」物が、「入る」物だけでなく、「状態」によっても異なる
cf. 「関数」: 「状態」がない
ex. 自動販売機 (sample-013.c) / 人の気分 (sample-014.c)
状態機械モデルの実現
状態を「変数の値」で表現する
状態を変える事は、変数の値を変える事