ความสัมพันธ์ระหว่างการแยกวิเคราะห์ลดกะและการแยกต่อเนื่อง?

มีใครบ้างไหมที่ทำให้ความสัมพันธ์ระหว่างเทคนิคการวิเคราะห์การเปลี่ยนแปลงลดและการแยกที่ต่อเนื่องเป็นรูปเป็นร่าง?

เมื่อสร้างตัวแยกวิเคราะห์จากล่างขึ้นบน (เช่น LR parsers) เราใช้ไวยากรณ์และแสดงสถานะการแยกวิเคราะห์เป็นชุดของรายการ : เพิ่มการผลิตของรูปแบบโดยที่และอยู่ ลำดับของเทอร์มินัลและ nonterminals เครื่องหมายแสดงให้เห็นว่า parser เข้าไปในสตริงได้ไกลแค่ไหนด้วยแสดงถึงสิ่งที่ได้เห็นมาแล้วและแสดงการคาดการณ์ของสิ่งที่อาจถูกแยกวิเคราะห์$A \to \alpha \bullet \beta$$\alpha$$\beta$$\bullet$$\alpha$$\beta$

การดำเนินการเปลี่ยนแปลงในการเปลี่ยนแปลงของหุ่นยนต์ LR แจงตรงกับคำนำหน้าของสแต็คกับที่ , และแทนที่ด้วย การเรียงซ้อนอย่างลึกล้ำของสแต็กมีลักษณะคล้ายกับผลกระทบของโอเปอเรเตอร์ควบคุม แต่นี่เป็นเพียงการสังเกตเชิงคุณภาพ$\alpha$$A$

มีใครศึกษาการเชื่อมต่อระหว่างตัวแยกการลดกะและตัวควบคุมที่มีตัวคั่นเช่นกะ / รีเซ็ต?

ฉันเชื่อว่าบทความต่อไปนี้สำรวจการเชื่อมต่อนี้บางส่วนส่วนใหญ่ใช้การต่อเนื่องเพื่อย้อนรอยเมื่อเกิดเหตุการณ์ใน parsers แต่มีอะไรอีกมากมายให้ทำที่นี่

ย้อนกลับแบบแยกส่วนผ่านการบันทึกการควบคุม: คู่ไข่มุกทำหน้าที่คู่

Olin Shivers, Aaron Turon , ICFP 2011