第9章 状态与流程-等价性与因果关系