LR(k) 파서의 동작에 대한 문법적 묘사에 관한 연구

Abstract

임의의 문맥자유문법이 주어졌을 때 이 문법에 대한 LR(k) 파서의 동작을 문법기호를 이용하여 추상적으로 묘사할 수 있다는 것을 밝혔다. 이를 위하여, 임의의 입력문장을 처리하기 위한 LR(k) 파서의 동작 과정을 자신의 문법문장으로 표현할 수 있는 새로운 LR(k) 기계묘사문법을 제안하였다.

We show that given a context-free grammar G. the behavior of the LR(k) parser for G can be abstractly described in terms of grammar symbols. For this, we introduce an LR(k) machine description grammar whose sentences describe the sequences of actions taken by a given LR(k) parser.

We show that given a context-free grammar G. the behavior of the LR(k) parser for G can be abstractly described in terms of grammar symbols. For this, we introduce an LR(k) machine description grammar whose sentences describe the sequences of actions taken by a given LR(k) parser.