|
|
이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
김성준
가입: 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 주제: |
|
|
인자의 순서를 실수로 바꾸었네요. |
|
위로 |
|
|
|
|
새로운 주제를 올릴 수 없습니다 답글을 올릴 수 없습니다 주제를 수정할 수 없습니다 올린 글을 삭제할 수 없습니다 투표를 할 수 없습니다
|
Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group Translated by kss & drssay
|