작성된 표현식이 BNF의 정의에 의해 바르게 작성되었는지를 확인하기 위해 만드는 트리이다.

주어진 표현식에 대한 파스트리가 존재한다면, 그 표현식은 BNF에 의해 작성될 수 없음을 의미한다.

문법의 시작 기호로부터 적합한 생성 규칙을 적용할 때마다 가지치기가 이루어진다.

파스트리의 터미널 노드는 단말 기호들이 된다.