Simple, efficient, sound and complete combinator parsing for all context-free grammars, using an oracle

Parsers for context-free grammars can be implemented directly and naturally in a functional style known as “combinator parsing”, using recursion following the structure of the grammar rules. Traditionally parser combinators have struggled to handle all features of context-free grammars, such as left recursion. Previous work introduced novel parser combinators that could be used to parse all context-free grammars. A parser generator built using these combinators was proved both sound and complete in the HOL4 theorem prover. Unfortunately the performance was not as good as other parsing methods such as Earley parsing. In this paper, we build on this previous work, and combine it in novel ways with existing parsing techniques such as Earley parsing. The result is a sound-and-complete combinator parsing library that can handle all context-free grammars, and has good performance

For copies of reports, updates on project activities and other TALK-related information, contact:

Project funded by the European Community under the Sixth Framework Programme for Research and Technological Development The deliverable identification sheet is to be found on the reverse of this page. Project ref. no. IST-507802 Project acronym TAL

Surface modification of chromatography adsorbents by low temperature low pressure plasma

Surface modification of chromatography adsorbents by low temperature low pressure plasm