Shift-reduce 구문 분석 기술과 구분 된 연속 간의 관계를 공식화 한 사람이 있습니까?
상향식 파서 (예를 들어, LR 파서)를 구성 할 때, 우리는 문법을 다음의 집합으로 해석 상태를 표현 항목 : 양식의 증강 제작 → α ∙ β , α 와 β는 터미널과 비끝의 시퀀스입니다. 마커 ∙ 는 파서가 문자열에 얼마나 멀리 도달 했는지를 나타냅니다. α 는 지금까지 본 것을 나타내고 , β 는 아직 구문 분석 할 수있는 것을 예측합니다.
LR 구문 분석 오토 마톤의 전환에서 시프트 동작은 스택의 접두사를 에 맞추고 이를 A 로 바꿉니다 . 스택의 이러한 깊은 조작은 제어 연산자의 효과와 유사하지만 이는 질적 인 관찰에 불과합니다.
누구든지 shift-reduce 구문 분석과 shift / reset과 같은 구분 된 제어 연산자 사이의 연결을 연구 한 적이 있습니까?
흥미로운 관찰.
—
Dave Clarke
Michael Sperber가 CPS LR 파싱과 제한된 연속 작업에 대한 그의 작업을 감안할 때이 관계에 대해 어딘가에 글을 썼을 것으로 예상했지만 아무것도 찾지 못했습니다.
—
Sylvain
저는 2004 년 Ken Ken이 저와의 관계를 언급했으며, 그것이 큰 기회를 만들 것이라고 제안한 것을 기억합니다. 나는 그가 그 이후로 그것에 대해 무언가를 쓰거나 코딩했다는 것을 모른다.
—
Noam Zeilberger