On LR Parsing with Selective Delays

Eberhard Bertsch (1) , Mark-Jan Nederhof (2) , Sylvain Schmitz (3)

1 RUB - Ruhr University Bochum = Ruhr-Universität Bochum
2 University of St Andrews [Scotland]
3 LSV - Laboratoire Spécification et Vérification [Cachan]

The paper investigates an extension of LR parsing that allows the delay of parsing decisions until a sufficient amount of context has been processed. We provide two characterizations for the resulting class of grammars, one based on grammar transformations, the other on the direct construction of a parser. We also report on experiments with a grammar collection.

Mots clés: Parsing; grammar covers; grammar transformations

Domaines: Théorie et langage formel [cs.FL]

Eberhard Bertsch, Mark-Jan Nederhof, Sylvain Schmitz. On LR Parsing with Selective Delays. Compilers Construction, Mar 2013, Rome, Italy. pp.244--263, ⟨10.1007/978-3-642-37051-9_13⟩. ⟨hal-00769668⟩