Resenha analise sintática

CURSO: Sistemas de Informação
SEMESTRE: 7º Semestre.
DISCIPLINA: Compiladores.
DOCENTE: Iris Cardoso.
DISCENTE: Wagner Brito Bandeira Júnior

Análise Sintática Descendente

Um analisador sintático é o responsável por agrupar os tokens fornecidos pelo analisador léxico em estruturas sintáticas, construindo a árvore sintática correspondente. Para isso, utiliza uma série de regras de sintaxe, que constituem a gramática da linguagem fonte.
O analisador sintático tem também por tarefa o reconhecimento de erros sintáticos, que são construções do programa fonte que não estão de acordo com as regras de formação de estruturas sintáticas especificadas através de uma gramatica livre de contexto.

Um analisador sintático (ou parser) é um algoritmo capaz de construir uma derivação para qualquer sentença em alguma linguagem baseado em uma gramática. Um parser pode também ser visto como um mecanismo para a construção de árvores de derivação.

Um analisador sintático descendente constrói a derivação mais à esquerda da sentença de entrada a partir do símbolo inicial da gramática. Analisadores descendentes podem ser implementados com ou sem back-track. No entanto, embora as implementações com back-track permitam a análise de um número maior de gramáticas (GLC), o uso dessas técnicas dificulta a recuperação de erros e causa problemas na análise semântica e geração de código, além de aumentar o tempo necessário para a análise. Já as implementações sem back-track limitam o conjunto de gramáticas que podem ser analisadas mas superam as deficiências das anteriores. Assim sendo, para uma gramática GLC poder ser analisada por um analisador sintático descendente sem back-track, deve satisfazer as seguintes condições:

• não possuir recursão à esquerda;

• ser determinística (estar fatorada), isto é, se X a1 | a2 | ... | an são as produções para o não-terminal X, então FIRST (a1) Π FIRST (a2) Π ... Π FIRST (an) = ᴓ

• para todo X E Vn, tal que X e, FIRST (X) Π FOLLOW