Giả sử ngôn ngữ đặc tả bởi các luật sinh sau: Stmt -> id := expr; expr -> expr + expr | expr * expr | id | number; Với câu nhập vào là position := initial + rate * 60 thì sẽ có một cây phân tích cú pháp được xây dựng. Khi duyệt cây phâp tích cú pháp này chúng ta sẽ có kết quả các từ tố (tokens) theo thứ tự là

Trong cây phân tích cú pháp, nếu một ký hiệu chưa kết thúc (non-terminal) A có luật sinh A → XYZ, điều này có nghĩa là ký hiệu A có thể được thay thế bằng chuỗi XYZ. Do đó, trong cây phân tích cú pháp, một nút có nhãn A có thể có ba nút con, theo đúng thứ tự từ trái sang phải, có nhãn X, Y và Z. Các lựa chọn khác không tuân theo đúng thứ tự hoặc số lượng ký hiệu con như luật sinh đã chỉ ra.

Duyệt cây theo chiều sâu (Depth-First Traversal) bắt đầu từ nút gốc, sau đó thăm các nút con theo thứ tự từ trái sang phải (hoặc từ phải sang trái, tùy theo yêu cầu bài toán). Đối với mỗi nút con, ta lại tiếp tục duyệt theo chiều sâu tương tự. Khi duyệt xong một nhánh, ta quay lại nút cha và tiếp tục duyệt các nhánh còn lại. Do đó, đáp án A là chính xác: Bắt đầu từ nút gốc, thăm lần lượt (đệ qui) các con của mỗi nút theo thứ tự từ trái sang phải.

Trong văn phạm, ký hiệu kết thúc (terminal symbol) là những ký hiệu không thể được thay thế bằng bất kỳ ký hiệu nào khác. Chúng là những ký hiệu cuối cùng xuất hiện trong chuỗi dẫn xuất (derivation) của một chuỗi thuộc ngôn ngữ được định nghĩa bởi văn phạm.

Trong văn phạm đã cho:

• A là ký hiệu biến (non-terminal symbol).
• a và b là ký hiệu kết thúc (terminal symbol) vì chúng không xuất hiện ở vế trái của bất kỳ luật sinh nào và không thể thay thế bằng bất kỳ ký hiệu nào khác.
• X, Y, Z là ký hiệu biến (non-terminal symbol).

Vậy, có 2 ký hiệu kết thúc là a và b.