3
가 나는 정상적인 폼의에서 용어람다 미적분학 - 여기서 다른 베타 버전을 줄일 수없는 이유는 무엇입니까?
(z (λy.z x) (λy.y z))
이미 것을 말씀 드리 지요 -하지만 난 왜 이해가 안 돼요.
(z (λy.z x) (λy.y z)) ==> (z z x)
A
답변
3
응용 프로그램은 일반적으로 왼쪽 연관되는 촬영 : 그것은에 평가 할 수 있도록 한,이 상태에서 또 다른 베타 감소하고 (λy.y z)에 의해 용어 (λy.z x)에 y의 모든 발행 수를 대체 할 수 없습니다. 즉
z (λy.z x) (λy.y z)
그것은 베타 감소에 z의 값을 요구
(z (λy.z x)) (λy.y z)
하지
z ((λy.z x) (λy.y z))
입니다이다.