An1lise sem2ntica

Anotacoes

• Análise Semântica Embora a análise sintática consiga verificar se uma expressão obedece a determinadas regras de formação de uma dada gramática, torna-se bastante difícil expressá-la por gramáticas livres de contexto. Dessa forma, regras bastante comuns em linguagens de programação, como por exemplo "todas as variáveis devem ser declaradas" ou ainda "todo identificador deve ser declarado antes de ser utilizado", são verificadas na análise semântica. --- • Verificações na Análise Semântica - Se todas as variáveis utilizadas foram declaradas. - Se o tipo da variável está correto para o operador. - Se o fluxo de controle é válido no contexto (como comandos break aparecendo apenas dentro de loops). - Se o identificador é único no escopo. --- • Gramática de Atributos Regras de verificação: - Estática: regras verificadas durante a compilação, como "declara variável antes de utilizá-la" ou "só é possível atribuir valores a uma variável se forem de mesmo tipo". - Dinâmica: regras verificadas em tempo de execução, como "não é possível dividir por zero" ou "operação aritmética dentro de funções com tipos incompatíveis". Em uma Gramática de Atributos, expandimos a gramáti...