 |
|
| 이전 주제 보기 :: 다음 주제 보기 |
| 글쓴이 |
메시지 |
이성환
가입: 2014년 9월 9일
올린 글: 34
|
 올려짐: 2014년11월11일 1:15 주제: |
 |
|
해결하였습니다.
제가 normal order에 대해 잘못 이해하고 있었네요.
-----------
| 코드: | | (\x. (\rest.\arg.(arg arg rest)) (x x)) (\x. (\rest.\arg.(arg arg rest)) (x x)) (\x.\y.x) |
해당 코드가 제 알고리즘에서는 무한히 재귀호출을 하네요.
여기서 K = (\x. (\rest.\arg.(arg arg rest)) (x x)) 라고 하였을 때 왼쪽부터 푸는 normal order를 적용하는 경우
| 코드: | (\x. (\rest.\arg.(arg arg rest)) (x x)) (\x. (\rest.\arg.(arg arg rest)) (x x)) (\x.\y.x)
-> (\x. (\rest.\arg.(arg arg rest)) (K K)) (\x.\y.x) |
가 되고 이 때 왼쪽부분을 계속 풀 경우 K K 로 인해 무한루프를 도는 것이 아닌가요?
이 경우 normal order로 풀었을 때 normal form이 존재하나요?
제가 혹시 normal order를 잘못 이해하고 있는 것은 아닌지..
이성환 가 2014년11월11일 3:14에 수정함, 총 2 번 수정됨 |
|
| 위로 |
|
 |
유재민
가입: 2013년 10월 2일
올린 글: 11
|
| 올려짐: 2014년11월11일 2:43 주제: 감사합니다 |
|
|
테스트케이스 감사합니다. 마지막 케이스까지 정확하게 같게 나오네요. 저한테는 이런 결과입니다.
(#105 = x, #106 = y)
\#105.\#106.(#105) ((#105) ((#105) ((#105) ((#105) ((#105) ((#105) ((#105) ((#105) ((#105) ((#105) ((#105) ((#105) ((#105) ((#105) ((#105) ((#105) ((#105) ((#105) ((#105) ((#105) (#106))))))))))))))))))))) |
|
| 위로 |
|
|
|
|
새로운 주제를 올릴 수 없습니다
답글을 올릴 수 없습니다
주제를 수정할 수 없습니다
올린 글을 삭제할 수 없습니다
투표를 할 수 없습니다
|
Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group
Translated by kss & drssay |
FAQ
검색
멤버리스트
사용자 그룹
사용자 등록하기
개인 정보
비공개 메시지를 확인하려면 로그인하십시오
로그인
