게시판 인덱스

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

람다 예보 질문

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



가입: 2017년 9월 5일
올린 글: 3

올리기올려짐: 2017년12월13일 14:11    주제: 람다 예보 질문 인용과 함께 답변

람다 예보가 무엇을 요구하는지 잘 모르겠습니다.

실제로 프로그램을 실행하지 않고 '정확히(if and only if)' 어느 함수가 실행될 지를 파악해야 하나요?

아니면 soundness(실제 실행 => 람다 예보)만으로도 충분할까요?
위로
사용자 정보 보기 비밀 메시지 보내기
김성국17



가입: 2017년 9월 15일
올린 글: 16

올리기올려짐: 2017년12월13일 14:40    주제: 인용과 함께 답변

Sound & complete한 람다예보기가 있다면,

임의의 프로그램 pgm이 주어졌을 때,

let f = \x.x in
pgm; f f

라는 프로그램으로 변형해서 halting 문제를 풀 수 있으니까(x의 예보가 공집합이면 no halt, x예보가 {\x.x}이면 halt), sound&complete한 람다예보는 불가능해 보입니다.


항상 그래왔듯이 Soundness만 보장하면 되지 않을까요?
위로
사용자 정보 보기 비밀 메시지 보내기
정성문



가입: 2017년 9월 5일
올린 글: 3

올리기올려짐: 2017년12월13일 14:51    주제: 인용과 함께 답변

저도 그렇게 생각해서 질문을 올렸습니다. 다만 soundness만 만족시키면 충분하다면 '사실상 쓸모 없는' 람다 예보도 괜찮은지 궁금했습니다.
위로
사용자 정보 보기 비밀 메시지 보내기
신원준



가입: 2017년 9월 12일
올린 글: 23

올리기올려짐: 2017년12월13일 17:05    주제: 인용과 함께 답변

지금까지 수업의 논조로 봤을때는

soundness는 기본적으로 만족시켜야 하고 최대한 complete할수록 높은 점수를 받을 것만 같습니다. 그림으로 말하면 동그라미가 클수록 점수가 높은거죠.
위로
사용자 정보 보기 비밀 메시지 보내기
이전 글 표시:   
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4190.310 Programming Languages (Fall 2017) 시간대: GMT + 9 시간(한국)
페이지 11

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


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