관찰 가능한 결과
15
재귀 호출과 종료 조건의 성공과 실패 증거
5에서 0까지 입력이 줄고 0이 기저 조건이므로 호출은 반드시 끝납니다.
왜 실패하는가
5에서 0까지 입력이 줄고 0이 기저 조건이므로 호출은 반드시 끝납니다.
코드에 남길 계약
재귀는 자기 호출이라는 문법보다 기저 조건, 문제 감소, 결과 결합이라는 세 증명이 갖춰졌을 때 사용합니다.
관찰 증거 재귀는 자기 호출이라는 문법보다 기저 조건, 문제 감소, 결과 결합이라는 세 증명이 갖춰졌을 때 사용합니다.