On LL(k) parsing

Seppo Sippu, Eljas Soisalon-Soininen
<span title="">1982</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/fbkexx2qg5anljkxraobuswdq4" style="color: black;">Information and Control</a> </i> &nbsp;
The theory of LL(k) parsing of context-free grammars is developed as a dual of the theory of LR(k) parsing. An LL(k) parser is regarded as a push-down transducer in which the push-down symbols are certain equivalence classes of "viable suffixes," a dual concept of the "viable prefixes" used in the LR(k) theory. The approach allows a rigorous mathematical treatment, including general correctness proofs, of LL(k) parsers obtained via different equivalence relations on the viable suffixes. In
more &raquo; ... cular, the equivalence relation that yields the canonical LL(k) parser is considered, and a new method for constructing the canonical parser is given. This method is based on sets of "items" similar to those used in Knuth's method for constructing LR(k) parsers. An implication of this is that various techniques in the LR(k) theory, e.g., optimization and efficient testing methods, can easily be adopted in the LL(k) theory as well. This is also of practical importance because canonical LL(k) parsers for k= 1 have gained new attention in error handling, thanks to their capability for early error deteqtion.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0019-9958(82)91016-6">doi:10.1016/s0019-9958(82)91016-6</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hcsqj6j3o5fbddvbqqtwgn6mi4">fatcat:hcsqj6j3o5fbddvbqqtwgn6mi4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190418002336/https://core.ac.uk/download/pdf/82675298.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e0/8a/e08aea50c8b9ad28eaca525d0def910aa989e3ef.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0019-9958(82)91016-6"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>