是否存在lambda项M和B且M = / = B，因此M B和（M B）（M B）具有相同的规范形式？
这是我还是lambda演算的新手时遇到的问题 我接近了 通过使M =λx.x和B =λy.y ΜΒ=（λx.x）（λy.y）->（β）λy.y
（MB）（MB）=（（λx.x）（λy.y））（（λx.x）（λy.y））->（β）（λy.y）（（λx.x） （λy.y））->（β）（λx.x）（λy.y）->（β）λy.y 并因此获得相同的规范形式，但我不确定（M B）（M B）是否正确。
答案 0 :(得分：0)
您发布的减少额是正确的。
一件事是，您可以在lambda术语中为绑定变量使用任何名称，因此术语number of tasks和declare
a varchar(50):='&a';
b varchar(50);
len number;
i number;
begin
len:=length(a);
for i in reverse 1..len
loop
b:=b || substr(a,i,1);
end loop;
dbms_output.put_line('The original String is:' ||a);
dbms_output.put_line('Reverse of String is:'||b);
end;
并没有什么不同；他们是同一个名词。这称为Alpha等价。
要知道的另一件事是，仅返回其参数的函数$('li:has(ul)').click(function(event){
if (this == event.target) {
$(this).children().toggle('fast');
}
}).children().hide();被称为恒等函数，并且非常有用。
以下是您的问题的答案，其中M和B不同。 M可以是忽略其参数并返回标识函数<script src="https://ajax.googleapis.com/ajax/libs/jquery/2.1.1/jquery.min.js"></script>
<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width">
<title>JS Bin</title>
</head>
<body>
<ul>
<li>A<a href="A.html"></a>
<ul>
<li><a href="../1.html">1</a></li>
<li><a href="../2.html">2</a></li>
<li><a href="3.html">3</a></li>
<li><a href="../4.html" >4</a></li>
<li><a href="../5.html" >5</a></li>
<li><a href="../6.html">6</a></li>
</ul>
</li>
<li >B<a href="B.html"></a>
<ul>
<li><a href="11.html">1</a></li>
<li><a href="12.html" >2</a></li>
<li><a href="13.html" >3</a></li>
<li><a href="14.html" >4</a></li>
<li><a href="15.html" >5</a></li>
<li><a href="16.html" >6</a></li>
<li><a href="17.html" >7</a></li>
<li><a href="18.html" >8</a></li>
<li><a href="19.html" >9</a></li>
<li><a href="20.html" >10</a></li>
<li><a href="21.html" >11</a></li>
</ul>
</li>
<li >C<a href="C.html"></a>
<ul>
<li><a href="21.html">1</a>
</li>
<li><a href="22.html" >2</a>
</li>
<li><a href="23.html" >3</a>
</li>
<li><a href="24.html" >4</a>
</li>
<li><a href="25.html" >5</a>
</li>
<li><a href="26.html">6</a>
</li>
<li><a href="27.html" >7</a>
</li>
<li><a href="28.html" >8</a>
</li>
<li><a href="29.html" >9</a>
</li>
</ul>
</li>
<script src="https://code.jquery.com/jquery-3.1.0.js"></script>
</ul>
</body>
</html>的函数。 B可以是与M不同的任何术语。
然后，
\x.x-> \y.y
还有
\x.x-> \x.\y.y-> (M B)