이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
김성준
가입: 2009년 9월 10일 올린 글: 30
|
올려짐: 2009년11월5일 14:05 주제: ex1 올바른 번역의 정의 |
|
|
ex1에서 'K.program과 Sm5.command가 동일한 일을 한다'의 정의가 여러가지가 있을 것 같은데요.
예를들어
1) 동일한 키보드 입력에 대해 동일한 스크린 출력을 낸다
2) 1)이면서 마지막에 리턴하는 값이 동일하다.(Sm5의 경우 stack의 맨 위의 value)
3) 2)이면서 메모리와 environment가 동일하다.
등등이 있는 것 같은데요. 어떤 기준에 맞춰서 구현을 하면 될까요? |
|
위로 |
|
|
허기홍
가입: 2007년 9월 27일 올린 글: 231
|
올려짐: 2009년11월5일 20:29 주제: |
|
|
1번은 확실합니다.
2,3번은 좀 문제가 있습니다.
K--언어에서 말하는 Value와 Sm5 스택에 올라가는 Svalue는 다르기 때문입니다.
정의를 보시면 아시겠지만 Svalue가 Value를 포함합니다.
따라서 두 개가 같다고 동일한 일을 한다, 다르면 다른 일을 한다고 말할 수가 없습니다.
메모리와 환경도 마찬가지입니다.
1번에 집중하시면 됩니다. |
|
위로 |
|
|
|