Ambiguous là gì?

Một văn phạm được cho là mơ hồ (ambiguou) nếu tồn tại nhiều hơn một dẫn xuất trái nhất (leftmost derivation) hoặc nhiều hơn một dẫn xuất phải nhất (rightmost derivation) hoặc nhiều hơn một cây phân tích cú pháp (parse tree) cho một chuỗi đầu vào nhất định.

Ví dụ xem một văn phạm với các luật sinh như được hiển thị bên dưới:

E = I

E = E+E

E = E*E

E = (E)

E = ε|0|1|2|3...9

Hãy xem xét một chuỗi "3 * 2 + 5"

Nếu văn phạm trên tạo ra hai cây phân tích cú pháp bằng cách sử dụng dẫn xuất trái nhất thì chúng ta có thể nói rằng văn phạm đã cho là văn phạm mơ hồ.

Vì có hai cây phân tích cú pháp cho một chuỗi, nên chúng ta có thể nói rằng văn phạm đã cho là văn phạm mơ hồ.