게시판 인덱스

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

숙제 6 질문

 
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4541.664A Program Analysis (Spring 2010)
이전 주제 보기 :: 다음 주제 보기  
글쓴이 메시지
김성준



가입: 2009년 9월 10일
올린 글: 30

올리기올려짐: 2010년4월26일 20:17    주제: 숙제 6 질문 인용과 함께 답변

이전 수업 게시판에서의 질문들과 제가 구현하면서 든 의문들을 정리해 봤습니다. 확실히 확인을 받고자 질문을 올립니다.

1. 공통
(1) leq는 partial order를 뜻하는 것이죠? 그리고 join은 둘의 LUB를 구하는 것이죠?
(2) make, join, union 등 연산의 결과가 TOP과 동일하더라도 굳이 TOP으로 바꿀 필요는 없겠죠? 예를 들어, {0, 1, 2}의 powerset domain에서 ELT {0}과 ELT{1, 2}의 union의 결과는 ELT {0, 1, 2}이면 되는 것인가요?

2. PowersetDomain
(1) inter, diff, union은 각각 교집합, 차집합, 합집합을 의미하는 것이지요?
(2) remove a x에서 a에 x가 포함되어 있지 않다면 Set.remove와 동일하게 a를 그대로 return 하면 되는 것이죠?
(3) remove TOP x, diff TOP y와 같이 TOP에서 특정한 원소(들)을 제외할 때는 TOP을 Set A의 모든 원소로 생각하고 remove나 diff를 수행하면 되는건가요?
(4) Powerset domin에서는 join과 union의 결과가 동일한 건가요?

3. FunDomain
(1) A -> D의 TOP은 언제나 D의 TOP을 리턴하는 Map, A -> D의 BOT는 언제나 D의 BOT를 리턴하는 Map으로 생각하면 되나요?

4. Zintvl
(1) join은 두 interval을 모두 포함하는 interval중에서 제일 작은 interval로 생각하면 되는건가요?
(2) Undefined exception은 언제 발생하는 것인가요? 제 생각에는,
i. l(BOT)
ii. u(BOT)
iii. make i j, where i > j
이렇게 3가지 경우 같은데요.
위로
사용자 정보 보기 비밀 메시지 보내기
허기홍



가입: 2007년 9월 27일
올린 글: 231

올리기올려짐: 2010년4월28일 8:44    주제: 인용과 함께 답변

1. 공통
(1) leq는 partial order를 뜻하는 것이죠? 그리고 join은 둘의 LUB를 구하는 것이죠?
(2) make, join, union 등 연산의 결과가 TOP과 동일하더라도 굳이 TOP으로 바꿀 필요는 없겠죠? 예를 들어, {0, 1, 2}의 powerset domain에서 ELT {0}과 ELT{1, 2}의 union의 결과는 ELT {0, 1, 2}이면 되는 것인가요?

==> 맞습니다.


2. PowersetDomain
(1) inter, diff, union은 각각 교집합, 차집합, 합집합을 의미하는 것이지요?
(2) remove a x에서 a에 x가 포함되어 있지 않다면 Set.remove와 동일하게 a를 그대로 return 하면 되는 것이죠?
(3) remove TOP x, diff TOP y와 같이 TOP에서 특정한 원소(들)을 제외할 때는 TOP을 Set A의 모든 원소로 생각하고 remove나 diff를 수행하면 되는건가요?
(4) Powerset domin에서는 join과 union의 결과가 동일한 건가요?

==> 맞습니다. 멱집합 도메인에서는 join 연산자가 합집합 연산자입니다.


3. FunDomain
(1) A -> D의 TOP은 언제나 D의 TOP을 리턴하는 Map, A -> D의 BOT는 언제나 D의 BOT를 리턴하는 Map으로 생각하면 되나요?

==> 그러실 것 없이 elt 의 값중에 TOP과 BOT를 사용하시면 됩니다.
개념은 성준씨가 말씀하신 것이 맞습니다.


4. Zintvl
(1) join은 두 interval을 모두 포함하는 interval중에서 제일 작은 interval로 생각하면 되는건가요?

==> 네. 그게 바로 lub입니다.

(2) Undefined exception은 언제 발생하는 것인가요? 제 생각에는,
i. l(BOT)
ii. u(BOT)
iii. make i j, where i > j
이렇게 3가지 경우 같은데요.

==> 네. 여기서는 그 정도입니다.
위로
사용자 정보 보기 비밀 메시지 보내기 이메일 보내기 글 올린이의 웹사이트 방문
김성준



가입: 2009년 9월 10일
올린 글: 30

올리기올려짐: 2010년4월29일 22:45    주제: ProductDomain의 leq 인용과 함께 답변

주어진 코드에는 ProductDomain은 leq는

let leq x y = match (x,y)
with (BOT,_) -> true
| (TOP,_) -> false
| (_,BOT) -> false
| (_,TOP) -> true
| (ELT(a,b), ELT(a',b')) -> (A.leq a a') && (B.leq b b')
과 같이 정의되어 있습니다. 그렇지만 TOP TOP 이므로,

let leq x y = match (x,y)
with (BOT,_) -> true
| (_,TOP) -> true
| (TOP,_) -> false
| (_,BOT) -> false
| (ELT(a,b), ELT(a',b')) -> (A.leq a a') && (B.leq b b')
이 맞는 것 같은데요?
위로
사용자 정보 보기 비밀 메시지 보내기
허기홍



가입: 2007년 9월 27일
올린 글: 231

올리기올려짐: 2010년4월29일 23:42    주제: 인용과 함께 답변

말씀하신 것이 맞습니다.
위로
사용자 정보 보기 비밀 메시지 보내기 이메일 보내기 글 올린이의 웹사이트 방문
서상민



가입: 2006년 9월 11일
올린 글: 25

올리기올려짐: 2010년4월30일 19:50    주제: 인용과 함께 답변

인용:
2. PowersetDomain
(3) remove TOP x, diff TOP y와 같이 TOP에서 특정한 원소(들)을 제외할 때는 TOP을 Set A의 모든 원소로 생각하고 remove나 diff를 수행하면 되는건가요?

remove: atom -> elt -> elt인데 remove TOP x가 가능한가요?
위로
사용자 정보 보기 비밀 메시지 보내기
허기홍



가입: 2007년 9월 27일
올린 글: 231

올리기올려짐: 2010년5월1일 15:28    주제: 인용과 함께 답변

인자의 순서를 실수로 바꾸었네요.
위로
사용자 정보 보기 비밀 메시지 보내기 이메일 보내기 글 올린이의 웹사이트 방문
이전 글 표시:   
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4541.664A Program Analysis (Spring 2010) 시간대: GMT + 9 시간(한국)
페이지 11

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


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