In this thesis, an error repair scheme using two operators $\underline{d}$ and $\underline{x}$ is described. The scheme is efficient in both space and time, which is easy to implement, and which is very well suited for use as an automatic error repair techniques in LR(1)-based parsers.
The scheme operates by inserting a terminal string. The insertable string is simply computed by traversing graphs which are constructed automatically from an LALR(1) grammar and a table of terminal symbol insertion costs.
We have implemented the scheme in an LALR(1) parser for PASCAL programming language.
본 논문에서는 연산자 $\underline{d}$와 $\underline{x}$를 이용한 오류 수정 조직을 제안하였다. 이 조직은 기억 장치의 space와 자료를 처리하는 속도면에서 볼 때에 효율적이며, 설치하기가 쉽고, LR(1)형의 PARSER에서 자동적으로 오류를 수정하는 방법으로서 사용하기가 매우 적당한 조직이다.
이 조직은 terminal string을 삽입함으로써 작동하는데, 삽입 가능한 string은 LALR(1) grammar와 terminal symbol에 대한 insertion cost로부터 자동적으로 그려지는 그래프를 traverse 함으로써 얻어진다.
이 조직은 실제로 PASCAL 프로그래밍 언어의 PARSER에 설치되었다.