小编Ult*_*ent的帖子

Lambda微积分(λa.b)((λx.xx)(λx.xx))

我正在寻找一个弱正规化lambda项的例子.我是否正确地说以下内容:

(?a.b)((?x.xx)(?x.xx))
Run Code Online (Sandbox Code Playgroud)

减少到:

b
Run Code Online (Sandbox Code Playgroud)

要么:

没有终止(如果你试图减少(?x.xx)(?x.xx))

我不确定第一次减少是否正确所以只需要一些澄清,谢谢.

lambda haskell functional-programming lambda-calculus

5
推荐指数
1
解决办法
431
查看次数

覆盖克隆方法 - 不工作(Java)

我正在编写一个搜索算法来解决java中的15个难题.当我克隆谜题状态以产生新的可能动作(女儿)时,它们仍然相互改变而不是分开.

这是我的克隆方法:

public FifteenPuzzleState clone() throws CloneNotSupportedException
{
FifteenPuzzleState copy = (FifteenPuzzleState)super.clone();
for(int i=0; i<copy.currentConfig.length; i++){
    copy.currentConfig[i] = Arrays.copyOf(currentConfig[i], currentConfig[i].length);
}
return copy;     
} 
Run Code Online (Sandbox Code Playgroud)

所以我的问题是,在克隆状态然后改变它之后,它也会影响先前的状态和所有其他克隆.我的第一个想法是我没有正确创建2d数组的深层副本,但我发现上面的代码没有任何问题.

有什么建议?谢谢

java clone deep-copy

-1
推荐指数
1
解决办法
201
查看次数