A relation, predictive relation, is defined to express a prediction of the prefix of a handle. Based on the relation, LC(k), PLR(k), k-transformable grammars are characterized. Furthermore, k-transformable grammars are extended. Unlike k-transformable grammars which are defined on an intricate parser construction, extended k-transformable grammars are defined clearly.
본 논문에서는 LL문법으로의 변환이 가능한 LR문법에 관한 연구의 일환으로써 Predictive 관계를 정의했다. 이 관계는 LR방법으로 파싱하는 동안에 핸들의 prefix를 미리 알기 위한 것이다. 이 관계를 이용해 LL문법으로의 변환이 가능한 LR문법의 범위인 LC, PLR, k-transformable 문법들을 특징지었고 k-transformable 문법의 확장인 extended k-transformable 문법을 정의했다.
