[김성준]

ex1에서 'K.program과 Sm5.command가 동일한 일을 한다'의 정의가 여러가지가 있을 것 같은데요.

예를들어

1) 동일한 키보드 입력에 대해 동일한 스크린 출력을 낸다

2) 1)이면서 마지막에 리턴하는 값이 동일하다.(Sm5의 경우 stack의 맨 위의 value)

3) 2)이면서 메모리와 environment가 동일하다.

등등이 있는 것 같은데요. 어떤 기준에 맞춰서 구현을 하면 될까요?

[허기홍]

1번은 확실합니다.

2,3번은 좀 문제가 있습니다.
K--언어에서 말하는 Value와 Sm5 스택에 올라가는 Svalue는 다르기 때문입니다.
정의를 보시면 아시겠지만 Svalue가 Value를 포함합니다.
따라서 두 개가 같다고 동일한 일을 한다, 다르면 다른 일을 한다고 말할 수가 없습니다.

메모리와 환경도 마찬가지입니다.

1번에 집중하시면 됩니다.