有限オートマトン
ステートマシン
状態遷移と動作のモデル