状態の変化の模式図
状態変化は、始状態と終状態によってのみ定まる。
<=PREV
|
NEXT=>
.