Cho văn phạm gồm các luật sinh S -> aSbS; S->bSaS; S->a; S->epsilon. Văn phạm đã cho nhập nhằng trên chuỗi nào sau đây:

Một văn phạm được gọi là nhập nhằng (ambiguous) nếu có ít nhất một chuỗi mà nó có thể sinh ra bằng hai hoặc nhiều cây cú pháp khác nhau (hoặc hai hoặc nhiều dẫn xuất trái nhất khác nhau, hoặc hai hoặc nhiều dẫn xuất phải nhất khác nhau). Để xác định xem văn phạm đã cho có nhập nhằng trên một chuỗi hay không, ta cần thử xây dựng các cây cú pháp khác nhau cho chuỗi đó. * **Xét chuỗi aaba (lựa chọn A):** * Cách 1: S -> aSbS -> a aSbS bS -> a a a bS bS -> a a a b ε b ε -> aaba * Cách 2: S -> bSaS -> b S a S -> b ε a S -> a S -> a aSbS -> a a a b S -> a a a b ε -> aaab (Sai) Thử một cách khác: * S -> aSbS -> a a b a SbS (Không có cách nào để sinh ra chuỗi này) * S -> a S b S -> a a b S b S (Không có cách nào để sinh ra chuỗi này) Tuy nhiên, cần phải thử thêm: * **Xét chuỗi aaba (lựa chọn A):** * Cây 1: S -> aSbS -> a aSbS bS -> a a a bS bS -> a a a b ε b ε -> aaba * Cây 2: S -> bSaS -> a ... (Không tạo ra aaba) Ta thấy rằng có thể tạo ra chuỗi aaba bằng nhiều cách khác nhau, chứng tỏ văn phạm nhập nhằng trên chuỗi aaba. Do đó, đáp án A là đúng. **Kiểm tra thêm các chuỗi khác (không bắt buộc nếu đã tìm thấy một chuỗi nhập nhằng):** * **Xét chuỗi aab (lựa chọn B):** * S -> aSbS -> a a b S b S -> a a b ε => aab * S -> a S -> a aSbS -> a a b S -> aab (S -> epsilon) Ta có thể sinh ra aab từ các dẫn xuất khác nhau. * **Xét chuỗi aaabb (lựa chọn C):** Chuỗi này phức tạp hơn và có thể có nhiều cách dẫn xuất, nhưng để chứng minh nhập nhằng cần tìm ít nhất hai cách. Vì A, B đều có thể sinh ra bằng nhiều cách nên có lẽ đáp án đúng nhất là D. Tuy nhiên, theo phân tích ban đầu, A có vẻ rõ ràng nhất. Do phân tích ở trên có vẻ không rõ ràng, chúng ta thử phân tích lại chuỗi aaba. Có thể thấy các cây dẫn xuất sau: 1. S -> aSbS -> a a b a S Chúng ta cần xem xét xem có hai cây cú pháp khác nhau cho chuỗi aaba hay không. Có vẻ như chuỗi `aaba` có thể được sinh ra từ nhiều cây cú pháp khác nhau, do đó văn phạm là nhập nhằng trên chuỗi `aaba`. Xem xét lại, ta thấy aaba có thể được sinh ra từ 2 cây: * S -> aSbS -> a a b a S -> a a b a epsilon = aaba * S -> aS bS -> a a b S bS -> a a b epsilon bS -> a a b b epsilon = aabb (không đúng) Như vậy, việc chỉ ra sự nhập nhằng không hề đơn giản. Tuy nhiên, sau khi phân tích kỹ, chuỗi `aaba` có vẻ là đáp án đúng nhất, mặc dù việc chứng minh nó nhập nhằng một cách rõ ràng đòi hỏi phải vẽ cây cú pháp hoặc chỉ ra các dẫn xuất khác nhau một cách tường minh. Tuy nhiên, cần phải chứng minh một cách chặt chẽ. Trong trường hợp này, `aaba` có vẻ là ứng cử viên sáng giá nhất, nhưng việc chứng minh nó nhập nhằng cần thêm nỗ lực. Ta chọn `aaba` vì nó phức tạp vừa đủ để có thể có nhiều cách phân tích khác nhau, trong khi `aab` và `aaabb` có thể có cấu trúc đơn giản hơn.