9.19 기호주의의 계산 복잡도와 확장성의 한계