Luiz Thiago Silva DESENVOLVIMENTO DE UM ... - Ginux

for(int = 4)
Apesar de todos identificadores existirem na linguagem C, a
expressão está sintaticamente incorreta, pois não conferem com a
estrutura gramatical da linguagem.
3.3 - Análise Semântica
Nesta fase há uma verificação de erros semânticos no programa
fonte. A principal tarefa da análise semântica é a verificação de tipos.
Nela o compilador verifica se cada operador recebe os operandos
que são permitidos pelo código fonte.
O objetivo da análise semântica é trabalhar nesse nível de interrelacionamento
entre as partes distintas do programa.
As tarefas básicas desempenhadas durante a análise semântica
incluem a verificação de tipos, a verificação do fluxo de controle e a
verificação da unicidade da declaração de variáveis e funções.
(RICARTE, 2003).
Para tornar as ações semânticas mais efetivas, pode-se associar
variáveis aos símbolos (terminais e não-terminais) da gramática. Assim,
os símbolos gramaticais passam a conter atributos (ou parâmetros)
capazes de armazenar valores durante o processo de reconhecimento.
Toda vez que uma regra de produção é usada no processo de
reconhecimento de uma sentença, os símbolos gramaticais dessa regra são
“alocados” juntamente com seus atributos.
19