순서는 공식 언어로 남겨 두기
형식 언어 이론에서, 나무의 단자 산출(또는 가장자리)은 나무의 순서 있는 산책에서 마주치는 나뭇잎의 순서다.
파스 트리 및/또는 파생 트리는 문맥 없는 그래머나 선형 그래머와 같은 구문 구조 그래머의 연구에서 만난다.공식 문법 G에 대한 파생 트리의 잎은 그 문법의 단자 기호이고, 내부 노드는 비단자 또는 가변 기호다.순서 트리 횡단을 수행하고, 마주치는 순서대로 단자 기호를 기록하면 해당 단자 문자열을 판독할 수 있다.단자의 결과 순서는 문법 G에 의해 생성된 언어 L(G)의 문자열이다.
