Show simple item record

dc.contributor.authorDion, Bernarden_US
dc.contributor.authorFischer, Charlesen_US
dc.description.abstractAn error-corrector working with LR(1) parsers and variations such as SLR(1) and LALR(1) is studied. The corrector is able to correct and parse any input string. It chooses least-cost insertions (as defined by the user) in correcting syntax errors. Moreover, the error-corrector can be generated automatically from the grammar and a table of terminal symbol insertion costs. An algorithm that decides if a given LR(1) grammar is insert-correctable is presented. Correctness and linearity of the error-corrector is established.en_US
dc.publisherUniversity of Wisconsin-Madison Department of Computer Sciencesen_US
dc.titleAn Insertion Only Error Corrector for LR(1), LALR(1), SLR(1) Parsersen_US
dc.typeTechnical Reporten_US

Files in this item


This item appears in the following Collection(s)

  • CS Technical Reports
    Technical Reports Archive for the Department of Computer Sciences at the University of Wisconsin-Madison

Show simple item record