...”(append)操作为例说明可以用递归的方法定义这个函数，并可以用形式化的方法证明链表的附加操作是满足结合律的(associative law)，即x@(y@z)二(x@y)@z。
基于7个网页-相关网页
满足结合律的
Satisfying the associative law
以上为机器翻译结果，长、整句建议使用 人工翻译 。
我们容易验证乘法满足结合律和交换律，并且由加法结果的唯一性得出乘法结果的唯一性和乘法消去律。
We then can verify the associative law and the commutative law for multiplication, and the uniqueness of the result of addition indicates the uniqueness and the cancellation law for multiplication.
youdao
应用推荐
模块上移
模块下移
不移动