구문에 의한 문장 생성 과정을 나타내는 것으로서, 어떤 표현이 BNF에 의해 바르게 작성되었는지 확인하기 위해 만드는 트리는?