Memoization 판별을 완벽하게는 할 수 없는 것 같습니다.

snu-sf-class / PP2015f_TA

Base page for PP's TA page

14 stars 9 forks source link

Open Miren0923 opened 8 years ago

Miren0923 commented 8 years ago

halting problem과 비슷한 방법으로 증명이 가능해 보입니다.

myeval_memo 함수를 작성하는데 참고하면 좋을 것 같아서 올립니다.

kim-yoonseung commented 8 years ago

잘 기억은 안 나는데, Rice's theorem 때문에 어떤 프로그램이든 어떤 특성을 가지는지 안 가지는지 완전히 판별하는 프로그램은 없을 거에요.