An approach to automating syntax error detection recovery, and correction for LR(k) grammars.

Download
Author
McGruther, Gordon T.
Date
1972-06Advisor
Bolles, Robert C.
Metadata
Show full item recordAbstract
An automatic, language-independent syntax error detection, recovery,
and correction system for LR(k) grammars is proposed. The requirement
is made that the reverse of the grammar involved is also LR(k). The
implications and justification for this requirement are discussed.
Given that the grammar is both LR(k) and RL(k), forward and reverse
parsers localize errors and define left and right error context providing
a strong base from which error analysis may proceed. Possible
deterministic and heuristic corrective actions to follow error analysis
are presented. The definition and selection of keys from the set of
terminal symbols for the grammar which enable the reverse parser to be
engaged upon error detection are discussed.
A model of the proposed system, implemented in an XPL compiler for
a large ALGOL-like grammar, is described and the results of test
programs are exampled and discussed.
Possible extensions to the system are presented and areas requiring
further analysis are defined.
Rights
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.Collections
Related items
Showing items related by title, author, creator and subject.
-
Countering Disinformation Propaganda: Reverse Engineering the Experimental Implicit Learning Paradigm
Canan, Mustafa; Canan, Daphne (Academic Conferences International Limited, 2020);A conflict may develop when people ascribe different meanings to shared phenomena that entail action. In simple situations, resolution can be by persuading the other actors so that actions converge. In complex situations, ... -
Error detection, analysis and recovery in XPL based compilers.
Rich, Lyle Vernon. (1971);This thesis involves the detection, recovery and/or correction of errors in XPL defined languages, XPL is a compiler generating system based on a (1,1) bounded context parser using (2,1) context to resolve conflicts in the ... -
Relational programming: design and implementation of a prototype interpreter
Brown, John R.; Mitton, Stephen G. (1985-06);Relational programming is a methodology which combines the advantages of functional programming with the relatively simple laws which govern relations. The goal is to give the programmer an environment which allows a ...