This paper deals with actual construction of programs for experiments in simple precedence parsers based on the theoretical results of others that represents one of the most fruitful contributions in computer science. Specifically the report deals with (1) a practical general method for the generation of the precedence parser, which provides automatically generated precedence relation matrix (2) a generation of linearizing techniques (3) a syntactic error recovery method for the bottom-up analysis, based on that of Graham ＆ Rhodes (1975), which provides high-quality recovery with good diagonostic informations at relative low cost.
저자는 본 논문에서 컴파일러 개발을 위해 새로운 방법의 일부로 precedence grammar 에 대한 parser generator 와 그의 error-recovery sheme을 한국과학원의 NOVA 840 을 통하여 설치 및 실험을 하였다.
현재까지 발표된 compiling 의 이론을 습득하고, 이런 새로운 방법을 실제로 컴퓨터에서 작동시키는 것은 커다란 의의가 있다. 저자는 이를 위하여 grammar 을 컴퓨터 내에서 표현하기 위한 data structure 를 제시 하였는데, 이는 주어진 grammar 에서 parser를 효율적으로 만들어 내는데 적합하게 설계되었다.
현재 많이 사용되고 있는 ALGOL 언어에 대하여 실제 parser 를 generate 했으며, 여기서 생기는 여러가지 문제점들 즉 conflict 의 발생과 storage requirement 등을 생각했다.
Precedence matrix를 linearize 하는데 있어서 linear precedence functions 이 존재하지 않을때는 해결책으로 symbol 의 갯수에 비례하는 (KU) linear function 을 구하는, 비교적 효과적인 방법을 기술 하였다.
또한 syntactic error recovery 를 위하여 1975년의 Graham-Rhodes 의 방법을 택하여 NOVA 840 에 동작 시켰으며 implementation 의 실제적 방안을 검토하였다. 이에 필요한 실험적 data 를 얻기 위해, 한국과학원의 휴지통과 학생이 버리려는 ALGOL 프로그램을 수집하여, 그의 Error 들을 유형별로 분류하고 그의 빈도를 얻어서, 거의 모든 syntax error를 test 하는데 필요한 ALGOL program 을 작성하였다. 여기서 얻어진 sample program 을 implement 한 Recovery Parser와 KIST 의 CDC 6000 PASCAL, IBM OPTIMIZING PL/I, PL/C, NOVA 840 EXTENDED ALGOL 에서 나온 결과들과 비교하여 이 방법이 딴 컴파일러에서 못하는 여러가지 경우를 해결하는등, 우수한 방법임을 보였다.
결국 본 논문은 실제 컴파일러 개발을 위해 초기 단계로서 bottom-up syntax와 그의 error-recovery 방법을 보다 효율적으로 실제로 설치시킨데 의의가 있으며 이를 뒤바침하기 위한 연구 즉 programming language design 과 error-recovery 의 cost function 과 관계되는 pattern-matching 등,이 필요하였음을 느꼈다.
