Compilador

Diagrama a bloques de la operación de un buen compilador.

Un compilador es un programa informático que traduce un programa escrito en un lenguaje de programación a otro lenguaje diferente.[2]



La construcción de un compilador involucra la división del proceso en una serie de fases que variará con su complejidad. Generalmente estas fases se agrupan en dos tareas: el análisis del programa fuente y la síntesis del programa objeto.

  • Análisis: Se trata de la comprobación de la corrección del programa fuente, e incluye las fases correspondientes al Análisis léxico (que consiste en la descomposición del programa fuente en componentes léxicos), análisis sintáctico (agrupación de los componentes léxicos en frases gramaticales ) y análisis semántico (comprobación de la validez semántica de las sentencias aceptadas en la fase de análisis sintáctico).
  • Síntesis: Su objetivo es la generación de la salida expresada en el lenguaje objeto y suele estar formado por una o varias combinaciones de fases de generación de código (normalmente se trata de código intermedio o de código objeto) y de optimización de código (en las que se busca obtener un código lo más eficiente posible).

Alternativamente, las fases descritas para las tareas de análisis y síntesis se pueden agrupar en Front-end y Back-end:

  • Front-end: es la parte que analiza el código fuente, comprueba su validez, genera el árbol de derivación y rellena los valores de la tabla de símbolos. Esta parte suele ser independiente de la plataforma o sistema para el cual se vaya a compilar, y está compuesta por las fases comprendidas entre el análisis Léxico y la generación de código intermedio.
  • Back-end: es la parte que genera el código máquina, específico de una plataforma, a partir de los resultados de la fase de análisis, realizada por el Front End.

Esta división permite que el mismo Back End se utilice para generar el código máquina de varios lenguajes de programación distintos y que el mismo Front End que sirve para analizar el código fuente de un lenguaje de programación concreto sirva para generar código máquina en varias plataformas distintas. Suele incluir la generación y optimización del código dependiente de la máquina.

Historia

En 1946 se desarrolló la primera computadora digital. En un principio, estas máquinas ejecutaban instrucciones consistentes en códigos numéricos que señalaban a los circuitos de la máquina los estados correspondientes a cada operación, lo que se denominó lenguaje máquina.

Pronto los primeros usuarios de estos ordenadores descubrieron la ventaja de escribir sus programas mediante claves más fáciles de recordar que esos códigos; al final, todas esas claves juntas se traducían manualmente a lenguaje máquina. Estas claves constituyen los llamados lenguajes ensambladores.

Pese a todo, el lenguaje ensamblador seguía siendo el de una máquina, pero más fácil de manejar. Los trabajos de investigación se orientaron hacia la creación de un lenguaje que expresara las distintas acciones a realizar de una manera lo más sencilla posible para una persona. El primer compilador fue escrito por Grace Hopper, en 1952 para el lenguaje de programación A-0. En 1950 John Backus dirigió una investigación en IBM sobre un lenguaje algebraico. En 1954 se empezó a desarrollar un lenguaje que permitía escribir fórmulas matemáticas de manera traducible por un ordenador; le llamaron FORTRAN (FORmulae TRANslator). Fue el primer lenguaje de alto nivel y se introdujo en 1957 para el uso de la computadora IBM modelo 704.

Surgió así por primera vez el concepto de un traductor como un programa que traducía un lenguaje a otro lenguaje. En el caso particular de que el lenguaje a traducir es un lenguaje de alto nivel y el lenguaje traducido de bajo nivel, se emplea el término compilador.

La tarea de realizar un compilador no fue fácil. El primer compilador de FORTRAN tardó 18 años-persona en realizarse y era muy sencillo. Este desarrollo de FORTRAN estaba muy influenciado por la máquina objeto en la que iba a ser implementado. Como un ejemplo de ello tenemos el hecho de que los espacios en blanco fuesen ignorados, debido a que el periférico que se utilizaba como entrada de programas (una lectora de tarjetas perforadas) no contaba correctamente los espacios en blanco.

El primer compilador autocontenido, es decir, capaz de compilar su propio código fuente fue el creado para Lisp por Hart y Levin en el MIT en 1962. Desde 1970 se ha convertido en una práctica común escribir el compilador en el mismo lenguaje que este compila, aunque Pascal y C han sido alternativas muy usadas.

Crear un compilador autocontenido genera un problema llamado bootstrapping, es decir el primer compilador creado para un lenguaje tiene que o bien ser compilado por un compilador escrito en otro lenguaje o bien compilado al ejecutar el compilador en un intérprete.

Other Languages
aragonés: Compilador
العربية: مترجم (مجمع)
asturianu: Compilador
azərbaycanca: Kompilyator
беларуская: Кампілятар
беларуская (тарашкевіца)‎: Кампілятар
български: Компилатор
bosanski: Kompajler
català: Compilador
کوردیی ناوەندی: کۆمپایلەر
čeština: Překladač
dansk: Compiler
Deutsch: Compiler
Zazaki: Arêkerdoğ
English: Compiler
Esperanto: Tradukilo
euskara: Konpiladore
فارسی: کامپایلر
français: Compilateur
Gaeilge: Tiomsaitheoir
galego: Compilador
עברית: מהדר
हिन्दी: अनुभाषक
hornjoserbsce: Kompilator
Հայերեն: Կոմպիլյատոր
interlingua: Compilator
Bahasa Indonesia: Kompilator
Ilokano: Manggupgop
italiano: Compilatore
日本語: コンパイラ
ქართული: კომპილატორი
қазақша: Компилятор
한국어: 컴파일러
Кыргызча: Компилер
Latina: Compilatrum
Lëtzebuergesch: Compiler
lietuvių: Kompiliatorius
latviešu: Kompilators
олык марий: Компиляций
മലയാളം: കംപൈലർ
Bahasa Melayu: Penyusun
Mirandés: Cumpilador
မြန်မာဘာသာ: Compiler
नेपाली: कम्पाइलर
Nederlands: Compiler
norsk bokmål: Kompilator
ਪੰਜਾਬੀ: ਕੰਪਾਇਲਰ
polski: Kompilator
پنجابی: کمپائلر
português: Compilador
română: Compilator
русский: Компилятор
Scots: Compiler
srpskohrvatski / српскохрватски: Kompajler
Simple English: Compiler
slovenščina: Prevajalnik
српски / srpski: Компилатор
svenska: Kompilator
తెలుగు: కంపైలర్
Tagalog: Compiler
Türkçe: Derleyici
українська: Компілятор
اردو: کمپائلر
Tiếng Việt: Trình biên dịch
Winaray: Kompilador
ייִדיש: קאמפיילער
中文: 編譯器