Un compilador es un programa que traduce el código fuente de otro programa desde un lenguaje de programación a código ejecutable.
El código fuente está típicamente en un lenguaje de programación de alto nivel (por ejemplo, Pascal, C, C ++, Java, Perl, C #, etc.). El código ejecutable puede ser una secuencia de instrucciones de máquina que la CPU puede ejecutar directamente, o puede ser una representación intermedia que es interpretada por una máquina virtual (por ejemplo, código de bytes de Java).
En resumen, un compilador convierte un programa de un formato legible por humanos a un formato legible por máquina.
En cuanto a cómo funciona un compilador, eso es realmente complicado. Hay libros y cursos universitarios sobre el tema. Intentaré resumir brevemente las etapas principales del proceso, pero esta será una descripción general muy superficial.
- Lexing: divide el texto del programa en «tokens». Los tokens son las «palabras» del lenguaje de programación, como identificadores (palabras clave, nombres de variables, nombres de funciones, etc.) u operadores (=, *, &, etc.) .
- Análisis: convierte la secuencia de tokens en un árbol de análisis, que es una estructura de datos que representa varias construcciones del lenguaje: declaraciones de tipo, declaraciones de variables, definiciones de funciones, bucles, condicionales, expresiones, etc.
- Optimización: evalúe expresiones constantes, optimice las variables no utilizadas o el código inalcanzable, desenrolle bucles si es posible, etc.
- Traduzca el árbol de análisis en instrucciones de máquina (o código de bytes JVM).
De nuevo, recalco que esta es una descripción muy breve. Los compiladores modernos son muy inteligentes y, en consecuencia, muy complicados.
Comentarios
Un compilador es un programa informático (o conjunto de instrucciones) que transforma el código fuente escrito en un lenguaje de programación (el lenguaje fuente) a otro lenguaje informático (el idioma de destino, que a menudo tiene una forma binaria conocida como código objeto). La razón más común para querer transformar el código fuente es crear un programa ejecutable.
Los compiladores unen los programas fuente en lenguajes de alto nivel con el hardware subyacente. Un compilador requiere:
- Determinar la exactitud de la sintaxis de los programas
- Generar código objeto correcto y eficiente
- Organización en tiempo de ejecución
- Formatear la salida de acuerdo con las convenciones del ensamblador y / o enlazador.