Abstract:

A formal method for the automatic construction of an error recovery part for a given parser is presented. We use a new formal model of parser, and a new notion of headsymbol instead of skeletal symbols. We guarantee in a formal way the recovery from any type of errors and we separate the (in)correct input parts with the help of the hierarchized output.