심우철
가입: 2009년 10월 4일 올린 글: 23
|
올려짐: 2010년10월25일 20:46 주제: 과제 5-1 테스트 케이스의 답이 궁금합니다. |
|
|
과제를 하다가 람다 계산법에 대해 혼동이 있어서 질문드립니다.
코드: | \x.\y.\z.(x y)(y z)(\x.x)(\x.x)(\x.x) |
이 식은 어떻게 줄어들 수 있나요?
제 생각에는
\x.\y.\z.(x y)(y z)(\x.x)(\x.x)(\x.x)
=> \x.\y.\z.(((((x y) (y z)) (\x.x)) (\x.x)) (\x.x)) (left-association에 의해)
이고 이 형태에서 줄일 수 있는 적절한 reduction rule 이 없기 때문에
여기서 더 줄일 수 없을 것 같은데,
이 전개가 맞는건가요? |
|