2
다음 람다 계산법이 있으며 베타 버전을 알고 싶습니다.일부 람다의 베타 감소
람다는 다음과 같습니다
λxy.xy
내 생각, 거기에는 대체하지 않으며 X는 몸에 결합되어 있기 때문에 베타가 감소 할 수 없다.
내 생각은 맞나요?
A
답변
4
베타 감소를 적용 할 수 없습니다 (찾고있는 것일 수 있음). 베타 감소는 기능 응용 프로그램에만 적용될 수 있습니다 (모든 경우가 아닌 경우에도 적용 가능).
은 x가 f에서 자유롭게 나타나지 않을 때 λ x.fx를 f로 변환하는 η 변환을 적용합니다. .; xy.xy = 람다; X & 람다; y.xy → η 및 람다, x.x (= I)
및 람다 : 그럼 당신은 당신의 식을 변환 할 수 있습니다.
+0
죄송합니다, 팔로우 할 수 없습니다. η 변환은 무엇을 의미합니까? 아주 간단한 예를 보여 주시겠습니까? (= 나는) 무엇을 의미합니까? –
+2
@zero_coding Eta 변환은 단순히 추상화가 상수 표현식 f를 인수 x에 적용하는 경우 (즉, \ x.fx'가 f에 x가 포함되지 않은 경우) 추상화가 f 자체와 동일하다는 것을 의미합니다. 추상화 만하면 f/forwards x가되므로 제거 할 수 있습니다. – Keelan
+0
감사합니다. –
예. 여기서 줄일 수 있습니다. – Alec
η는 무엇입니까? –
더 일반적으로 [eta _conversion_] (https://en.wikipedia.org/wiki/Lambda_calculus#.CE.B7-conversion)로 표시됩니다. – Alec