Efficient incremental parsing for context-free languages

An incremental parsing algorithm based on dynamic programming techniques is described. The analyzer takes the automaton generated from a general class of context-free grammars as driver, and any finite string as input. Given an input string that has been modified, the algorithm cuts out the parts of the old analysis that had been generated by the parts of the input that has changed. What remains are the parts of the analysis that were generated by the stable part of the input. The new system has been baptized ICE, after Incremental Context-Free Environment. In an empirical comparison, ICE appears to be superior to the other context-free analyzers and comparable to standard deterministic parsers, when the input string is not ambiguous.<<ETX>>

[1]  Carlo Ghezzi,et al.  Augmenting Parsers to Support Incrementality , 1980, JACM.

[2]  Paul Klint,et al.  A syntax definition formalism , 1986 .

[3]  Alain Pirotte,et al.  Efficient parsing algorithms for general context-free parsers , 1975, Inf. Sci..

[4]  Bernard Lang,et al.  Towards a Uniform Formal Framework for Parsing , 1991 .

[5]  Jay Earley,et al.  An efficient context-free parsing algorithm , 1970, Commun. ACM.

[6]  Bernard Lang,et al.  The Structure of Shared Forests in Ambiguous Parsing , 1989, ACL.

[7]  B. C. Brookes,et al.  Information Sciences , 2020, Cognitive Skills You Need for the 21st Century.

[8]  E. Schmidt,et al.  Lex—a lexical analyzer generator , 1990 .

[9]  R. Acevedo,et al.  Research report , 1967, Revista odontologica de Puerto Rico.

[10]  Masaru Tomita,et al.  An Efficient Augmented-Context-Free Parsing Algorithm , 1987, Comput. Linguistics.

[11]  Jean H. Gallier,et al.  Building friendly parsers , 1982, POPL '82.