[하준영]

안녕하세요, HW4 1번 문항 관련 질문이 있습니다.

K--와 비교할 때 K- 언어에서 Record가 추가되었는데 조교님께서 올려주신 K-.pdf의 Semantics에서 EQUALT 부분은 v1=v2=n ∨ v1=v2=b ∨ v1=v2=·라고 되어 있습니다.

HW4에서 요구하는 K- 언어 인터프리터도 EQUAL을 Record에 대해서는 고려하지 않고 HW3 K-- 언어 인터프리터와 동일하게 구현해도 되는 건가요?

[김도형]

안녕하세요.

네, 맞습니다.

감사합니다.