状態変更形式

状態の変更は次の形式で示されます。

old_state => new_state.