강호찬
가입: 2019년 9월 12일 올린 글: 24
|
올려짐: 2022년4월3일 0:49 주제: [HW3] 새롭게 올라온 K-- 정의에서 EQUAL 부분 질문 |
|
|
이전 K-- 정의는, 사실 K-- 에서 필요한 정의 이상의 것을 포함하고 있어서 새로 업데이트 된 것 같은데요,
그 과정에서 EQUAL 에 대한 semantics 의 표기법이 약간 달라졌는데,
이전에는 v1 = v2 = n 또는 v1 = v2 = b 또는 v1 = v2 = . 였고
이후에는 v1 = v2
로만 표시되었습니다.
표현 방식이 달라졌는데, 의미는 갖다고 생각하면 될까요?
그리고 EQUAL false 에 대한 부분도 단순히 v1 ≠ v2 로 바뀌었는데, 이전의 otherwise 라고 생각하면 될까요? |
|