게시판 인덱스

 
 FAQFAQ   검색검색   멤버리스트멤버리스트   사용자 그룹사용자 그룹   사용자 등록하기사용자 등록하기 
 개인 정보개인 정보   비공개 메시지를 확인하려면 로그인하십시오비공개 메시지를 확인하려면 로그인하십시오   로그인로그인 

숙제 5-2와 관련해서.

 
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4190.310 Programming Languages (Fall 2010)
이전 주제 보기 :: 다음 주제 보기  
글쓴이 메시지
신기정



가입: 2009년 9월 15일
올린 글: 83

올리기올려짐: 2010년10월24일 14:43    주제: 숙제 5-2와 관련해서. 인용과 함께 답변

숙제 5-2와 관련해서 헷갈리는 부분이 있습니다.


1.

M0은 적극적인 프로그래밍 언어라고 나와있습니다.
만약 주어진 M0 언어 (fn id => e1) e2 를 (\id (encode e1)) (encode e2) 의 람다식으로 번역한다면,
이 것을 normal-order reduction 했을 때
M0의 semantic대로(즉 적극적인 방식으로) 수행되는 것이 아니니까
잘못된 것인가요?


2.

문제에서
인용:
Exercise 1에서 만든 reduce로 실행시켜서 언래 M0 프로그램의 결과와 같은 결과를 내놔야 한다.

이 말은 저런 경우를 모두 고려해서, normal-order reduction을 하더라도 같은 semantic(적극적인 계산)을 보장할 수 있도록 encoding 해야 한다는 것을 의미하는 건가요?

3.

이도 저도 아니면, 결과 람다식이 적극적인 방식으로 계산(reduction)된다고 가정하고 번역하되, 만약 적극적인 방식과 소극적인 방식으로 reduction을 했을 때 결과에 차이가 있는 경우는
M0을 수행했을 때와, M0에서 번역한 것을 Exercise 1의 reduce로 수행했을 때와 계산 결과가 다를 수 있다. 이게 맞는 건가요?
위로
사용자 정보 보기 비밀 메시지 보내기
조성근



가입: 2009년 9월 14일
올린 글: 283

올리기올려짐: 2010년10월24일 20:14    주제: 인용과 함께 답변

적극적인 방식과 소극적인 방식으로 계산하였을 때 프로그램의 종료 여부는 달라질 수 있습니다. 하지만 만약 두 방식 모두 프로그램이 끝난다면 결과 값은 같습니다.

문제에서 번역할 프로그램을 "항상 자연수를 최종적으로 계산하는 프로그램"으로 제한하고 있으므로 프로그램은 항상 종료하며 따라서 프로그램의 결과 값이 달라지는 일은 없겠습니다.
위로
사용자 정보 보기 비밀 메시지 보내기
이전 글 표시:   
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4190.310 Programming Languages (Fall 2010) 시간대: GMT + 9 시간(한국)
페이지 11

 
건너뛰기:  
새로운 주제를 올릴 수 없습니다
답글을 올릴 수 없습니다
주제를 수정할 수 없습니다
올린 글을 삭제할 수 없습니다
투표를 할 수 없습니다


Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group
Translated by kss & drssay