Mối quan hệ giữa phân tích dịch chuyển giảm và phân tách giới hạn?

Có ai đã chính thức hóa mối quan hệ giữa các kỹ thuật phân tích cú pháp giảm ca và các phần tiếp theo được phân tách chưa?

Khi xây dựng một phân tích cú pháp từ dưới lên (ví dụ, phân tích cú pháp LR), chúng ta hãy ngữ pháp và sau đó đại diện cho tiểu bang phân tích cú pháp như bộ mặt hàng : sản xuất tăng cường có dạng , nơi và là trình tự của thiết bị đầu cuối và nonterminals. Dấu thể hiện khoảng cách mà trình phân tích cú pháp đã đi vào chuỗi, với đại diện cho những gì đã thấy cho đến nay và đại diện cho một dự đoán về những gì có thể được phân tích cú pháp. $A \to \alpha \bullet \beta$ $\alpha$ $\beta$ $\bullet$ $\alpha$ $\beta$

Một hành động thay đổi trong quá trình chuyển đổi của automaton LR phân tích phù hợp với một tiền tố của ngăn xếp với , và thay thế bằng . Một thao tác sâu như vậy của ngăn xếp giống như hiệu ứng của toán tử điều khiển, nhưng đây chỉ là một quan sát định tính. $\alpha$ $A$

Có ai đã nghiên cứu kết nối giữa phân tích cú pháp giảm ca và phân tách điều khiển phân tách như shift / reset chưa?

pl.programming-languages parsing

— Neel Krishnaswami
nguồn

Quan sát thú vị.

— Dave Clarke

Người ta có thể mong đợi Michael Sperber đã viết ở đâu đó về mối quan hệ này, nhờ công việc của anh ấy về phân tích cú pháp CPS LR và trên các phần tiếp theo được phân định, nhưng tôi không tìm thấy gì.

— Sylvain

Tôi nhớ Ken Shan đã đề cập đến mối liên hệ này với tôi hồi năm 2004 và gợi ý rằng nó sẽ tạo ra cơ hội chơi chữ tuyệt vời. Mặc dù vậy, tôi không biết rằng anh ấy đã viết / mã hóa bất cứ điều gì về nó kể từ đó.

— Noam Zeilberger

Tôi tin rằng bài báo sau đây khám phá một số kết nối này, chủ yếu bằng cách sử dụng các phần tiếp theo để quay lại khi mọi thứ xảy ra trong trình phân tích cú pháp. Nhưng chắc chắn có nhiều việc phải làm ở đây.

Modular rollback thông qua kiểm soát đăng nhập: Một cặp ngọc trai chức năng sinh đôi

Olin Shivers, Aaron Turon , ICFP 2011.

— Sam Tobin-Hồ Chí Minh
nguồn