[김광래]

안녕하세요,
* 첫째 질문
스펙변경글에 isEmptyTree(rTree(makeLtree (1, leaf 2))) = true,
isEmptyTree(Ltree(makeRtree (1, leaf 2))) = true 여야한다는 내용이 있습니다.
그런데 숙제 문서에는 해당 기능을 하는 함수에 isEmpty라는 이름이 붙여져있는데 어느 쪽에 맞추어야 할까요?
* 둘째 질문
semantics 정의에 따르면 test() 처럼 parameter가 없는 함수도 정의하고 사용할 수 있어야합니다. 그런데 저런 함수를 사용하여 k-프로그램을 작성하면 Parse_error가 발생합니다. 테스트케이스에 저런 경우도 포함되나요?
감사합니다.

[강동옥]

* 추가스펙글에 쓰인 isEmptyTree는 실수입니다. isEmpty 함수가 맞습니다. 혼란을 드려 죄송합니다. (추가스펙글은 수정하였습니다.)

* K- 정의 문서에서, 과 같은 형태로 표현되어 있으므로, 모든 함수는 하나 이상의 인자를 갖는 것으로 하겠습니다. 테스트 케이스에서 사용할 함수도 항상 하나 이상의 인지를 가질 것입니다.