考虑作业中的以下代码。这里的目的是证明账户交易是可交换的。据我所知，有两个账户e1 {cash 10}和e2 {cash 20}。因此，如果我通过给出10然后在e2上通过给出10来进行交易然后我以相反的顺序进行交易，那么在结束时账户状态是相同的。为此，我必须证明其间的帐户状态是等价的。 如帐户状态[e1 {10} e2 {20}] - ＆gt; [e1 {0} e2 {20}] - ＆gt; [e1 {0} e2 {10}]和[e1 {10} e2 {20} ] - ＆gt; [e1 {10} e2 {10}] - ＆gt; [e1 {0} e2 {10}]即两者之间的状态导致相同的状态。我的想法是否正确？我如何制定这个？乍一看对我来说这看起来微不足道，但并不容易。
undefined