람다 미적분 표현 감소

람다 미적분 감소가 어떻게 작동하는지 배우고 이해하려고합니다. 이 하나에 좀 발현을 감소 봤는데 실행했습니다 :람다 미적분 표현 감소

(λ x . x (λ x . λ y . x))

내가 한이로 감소 :

(λ x . λ y . x)

을하지만, 정상적인 형태로 있다면 내가 모르거나 더 줄일 수 있습니다.

2015-01-16 Saturnino

이 Python 언어 질문에 Pyton 태그를 추가해야합니다. –

이것은 파이썬뿐만 아니라 일반 람다 식 축소 문제입니다. – Saturnino

또한 http://cs.stackexchange.com/에 적합 할 수도 있습니다. – Codor

첫 번째 표현식은 다른 용어에 적용되는 유일한 용어가 바운드 (따라서 정의되지 않은) 변수이기 때문에 더 이상 줄일 수 없습니다. x은 아무 것도 될 수 없으므로 환급액이 유효하지 않으므로 (λ x . λ y . x)에게 어떤 조치가 취해질 지 모릅니다.

2015-01-16 14:23:36 jwodder

@Saturnino 예, 잘못되었습니다. 네가 네 생각을 잘 모르겠다. – jwodder

알파 변환을 적용하면 줄일 수 있습니까? – Saturnino

@Saturnino 알파 변환은 실제로 축소되지 않습니다. 이것은 단지 변수 이름의 피상적 인 변경 일뿐입니다. – jwodder

답변