giảm giảm và thay đổi giảm lỗi trong ngữ pháp LALR

Tôi phải viết một ngữ pháp cho Pascal, và chỉ có một điều gây ra vấn đề.

Hãy nói rằng chúng tôi có các toán tử (được sắp xếp theo mức độ ưu tiên từ thấp đến cao):

1. Hậu tố^ .
2. Tiền tố^ .
3. [ ]và ., (cùng mức độ ưu tiên và liên kết trái).
4. Thiết bị đầu cuối duy nhất là id, bất kỳ chữ thường.

Bây giờ hãy nói rằng một biểu thức là:

1. Bất kỳ id.
2. Bất kỳ biểu thức với toán tử Postfix^ .
3. Bất kỳ biểu thức với toán tử Tiền tố^ .
4. Bất kỳ biểu hiện với .theo sau id.
5. Bất kỳ biểu thức với [và một biểu thức khác và ].

Bây giờ tôi muốn biết làm thế nào tôi có thể tạo ra một ngữ pháp LALR mà không cần thay đổi giảm và giảm xung đột, HOẶC nếu điều đó không thể được thực hiện, làm thế nào tôi có thể chứng minh rằng nó không thể được thực hiện.

Vài ví dụ:

good:
a.b.c.d               
a.b^.c
^a.b^
a.b^^[c]^^.d.e        
^^a.b^.d.e^[]

bad:
a.^b.c

Không có tiền tố ^, vấn đề này rất dễ giải quyết, nhưng dấu hiệu tiền tố tiếp tục khiến tôi gặp phải. Có ai giúp được không? Giải pháp của tôi cho đến nay:

// this works without the prefix but it does not produce a.b^.c which is wrong.
A ::= B | A ^ ;
B ::= C | ^ B ;
C ::= id | C [ A ] | C . id;

Vì vậy, tôi nghĩ rằng tiền tố chỉ có thể xảy ra trước dấu chấm đầu tiên và giữa các dấu chấm, chỉ có thể có một hậu tố ^và dấu ngoặc. Vì vậy, tôi đã đưa ra điều này:

A ::= B | A ^ ;
B ::= C | ^ B ;
C ::= id | C [ A ] |id D;
D ::= id E;
F ::= E | F ^;
E ::= id | F . id;

Nhưng điều này gây ra 3 mâu thuẫn.

Tôi không thấy bất kỳ vấn đề nào với ngữ pháp đầu tiên của bạn và bison không phàn nàn về kết xuất mà tôi đã thực hiện.

Tôi (và bò rừng) thấy một xung đột trong ngữ pháp thứ hai của bạn (không mô tả cùng ngôn ngữ với BTW đầu tiên). Sau khi xem id id idvới một bản đang chờ xử lý ^, bạn không biết liệu cuối cùng của bạn idvà ^có phải là F hay không, nếu bạn nên giữ ba id tạo thành một A sẽ được tập hợp với '^'.

Chỉnh sửa sau bình luận của bạn:

Kết xuất trực tiếp các quy tắc của bạn:

EXP ::= id | EXP ^ | ^ EXP | EXP . id | EXP [ EXP ]

sẽ mơ hồ - và do đó có (các) xung đột - bởi vì bạn không nêu nếu phiên bản tiền tố được ^ưu tiên hơn các toán tử (postfix) khác. Tôi không nhớ nó đã hoạt động như thế nào trong Pascal, nhưng bạn có thể nhận được cả hai hiệu ứng với

EXP ::= POST | ^ EXP
POST ::= id | POST ^ | POST . id | POST [ EXP ]

và

EXP ::= PRE | EXP ^ | EXP . id | EXP [ EXP ]
PRE ::= id | ^ PRE

Chỉnh sửa lại: một phiên bản hỗn hợp tương ứng với sự hiểu biết của tôi về những gì bạn hỏi trong nhận xét (Tôi tiếp tục thấy điều này khó hiểu và tôi xem xét sự phức tạp của ngữ pháp - với các toán tử đăng được đưa ra hai lần - như một gợi ý là như vậy :-))

EXP ::= PRE | POST2
POST2 ::= PRE '^' | POST2 '^' | POST2 '.' id | POST2 '[' EXP ']'
PRE ::= POST | '^' PRE
POST ::= id | POST '.' id | POST '[' EXP ']'