Introdução à compilação

Todo programa que você escreve passa por um compilador ou interpretador antes de rodar. Entender essa máquina invisível muda a forma como você programa, depura e raciocina sobre desempenho.

Compiladores reúnem três grandes áreas da computação: teoria das linguagens formais, estruturas de dados e arquitetura de máquinas. É um dos cursos em que a teoria vira, literalmente, um programa que funciona.

Esta aula abre o curso com o panorama geral. Vamos percorrer:

• A definição precisa de compilador e o que significa preservar o significado.
• O contraste com interpretadores e os modelos híbridos do mundo real.
• A sequência de fases de análise e síntese.
• As estruturas de apoio que atravessam todas as fases.

A linguagem-fonte é aquela em que o humano escreve (C, Java, Rust). A linguagem-alvo é aquela que a máquina ou uma máquina virtual executa (código de máquina, assembly, bytecode).

O ponto central da definição é "equivalente": a saída deve fazer exatamente o que a entrada descreve.

Um compilador não roda o seu programa. Ele apenas o traduz. Quem executa é o processador (no caso de código nativo) ou uma máquina virtual (no caso de bytecode).

Isso tem uma consequência prática: erros descobertos pelo compilador aparecem antes de o programa rodar. Já erros que dependem de dados de entrada (uma divisão por zero, por exemplo) só aparecem em tempo de execução.

Considere a linha de código-fonte abaixo e uma tradução possível para uma linguagem de baixo nível:

Observe que a multiplicação foi calculada antes da soma: o compilador respeitou a precedência dos operadores. Esse é o tipo de decisão que veremos formalizada nas próximas semanas.

Enquanto o compilador traduz tudo de uma vez e entrega um artefato, o interpretador é o próprio executor: ele percorre o código e realiza as ações descritas na hora.

O interpretador também precisa entender o programa (faz análise léxica e sintática), mas em vez de gerar código de máquina, ele percorre a estrutura interna e executa cada operação.

Por isso ele costuma ser mais lento: a tradução acontece repetidas vezes, durante a execução. Em compensação, ele oferece flexibilidade — é mais fácil testar trechos isolados e inspecionar o estado em tempo real.

O caminho completo, que estudaremos semana a semana, é uma esteira de transformações:

As três primeiras formam o front-end (análise); as três últimas, o back-end (síntese).

A grande divisão de um compilador é entre análise e síntese.

• Análise (front-end): entende o programa — decompõe o texto, verifica sua correção e cria uma representação interna.
• Síntese (back-end): constrói o programa-alvo a partir dessa representação interna.

As mensagens de erro de um compilador real revelam em que fase o problema foi detectado:

Outra confusão comum: achar que linguagem é compilada ou interpretada "por natureza". Na prática, a mesma linguagem pode ter implementações dos dois tipos.

Trate os avisos (warnings) com seriedade. Muitos deles apontam bugs reais que ainda não causaram falha.

Esta aula é o mapa. Cada fase que apareceu aqui vira uma ou mais semanas:

• Análise léxica → aulas 3 e 4 (tokens, ER, autômatos).
• Análise sintática → aulas 5, 6 e 7 (GLC, parsing, LL(1)).
• Análise semântica → aulas 8 e 9 (atributos, tabela de símbolos, tipos).
• Síntese → aulas 10 em diante (RI, ambiente de execução, código).

Ao longo do curso usaremos simuladores reais escritos em JavaScript: um analisador léxico, uma calculadora de FIRST/FOLLOW e um mini-compilador de expressões. Eles transformam a teoria em algo que você manipula com as próprias mãos.

Nesta aula introdutória, vale apenas conhecê-los pelo nome. A partir da aula 3, cada simulador entra em ação no momento certo do conteúdo.