Índice:
Definição - O que significa Compiler?
Um compilador é um programa de software que transforma o código fonte de alto nível que é escrito por um desenvolvedor em uma linguagem de programação de alto nível em um código de objeto de baixo nível (código binário) na linguagem de máquina, que pode ser entendido pelo processador. O processo de conversão de programação de alto nível em linguagem de máquina é conhecido como compilação.
O processador executa o código do objeto, que indica quando são necessários sinais binários altos e baixos na unidade lógica aritmética do processador.
Techopedia explica Compilador
Um compilador que converte linguagem de máquina em linguagem natural de alto nível é chamado de descompilador. Compiladores que produzem o código do objeto destinado a ser executado em um sistema são chamados de compiladores cruzados. Finalmente, um compilador que converte uma linguagem de programação em outra é chamado de tradutor de linguagem.
Um compilador executa quatro etapas principais:
- Digitalização : o scanner lê um caractere de cada vez no código-fonte e monitora qual caractere está presente em qual linha.
- Análise Lexical : O compilador converte a sequência de caracteres que aparecem no código-fonte em uma série de cadeias de caracteres (conhecidas como tokens), que são associadas a uma regra específica por um programa chamado analisador lexical. Uma tabela de símbolos é usada pelo analisador lexical para armazenar as palavras no código-fonte que correspondem ao token gerado.
- Análise sintática : nesta etapa, é realizada a análise de sintaxe, que envolve pré-processamento para determinar se os tokens criados durante a análise lexical estão na ordem correta conforme o uso. A ordem correta de um conjunto de palavras-chave, que pode gerar o resultado desejado, é chamada de sintaxe. O compilador deve verificar o código fonte para garantir a precisão sintática.
- Análise Semântica : Esta etapa é composta por várias etapas intermediárias. Primeiro, a estrutura dos tokens é verificada, juntamente com sua ordem em relação à gramática em um determinado idioma. O significado da estrutura do token é interpretado pelo analisador e analisador para finalmente gerar um código intermediário, chamado código do objeto. O código do objeto inclui instruções que representam a ação do processador para um token correspondente quando encontrado no programa. Por fim, todo o código é analisado e interpretado para verificar se são possíveis otimizações. Depois que as otimizações podem ser executadas, os tokens modificados apropriados são inseridos no código do objeto para gerar o código final do objeto, que é salvo dentro de um arquivo.
