Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
Theory and Practice of Compiler Writing
Theory and Practice of Compiler Writing
Packrat parsing:: simple, powerful, lazy, linear time, functional pearl
Proceedings of the seventh ACM SIGPLAN international conference on Functional programming
Parsing expression grammars: a recognition-based syntactic foundation
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Some Aspects of Parsing Expression Grammar
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Packrat parsers can handle practical grammars in mostly constant space
Proceedings of the 9th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
| Hi-index | 0.00 |
Parsing Expression Grammar PEG encodes a recursive-descent parser with limited backtracking. The parser has many useful properties, and with the use of memoization, it works in a linear time. In its appearance, PEG is almost identical to a grammar in Extended Backus-Naur Form EBNF, but usually defines a different language. However, in some cases only minor typographical changes are sufficient to convert an EBNF grammar into its PEG parser. As recently shown by Medeiros, this is, in particular, true for LL1 grammars. But this is also true for many non-LL1 grammars, which is interesting because the backtracking of PEG is often a convenient way to circumvent just the LL1 restriction. We formulate a number of conditions for EBNF grammar to become its own PEG parser, and arrive at a condition that we call LL1p, meaning that a top-down parser can choose its next action by looking at the input within the reach of one parsing procedure rather than by looking at the next letter. An extension to LLkp for k 1 seems possible.