하준영
가입: 2023년 4월 20일 올린 글: 1
|
올려짐: 2023년4월20일 21:22 주제: [HW4] 1번 문제 K- 인터프리터 EQUAL 관련 질문 |
|
|
안녕하세요, HW4 1번 문항 관련 질문이 있습니다.
K--와 비교할 때 K- 언어에서 Record가 추가되었는데 조교님께서 올려주신 K-.pdf의 Semantics에서 EQUALT 부분은 v1=v2=n ∨ v1=v2=b ∨ v1=v2=·라고 되어 있습니다.
HW4에서 요구하는 K- 언어 인터프리터도 EQUAL을 Record에 대해서는 고려하지 않고 HW3 K-- 언어 인터프리터와 동일하게 구현해도 되는 건가요? |
|