|
|
이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
jhwon
가입: 2009년 3월 13일 올린 글: 9
|
올려짐: 2009년5월12일 22:03 주제: HW7 궁금한 점... |
|
|
정확히 이해를 못한건지;;; 아리송한 게 있습니다.
1. leq의 정확한 의미가 무엇인가요?
FlatDomain의 leq를 보면,
let leq x y = match (x, y)
with (BOT, _) -> true
| (_, TOP) -> true
| (ELT a, ELT b) -> a=b
| _ -> false
라 leq TOP TOP = true로 partial order를 나타내는걸로 이해했습니다.
그런데 ProductDomain에서는,
let leq x y = match (x,y)
with (BOT,_) -> true
| (TOP,_) -> false
| (_,BOT) -> false
| (_,TOP) -> true
라 leq TOP TOP = false (맞나요?)가 되어 혼란스럽습니다.
2. FunDomain에서 TOP에 대한 update, map, fold 함수의 의미?
FunDomain의 update, map, fold를 TOP인 경우 어떻게 해야 하는지 모르겠습니다.
PowersetDomain인 경우 A.all()를 사용하던데,
FunDomain의 (A: SET) (B: DOMAIN)의 모든 가능한 조합을 all()로 보고 구현해야 하나요?
3. Interval domain에서 BOT elt에 대한 l, u 함수 동작?
Interval domain에서 l : elt -> bound인데
l BOT 인 경우 bound(Z of int | Pinfty | Ninfty)로 어떻게 표시해야 하나요?
감사합니다. _________________ 프로그래밍 분석 2009 Spring 수강하는 학생입니다. |
|
위로 |
|
|
공순호
가입: 2005년 9월 29일 올린 글: 363 위치: 302동 312-2호
|
올려짐: 2009년5월13일 2:11 주제: |
|
|
1. leq
leq는 partial order 을 의미합니다.
ProductDomain에서 leq의 정의를 다음과 같이 바꾸시기 바랍니다.
코드: |
let leq x y = match (x,y)
with (BOT,_) -> true
| (_,BOT) -> false
| (_,TOP) -> true
| (TOP,_) -> false
| ...
|
2. FunDomain에서 TOP에 대한 update, map, fold의 의미
오늘 오전에 답변 드리겠습니다.
3. l BOT = ?
Undefined exception을 발생시키면 됩니다. _________________ - soon@ropas |
|
위로 |
|
|
공순호
가입: 2005년 9월 29일 올린 글: 363 위치: 302동 312-2호
|
올려짐: 2009년5월13일 13:49 주제: |
|
|
2. FunDomain에서 TOP에 대한 update, map, fold의 의미
TOP과 BOT의 의미를 다음과 같이 생각하면 됩니다.
참고로 PowersetDomain의 경우에도
TOP과 BOT의 의미를 다음과 같이 생각하면 됩니다.
수행 결과로 나온 TOP을 ELT(A.all ())로 변환하거나,
혹은 그 반대를 하는 연산을 수행할 필요는 없습니다. _________________ - soon@ropas |
|
위로 |
|
|
jhwon
가입: 2009년 3월 13일 올린 글: 9
|
올려짐: 2009년5월13일 16:27 주제: |
|
|
감사합니다 ^^ _________________ 프로그래밍 분석 2009 Spring 수강하는 학생입니다. |
|
위로 |
|
|
|
|
새로운 주제를 올릴 수 없습니다 답글을 올릴 수 없습니다 주제를 수정할 수 없습니다 올린 글을 삭제할 수 없습니다 투표를 할 수 없습니다
|
Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group Translated by kss & drssay
|