이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
정성문
가입: 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할수록 높은 점수를 받을 것만 같습니다. 그림으로 말하면 동그라미가 클수록 점수가 높은거죠. |
|
위로 |
|
|
|