(A) tansformation of grammars into LL(k) grammars using predictive relation

Abstract

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.