24.31 후진 추론의 시간 복잡도와 공간 복잡도 분석