Implementação de um Compilador
Last updated
Last updated
Para implementar este analisador, vamos considerar que este tem sempre associado a si um token atual.
Para o início e fim, existirão dois tokens especiais: NONE e EOF.
Cada token tem a si associado o seu tipo, sendo que tokens do mesmo tipo partilham as mesmas propriedades léxicas; e, quando aplicável, um atributo (textual) que complete a sua definição.
Analisa sequências válidas de tokens.
Identificar as regras da linguagem.
Associar os métodos booleanos ao reconhecimento de cada regra.
Garantir que o token atual é o esperado para o início dessa regra.
Reconhecimento de regras têm três comportamento possíveis:
Sucesso: Todos os tokens associados à regra são consumidos.
Falha no primeiro token: Não é consumido nenhum token.
Falha a meio do reconhecimento: A sequência de tokens é rejeitada.
As estruturas (regras) importantes no esboço apresentado são a instrução distância. Como esta instrução se aplica a dois pontos, temos também a regra ponto (que por sua vez se aplica a um par de números).
A existência de variáveis possibilita a existência de erros semânticos resultantes da utilização de variáveis não definidas.
As variáveis, são um recurso programático que permite o armazenamento de valores recorrendo a nomes (designados identificadores).
A estrutura de dados adequada para lidar com variáveis é o array associativo.
Vamos considerar que todas as instruções têm um valor numérico, e que o efeito de uma instruções é a escrita desse valor.
