게시판 인덱스

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

지난 챌린지인 tail recursion에 대해 질문

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





올리기올려짐: 2007년12월3일 23:13    주제: 지난 챌린지인 tail recursion에 대해 질문 인용과 함께 답변

오늘 수업시간에 교수님께서..

(l::v::(x,C',E')::S,M,E,callx::C, K) => (S, M, E', C'::C, K)
로 해야한다고 하셨습니다. C에 수행해야할 명령이 있을 수 있기때문이죠.

C에 남아있을 수 있는 명령의 예로 let문으로 인한 unbind x를 드셨습니다.
그리고 SM5에서 unbind는 E에서 (x,w)를 제거합니다.

그런데 위 경우에 unbind되는 x는 E에 존재하는 변수입니다.
아마도 E'에는 unbind하려는 x가 존재하지 않을 것이고요.
그렇다면 오히려 엉뚱한 것이나 없는 변수를 unbind하는 상황이 오지 않을까요?


제가 unbind에 대해서 고려하지 않은 이유는.. C에 unbind x만 남아있다면,
어차피 해당 x가 들어있는 E는 C 수행후에 K의 (c,e)를 pop하면서 e로 E를 대체하여
E는 사라지기 떄문에 굳이 실행할 필요가 없다고 생각했기 때문입니다.


제가 잘못 생각하고 있는게 있을까요? 그리고 unbind 외에
tail recursion후 남아있는 C로는 어떤 것이 있을 수 있을까요?

감사합니다.
위로
이전 글 표시:   
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4190.310 Programming Languages (Fall 2007) 시간대: GMT + 9 시간(한국)
페이지 11

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


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