이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
박준호
가입: 2012년 9월 15일 올린 글: 71
|
올려짐: 2013년11월11일 21:18 주제: 5-1 무한루프 질문입니다 |
|
|
(\x.(x x))(\x.(x x))의 경우,
저는 매번 스텝을 비교하면서 진행하기 때문에, 여러가지 상태가 바뀌는 무한루프가 아닌 경우에는(위와 같은 경우) 멈추게 됩니다
유한시간에 끝나는 입력이 아닌 경우 별다른 조치를 상관없나요??
5-1도 5-2처럼 eager-evaluation해야하나요? |
|
위로 |
|
|
강동옥
가입: 2009년 9월 18일 올린 글: 602
|
올려짐: 2013년11월12일 9:53 주제: |
|
|
5-1은 normal order reduction을 따라야 합니다.
normal order reduction으로
끝나는 입력만 테스트할 예정입니다. |
|
위로 |
|
|
박준호
가입: 2012년 9월 15일 올린 글: 71
|
올려짐: 2013년11월12일 14:53 주제: |
|
|
끝나는 입력이라는건, 무한루프를 생성하지 않는, 유한번의 시행으로 끝나는 식을 입력하신다고 생각해도 되는거지요? |
|
위로 |
|
|
강동옥
가입: 2009년 9월 18일 올린 글: 602
|
올려짐: 2013년11월12일 17:00 주제: |
|
|
네 normal order reduction으로 유한시간 내에 끝나는 것들입니다. |
|
위로 |
|
|
|