이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
최민아
가입: 2009년 9월 28일 올린 글: 236
|
올려짐: 2010년10월30일 13:14 주제: 5-1 질문 |
|
|
5-1질문입니다.
노멀텀으로 끝나지 않는 람다식 중 형태가 정해져 있는 경우
즉 Y combinator 같은 경우가 아니라
(\x.x x) (\x.x x) 같은 경우(끝나지 않으면서 형태가 변하지 않는)
reduce도 끝나지 않아야 하나요?
(\x.x x) (\x.x x) 같은 변하지 않는 모양을 출력하도록 하면 안되나요? |
|
위로 |
|
|
조성근
가입: 2009년 9월 14일 올린 글: 283
|
올려짐: 2010년10월30일 14:16 주제: |
|
|
문제에서 normal order reduction룰을 따르는 계산기를 구현하라고 하였으므로 (\x.x x) (\x.x x)와 같은 람다식은 끝나지 않아야 합니다. 람다의 계산은 레덱스가 더 이상 없는 정상식에 도달했을 때에 종료합니다. |
|
위로 |
|
|
|