COMPORT – Compilador Portugol - Nilo Menezes

1.3.3. Tabela de Símbolos
ComPort – Compilador Portugol
É uma estrutura de dados utilizada para armazenar atributos dos
tokens. Ela começa a ser preenchida pelo analisador léxico, mas continua
recebendo dados das outras fases de compilação. Um exemplo é o reconhecimento
de um número, considerando-se como referência a Tabela 2, teríamos dois campos
na tabela de símbolos: o token e o lexema. Em identificadores mais complexos,
como variáveis, poderíamos ter outros campos como o tipo da variável e até mesmo
informações sobre diversos identificadores, como se são nomes de procedimentos,
funções ou rótulos.
O uso de uma tabela de símbolos para a representação das palavras
reservadas de uma linguagem dá flexibilidade à sua extensão, além de proporcionar
um método único para identificação de identificadores, como visto em AHO (1995) e
WIRTH (1996).
As tabelas de símbolos também são responsáveis pelo registro do
endereço de identificadores, possibilitando a tradução de instruções de salto,
chamadas de procedimentos e acesso a variáveis de memória.
1.4. ANÁLISE SINTÁTICA
Segundo AHO (1995), o analisador sintático (parser) obtém uma
seqüência de tokens do analisador léxico e verifica se esta seqüência pode ser
gerada pela gramática da linguagem.
Todas as linguagens de programação possuem regras que descrevem
a estrutura sintática de programas corretamente formados. A sintaxe de uma
linguagem de programação pode ser descrita através de uma gramática livre de
contexto ou notação BNF (Backus-Naur-Form).
1.4.1. Gramáticas livres de contexto
Segundo WIRTH (1996), o termo livre de contexto deve-se a Chomsky
e indica que a substituição do símbolo à esquerda da � pela seqüência derivada da
direita é sempre permitida, independente do contexto em que o símbolo foi inserido.
28