Orientador: Tomasz Kowaltowski

Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação

Resumo: O trabalho aqui apresentado é um estudo de métodos de recuperação de erros no processo de compilação, aplicáveis à analisadores descendentes para linguagens do tipo LL. Inicialmente faz-se uma exposição sobre o processo de compilação e possíveis fontes de erro. Está incluída também uma...

Resumo: O trabalho aqui apresentado é um estudo de métodos de recuperação de erros no processo de compilação, aplicáveis à analisadores descendentes para linguagens do tipo LL. Inicialmente faz-se uma exposição sobre o processo de compilação e possíveis fontes de erro. Está incluída também uma indicação sucinta dos métodos de recuperação para erros léxicos e dos métodos aplicáveis à analisadores ascendentes. Segue um resumo sobre a implementação de análise descendente e a descrição de vários métodos de recuperação aplicáveis a este tipo de análise. Finalmente, apresentam-se os resultados experimentais da implementação de alguns destes métodos para a linguagem pascal. Chega-se à conclusão de que nenhum desses métodos apresenta comportamento satisfatório em todas as situações, mas alguns parecem ter desempenho geral melhor do que outros.

Abstract: We present in this thesis a survey of compiling error recovery methods applicable to top-down parse for LL languages. First we describe the compilation process and possible sources of errors. We also include a short description of recovery methods for lexical errors, and of methods...

Abstract: We present in this thesis a survey of compiling error recovery methods applicable to top-down parse for LL languages. First we describe the compilation process and possible sources of errors. We also include a short description of recovery methods for lexical errors, and of methods applicable to bottom-up parsers. Next we describe the implementation of top-bottom parsers, and of several recovery methods applicable to this kind of parsing. Finally we show the experimental results of implementing some of these methods for the Pascal language. Our conclusion is that none of these methods is satisfactory in all circumstances, but some of them seem to perform in general better than others.