[박상일]

나무를 다음처럼 재귀적으로 정의했는데요,

1. 기본 나무구조: 잎새 하나는 나무구조이다.
2. 나무구조들을 품고 있는 나무구조: 하나의 꼭지에서 한 개 이상의 나무구조들이 하나하나 가지로 뻗어나간 구조는 다시 나무구조이다.

이 정의에 따르면 모든 나무를 따라 갈 때, 결국 잎새에서 끝나야 하지 않나요? 2는 1을 조합하는 규칙이니까요. 따라서 빈 나무라는 표현은 정의상 불가능한 것처럼 들립니다. 문제의 스펙을 만족시키려면 정의를 확장해서 어떤 잎새도 가지지 않은 상태, 말 그대로 null도 나무로 인정한다고 고쳐야 하지 않을까요?

[윤용호]

정의 두번째에서 '한 개 이상의 나무구조들'이라는 표현이 좀 문제가 있는 것 같네요.

하지만 밑의 함수정의에서 'node가 빈 리스트를 받으면 빈 나무를 만든다'라는 말이 있으니 이걸 예외조항으로 생각하시면 되지 않을지요.

[이우석]

예 그렇습니다. 빈 나무 라는것은 정의되어 있는 나무구조에 포함되지 않는 예외적인 것으로 봐야 맞습니다.