게시판 인덱스

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

5-1 질문

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



가입: 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)와 같은 람다식은 끝나지 않아야 합니다. 람다의 계산은 레덱스가 더 이상 없는 정상식에 도달했을 때에 종료합니다.
위로
사용자 정보 보기 비밀 메시지 보내기
이전 글 표시:   
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 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