Có hai lớp văn phạm tuyến tính là?

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.

Luật sinh A -> BCDE tạo ra 4 mục (BCDE). Đáp án đúng là C.

Luật sinh A → BCDEF tạo ra 5 mục riêng biệt là B, C, D, E và F. Do đó, đáp án đúng là C.

Trong phương pháp phân tích LL(1), trạng thái thành công đạt được khi ngăn xếp chỉ còn ký hiệu kết thúc ($) và đầu vào cũng chỉ còn ký hiệu kết thúc ($). Điều này có nghĩa là toàn bộ xâu đầu vào đã được phân tích thành công và khớp với văn phạm, đồng thời ngăn xếp không còn chứa bất kỳ ký hiệu nào cần xử lý thêm. Do đó, đáp án B là chính xác.

Văn phạm G cho phép sinh ra các biểu thức với toán hạng là 'a' hoặc 'b', và các toán tử là '+' hoặc '*' áp dụng cho hai toán hạng liền kề.

* Phương án A: a++b* Không thể sinh ra vì có hai toán tử '+' liền nhau mà không có toán hạng ở giữa.
* Phương án B: ab++a* Không thể sinh ra vì có hai toán tử '+' liền nhau mà không có toán hạng ở giữa.
* Phương án C: ab+ba* Có thể sinh ra theo các bước sau:
1. E -> EE+ (Sử dụng luật E->EE+)
2. E -> aE+ (Sử dụng luật E->a)
3. E -> ab+ (Sử dụng luật E->b)
4. E -> EE* (Sử dụng luật E->EE*)
5. E -> (ab+)E* (Sử dụng luật E->EE+ ở bước 3)
6. E -> (ab+)b* (Sử dụng luật E->b)
7. E -> ab+ba* (Sử dụng luật E->a)

Vậy đáp án đúng là C