Compiladores

Análise Sintática
Cada linguagem de programação possui regras que descrevem a estrutura sintática de programas bem-formados. Em pascal, por exemplo, um programa é constituído por blocos, um bloco por comandos, um comando por expressões, uma expressão por tokens e assim por diante. A sintaxe das construções de uma linguagem de programação pode ser descrita pelas gramáticas livres de contexto ou pela notação BNF (Forma de Backus-Naur). As gramáticas oferecem vantagens significativas tanto para os projetistas de linguagens quanto para os escritores de compiladores.
• Uma gramática oferece, para uma linguagem de programação, uma especificação sintática precisa e fácil de entender.
• Para certas classes de gramáticas, podemos construir automaticamente um analisador sintático que determine se um programa fonte está sintaticamente bem-formado.
• Uma gramática propriamente projetada implica uma estrutura de linguagem de programação útil à tradução correta de programas-fonte em códigos-objeto e também à detecção de erros.
• As linguagens evoluíram ao longo de um certo período de tempo, adquirindo novas construções e realizando tarefas adicionais. Essas novas construções podem ser mais facilmente incluídas quando existe uma implementação baseada numa descrição gramatical da linguagem.

O Papel do Analisador Sintático
Em nosso modelo de compilador, o anlisador sintático obtém uma cadeia de tokens proveniente do analisador léxico, como mostrado na Fig. 1, e verifica se a mesma pode ser gerada pela gramática da linguagem-fonte. Esperamos que o analisador sintático relate quaisquer erros de sintaxe de uma forma inteligível. Deve também se recuperar de erros que ocorram mais comumente, a fim de poder continuar processando o resto de sua entrada.
Existem três tipos gerais de analisadores sintáticos. Os métodos universais de análise sintática, tais como o algoritmo de Cocke-Younger-Kasami e o de Earley que podem tratar qualquer gramática. Entretanto, esses métodos, são