En inform�tica, un compilador es un tipo de traductor que transforma un programa

entero de un lenguaje de programaci�n (llamado c�digo fuente) a otro.1? Usualmente

el lenguaje objetivo es c�digo m�quina, aunque tambi�n puede ser traducido a un
c�digo intermedio (bytecode) o a texto. A diferencia de los int�rpretes, los
compiladores re�nen diversos elementos o fragmentos en una misma unidad (un
programa ejecutable o una librer�a), que puede ser almacenada y reutilizada. Este
proceso de traducci�n se conoce como compilaci�n.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, seg�n

la definici�n del lenguaje en t�rminos de teor�a de lenguajes formales. 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 programa objetivo lo m�s
eficiente posible, seg�n su complejidad computacional o complejidad de Kolmog�rov:
tiempo de ejecuci�n, espacio durante ejecuci�n, espacio para ser almacenado fuera
de ejecuci�n, etc).
Alternativamente, las fases descritas para las tareas de an�lisis y s�ntesis se
pueden agrupar en:

Analizador o 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.
Generador o 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 este
generador.
Esta divisi�n permite que el mismo generador se utilice para crear el c�digo
m�quina de varios lenguajes de programaci�n distintos y que el mismo analizador que
sirve para examinar el c�digo fuente de un lenguaje de programaci�n concreto sirva
para producir c�digo m�quina en varias plataformas. Suele incluir la generaci�n y
optimizaci�n del c�digo dependiente de la m�quina.

�ndice
1 Historia
2 Tipos de compiladores
3 Proceso de compilaci�n
4 Etapas del proceso
4.1 Fase de an�lisis
4.1.1 An�lisis l�xico
4.1.2 An�lisis sint�ctico
4.1.3 An�lisis sem�ntico
4.2 Fase de s�ntesis
4.2.1 Generaci�n de c�digo intermedio
4.3 Optimizaci�n de c�digo
5 Estructura de datos principales
5.1 Componentes l�xicos o t�kenes
5.2 �rbol sint�ctico
5.3 Tabla de s�mbolos
5.4 Tabla de literales
5.5 C�digo intermedio
5.6 Archivos temporales
6 V�ase tambi�n
7 Referencias
8 Enlaces externos
Historia[editar]
Art�culo principal: Historia de la construcci�n de los compiladores
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.

El trabajo de realizar un compilador fue complicado de realizar. 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.

Tipos de compiladores[editar]
Esta taxonom�a de los tipos de compiladores no es excluyente, por lo que puede
haber compiladores que se adscriban a varias categor�as:

Compiladores cruzados: generan c�digo para un sistema distinto del que est�n
funcionando.
Compiladores optimizadores: realizan cambios en el c�digo para mejorar su
eficiencia, pero manteniendo la funcionalidad del programa original.
Compiladores de una sola pasada: generan el c�digo m�quina a partir de una �nica
lectura del c�digo fuente.
Compiladores de varias pasadas: necesitan leer el c�digo fuente varias veces antes
de poder producir el c�digo m�quina.
Compiladores JIT (just in time): forman parte de un int�rprete y compilan partes
del c�digo seg�n se necesitan.
En las primeras �pocas de la inform�tica, los compiladores eran considerados un
software de los m�s complejos existentes.

Los primeros compiladores se realizaron program�ndolos directamente en lenguaje

m�quina o en ensamblador. Una vez que se dispone de un compilador, se pueden
escribir nuevas versiones del compilador (u otros compiladores distintos) en el
lenguaje que compila ese compilador.

Actualmente existen herramientas que facilitan la tarea de escribir compiladores o

int�rpretes inform�ticos. Estas herramientas permiten generar el esqueleto del
analizador sint�ctico a partir de una definici�n formal del lenguaje de partida,
especificada normalmente mediante una gram�tica formal y barata, dejando �nicamente
al programador del compilador la tarea de programar las acciones sem�nticas
asociadas.

Proceso de compilaci�n[editar]
Es el proceso por el cual se traducen las instrucciones escritas en un determinado
lenguaje de programaci�n a lenguaje m�quina. Adem�s de un traductor, se pueden
necesitar otros programas para crear un programa objeto ejecutable. Un programa
fuente se puede dividir en m�dulos almacenados en archivos distintos. La tarea de
reunir el programa fuente a menudo se conf�a a un programa distinto, llamado
preprocesador. El preprocesador tambi�n puede expandir abreviaturas, llamadas a
macros, a proposiciones del lenguaje fuente.

Normalmente la creaci�n de un programa ejecutable (un t�pico archivo .exe para

Windows o DOS) conlleva dos pasos. El primer paso se llama compilaci�n (propiamente
dicho) y traduce el c�digo fuente escrito en un lenguaje de programaci�n almacenado
en un archivo a c�digo en bajo nivel (normalmente en c�digo objeto, no directamente
a lenguaje m�quina). El segundo paso se llama enlazado en el cual se enlaza el
c�digo de bajo nivel generado de todos los ficheros y subprogramas que se han
mandado a compilar y se a�ade el c�digo de las funciones que hay en las bibliotecas
del compilador para que el ejecutable pueda comunicarse directamente con el sistema
operativo, traduciendo as� finalmente el c�digo objeto a c�digo m�quina, y
generando un m�dulo ejecutable.

Estos dos pasos se pueden hacer por separado, almacenando el resultado de la fase
de compilaci�n en archivos objetos (un t�pico.obj para Microsoft Windows, DOS o
para Unix); para enlazarlos en fases posteriores, o crear directamente el
ejecutable; con lo que la fase de compilaci�n se almacena solo temporalmente. Un
programa podr�a tener partes escritas en varios lenguajes (por ejemplo C, C++ y
Asm), que se podr�an compilar de forma independiente y luego enlazar juntas para
formar un �nico m�dulo ejecutable.

Etapas del proceso[editar]

El proceso de traducci�n se compone internamente de varias etapas o fases, que
realizan distintas operaciones l�gicas. Es �til pensar en estas fases como en
piezas separadas dentro del traductor, y pueden en realidad escribirse como
operaciones codificadas separadamente aunque en la pr�ctica a menudo se integren
juntas.

Fase de an�lisis[editar]
An�lisis l�xico[editar]
Art�culo principal: Analizador l�xico
El an�lisis l�xico constituye la primera fase, aqu� se lee el programa fuente de
izquierda a derecha y se agrupa en componentes l�xicos (t�kenes), que son
secuencias de caracteres que tienen un significado. Adem�s, todos los espacios en
blanco, l�neas en blanco, comentarios y dem�s informaci�n innecesaria se elimina
del programa fuente. Tambi�n se comprueba que los s�mbolos del lenguaje (palabras
clave, operadores, etc.) se han escrito correctamente.

Como la tarea que realiza el analizador l�xico es un caso especial de coincidencia

de patrones, se necesitan los m�todos de especificaci�n y reconocimiento de
patrones, se usan principalmente los aut�matas finitos que acepten expresiones
regulares. Sin embargo, un analizador l�xico tambi�n es la parte del traductor que
maneja la entrada del c�digo fuente, y puesto que esta entrada a menudo involucra
un importante gasto de tiempo, el analizador l�xico debe funcionar de manera tan
eficiente como sea posible.

An�lisis sint�ctico[editar]
Art�culo principal: Analizador sint�ctico
En esta fase los caracteres o componentes l�xicos se agrupan jer�rquicamente en
frases gramaticales que el compilador utiliza para sintetizar la salida. Se
comprueba si lo obtenido de la fase anterior es sint�cticamente correcto (obedece a
la gram�tica del lenguaje). Por lo general, las frases gramaticales del programa
fuente se representan mediante un �rbol de an�lisis sint�ctico.

La estructura jer�rquica de un programa normalmente se expresa utilizando reglas

recursivas. Por ejemplo, se pueden dar las siguientes reglas como parte de la
definici�n de expresiones:

Cualquier identificador es una expresi�n.

Cualquier n�mero es una expresi�n.
Si expresi�n1 y expresi�n2 son expresiones, entonces tambi�n lo son:
expresi�n1 + expresi�n2
expresi�n1 * expresi�n2
( expresi�n1 )
Las reglas 1 y 2 son reglas b�sicas (no recursivas), en tanto que la regla 3 define
expresiones en funci�n de operadores aplicados a otras expresiones.

La divisi�n entre an�lisis l�xico y an�lisis sint�ctico es algo arbitraria. Un

factor para determinar la divisi�n es si una construcci�n del lenguaje fuente es
inherentemente recursiva o no. Las construcciones l�xicas no requieren recursi�n,
mientras que las construcciones sint�cticas suelen requerirla. No se requiere
recursi�n para reconocer los identificadores, que suelen ser cadenas de letras y
d�gitos que comienzan con una letra. Normalmente, se reconocen los identificadores
por el simple examen del flujo de entrada, esperando hasta encontrar un car�cter
que no sea ni letra ni d�gito, y agrupando despu�s todas las letras y d�gitos
encontrados hasta ese punto en un componente l�xico llamado identificador. Por otra
parte, esta clase de an�lisis no es suficientemente poderoso para analizar
expresiones o proposiciones. Por ejemplo, no podemos emparejar de manera apropiada
los par�ntesis de las expresiones, o las palabras begin y end en proposiciones sin
imponer alguna clase de estructura jer�rquica o de anidamiento a la entrada.

An�lisis sem�ntico[editar]
La fase de an�lisis sem�ntico revisa el programa fuente para tratar de encontrar
errores sem�nticos y re�ne la informaci�n sobre los tipos para la fase posterior de
generaci�n de c�digo. En ella se utiliza la estructura jer�rquica determinada por
la fase de an�lisis sint�ctico para identificar los operadores y operandos de
expresiones y proposiciones.
Un componente importante del an�lisis sem�ntico es la verificaci�n de tipos. Aqu�,
el compilador verifica si cada operador tiene operandos permitidos por la
especificaci�n del lenguaje fuente. Por ejemplo, las definiciones de muchos
lenguajes de programaci�n requieren que el compilador indique un error cada vez que
se use un n�mero real como �ndice de una matriz. Sin embargo, la especificaci�n del
lenguaje puede imponer restricciones a los operandos, por ejemplo, cuando un
operador aritm�tico binario se aplica a un n�mero entero y a un n�mero real.3?
Revisa que los arreglos tengan definido el tama�o correcto.

Fase de s�ntesis[editar]
Consiste en generar el c�digo objeto equivalente al programa fuente. Solo se genera
c�digo objeto cuando el programa fuente est� libre de errores de an�lisis, lo cual
no quiere decir que el programa se ejecute correctamente, ya que un programa puede
tener errores de concepto o expresiones mal calculadas. Por lo general el c�digo
objeto es c�digo de m�quina relocalizable o c�digo ensamblador. Las posiciones de
memoria se seleccionan para cada una de las variables usadas por el programa.
Despu�s, cada una de las instrucciones intermedias se traduce a una secuencia de
instrucciones de m�quina que ejecuta la misma tarea. Un aspecto decisivo es la
asignaci�n de variables a registros.

Generaci�n de c�digo intermedio[editar]

Despu�s de los an�lisis sint�ctico y sem�ntico, algunos compiladores generan una
representaci�n intermedia expl�cita del programa fuente. Se puede considerar esta
representaci�n intermedia como un programa para una m�quina abstracta. Esta
representaci�n intermedia debe tener dos propiedades importantes; debe ser f�cil de
producir y f�cil de traducir al programa objeto.

La representaci�n intermedia puede tener diversas formas. Existe una forma

intermedia llamada �c�digo de tres direcciones� que es como el lenguaje ensamblador
de una m�quina en la que cada posici�n de memoria puede actuar como un registro. El
c�digo de tres direcciones consiste en una secuencia de instrucciones, cada una de
las cuales tiene como m�ximo tres operandos. Esta representaci�n intermedia tiene
varias propiedades:

Primera: cada instrucci�n de tres direcciones tiene a lo sumo un operador, adem�s

de la asignaci�n, por tanto, cuando se generan estas instrucciones, el traductor
tiene que decidir el orden en que deben efectuarse las operaciones.
Segunda: el traductor debe generar un nombre temporal para guardar los valores
calculados por cada instrucci�n.
Tercera: algunas instrucciones de �tres direcciones� tienen menos de tres
operandos, por ejemplo, la asignaci�n.
Optimizaci�n de c�digo[editar]
Art�culo principal: Compilador optimizador
La fase de optimizaci�n de c�digo consiste en mejorar el c�digo intermedio, de modo
que resulte un c�digo m�quina m�s r�pido de ejecutar. Esta fase de la etapa de
s�ntesis es posible sobre todo si el traductor es un compilador (dif�cilmente un
int�rprete puede optimizar el c�digo objeto). Hay mucha variaci�n en la cantidad de
optimizaci�n de c�digo que ejecutan los distintos compiladores. En los que hacen
mucha optimizaci�n, llamados �compiladores optimizadores�, una parte significativa
del tiempo del compilador se ocupa en esta fase. Sin embargo, hay optimizaciones
sencillas que mejoran sensiblemente el tiempo de ejecuci�n del programa objeto sin
retardar demasiado la compilaci�n.3?

Estructura de datos principales[editar]

La interacci�n entre los algoritmos utilizados por las fases del compilador y las
estructuras de datos que soportan estas fases es, naturalmente, muy fuerte. El
escritor del compilador se esfuerza por implementar estos algoritmos de una manera
tan eficaz como sea posible, sin aumentar demasiado la complejidad. De manera
ideal, un compilador deber�a poder compilar un programa en un tiempo proporcional
al tama�o del mismo.

Componentes l�xicos o t�kenes[editar]

Cuando un analizador l�xico re�ne los caracteres en un token, generalmente
representa el token de manera simb�lica, es decir, como un valor de un tipo de
datos enumerado que representa el conjunto de tokens del lenguaje fuente. En
ocasiones tambi�n es necesario mantener la cadena de caracteres misma u otra
informaci�n derivada de ella, tal como el nombre asociado con un token
identificador o el valor de un token de n�mero.

En la mayor�a de los lenguajes el analizador l�xico solo necesita generar un token

a la vez. En este caso se puede utilizar una variable global simple para mantener
la informaci�n del token. En otros casos (cuyo ejemplo m�s notable es FORTRAN),
puede ser necesario un arreglo (o vector) de t�kenes.

�rbol sint�ctico[editar]
Si el analizador sint�ctico genera un �rbol sint�ctico, por lo regular se construye
como una estructura est�ndar basada en un puntero que se asigna de manera din�mica
a medida que se efect�a el an�lisis sint�ctico. El �rbol entero puede entonces
conservarse como una variable simple que apunta al nodo ra�z. Cada nodo en la
estructura es un registro cuyos campos representan la informaci�n recolectada tanto
por el analizador sint�ctico como, posteriormente, por el analizador sem�ntico. Por
ejemplo, el tipo de datos de una expresi�n puede conservarse como un campo en el
nodo del �rbol sint�ctico para la expresi�n.

En ocasiones, para ahorrar espacio, estos campos se asignan de manera din�mica, o

se almacenan en otras estructuras de datos, tales como la tabla de s�mbolos, que
permiten una asignaci�n y desasignaci�n selectivas. En realidad, cada nodo del
�rbol sint�ctico por s� mismo puede requerir de atributos diferentes para ser
almacenado, de acuerdo con la clase de estructura del lenguaje que represente. En
este caso, cada nodo en el �rbol sint�ctico puede estar representado por un
registro variable, con cada clase de nodo conteniendo solamente la informaci�n
necesaria para ese caso.

Tabla de s�mbolos[editar]
Esta estructura de datos mantiene la informaci�n asociada con los identificadores:
funciones, variables, constantes y tipos de datos. La tabla de s�mbolos interact�a
con casi todas las fases del compilador: el analizador l�xico, el analizador
sint�ctico o el analizador sem�ntico pueden introducir identificadores dentro de la
tabla; el analizador sem�ntico agregar� tipos de datos y otra informaci�n; y las
fases de optimizaci�n y generaci�n de c�digo utilizar�n la informaci�n
proporcionada por la tabla de s�mbolos para efectuar selecciones apropiadas de
c�digo objeto.

Puesto que la tabla de s�mbolos tendr� solicitudes de acceso con tanta frecuencia,
las operaciones de inserci�n, eliminaci�n y acceso necesitan ser eficientes,
preferiblemente operaciones de tiempo constante. Una estructura de datos est�ndar
para este prop�sito es la tabla de dispersi�n o de c�lculo de direcci�n, aunque
tambi�n se pueden utilizar diversas estructuras de �rbol. En ocasiones se utilizan
varias tablas y se mantienen en una lista o pila.

Tabla de literales[editar]
La b�squeda y la inserci�n r�pida son esenciales tambi�n para la tabla de
literales, la cual almacena constantes y cadenas utilizadas en el programa. Sin
embargo, una tabla de literales necesita impedir las eliminaciones porque sus datos
se aplican globalmente al programa y una constante o cadena aparecer� solo una vez
en esta tabla. La tabla de literales es importante en la reducci�n del tama�o de un
programa en la memoria al permitir la reutilizaci�n de constantes y cadenas.
Tambi�n es necesaria para que el generador de c�digo construya direcciones
simb�licas para las literales y para introducir definiciones de datos en el archivo
de c�digo objeto.

C�digo intermedio[editar]
De acuerdo con la clase de c�digo intermedio (por ejemplo, c�digo de tres
direcciones o c�digo P) y de las clases de optimizaciones realizadas, este c�digo
puede conservarse como un arreglo de cadenas de texto, un archivo de texto temporal
o bien una lista de estructuras ligadas. En los compiladores que realizan
optimizaciones complejas debe ponerse particular atenci�n a la selecci�n de
representaciones que permitan una f�cil reorganizaci�n.

Generaci�n de c�digo intermedio

Despu�s de los an�lisis sint�ctico y sem�ntico, algunos compiladores generan una
representaci�n intermedia expl�cita del programa fuente. Se puede considerar esta
representaci�n intermedia como un programa para una m�quina abstracta. Esta
representaci�n intermedia debe tener dos propiedades importantes; debe ser f�cil de
producir y f�cil de traducir al programa objeto.

La representaci�n intermedia puede tener diversas formas. Existe una forma

intermedia llamada �c�digo de tres direcciones�, que es como el lenguaje
ensamblador para una m�quina en la que cada posici�n de memoria puede actuar como
un registro. El c�digo de tres direcciones consiste en una secuencia de
instrucciones, cada una de las cuales tiene como m�ximo tres operandos. El programa
fuente de (1) puede aparecer en c�digo de tres direcciones como

temp1 := entreal(60)
temp2 := id3 * temp1 ===> (2)
temp3 := id2 + temp2
id1 := temp3
Esta representaci�n intermedia tiene varias propiedades. Primera, cada instrucci�n
de tres direcciones tiene a lo sumo un operador, adem�s de la asignaci�n. Por
tanto, cuando se generan esas instrucciones el compilador tiene que decidir el
orden en que deben efectuarse, las operaciones; la multiplicaci�n precede a la
adici�n al programa fuente de. Segunda, el compilador debe generar un nombre
temporal para guardar los valores calculados por cada instrucci�n. Tercera, algunas
instrucciones de �tres direcciones� tienen menos de tres operadores, por ejemplo la
primera y la �ltima instrucciones de asignaci�n.

Optimizaci�n de C�digo
La fase de optimizaci�n de c�digo trata de mejorar el c�digo intermedio de modo que
resulte un c�digo de m�quina m�s r�pido de ejecutar. Algunas optimizaciones son
triviales. Por ejemplo, un algoritmo natural genera el c�digo intermedio (2)
utilizando una instrucci�n para cada operador de la representaci�n del �rbol
despu�s del an�lisis sem�ntico, aunque hay una forma mejor de realizar los mismos
c�lculos usando las dos instrucciones

temp1 := id3 * 60.0 ===> (3)

id1 := id2 + temp1
Este sencillo algoritmo no tiene nada de malo, puesto que el problema se puede
solucionar en la fase de optimizaci�n de c�digo. Esto es, el compilador puede
deducir que la conversi�n de 60 de entero a real se puede hacer de una vez por
todas en el momento de la compilaci�n, de modo que la operaci�n "entreal( )" se
puede eliminar. Adem�s, temp3 se usa solo una vez, para transmitir su valor a id1.
Entonces resulta seguro sustituir a id1 por temp3, a partir de lo cual la �ltima
proposici�n de (2) no se necesita y se obtiene el c�digo de (3).

Hay muchas variaciones en la cantidad de optimizaci�n de c�digo que ejecutan los

distintos compiladores. En lo que hacen mucha optimizaci�n llamados �compiladores
optimizadores�, una parte significativa del tiempo del compilador se ocupa en esta
fase. Sin embargo, hay optimizaciones sencillas que mejoran sensiblemente el tiempo
de ejecuci�n del programa objeto sin retardar demasiado la compilaci�n.

Archivos temporales[editar]
Al principio las computadoras no ten�an la suficiente memoria para guardar un
programa completo durante la compilaci�n. Este problema se resolvi� mediante el uso
de archivos temporales para mantener los productos de los pasos intermedios durante
la traducci�n o bien al compilar �al vuelo�, es decir, manteniendo solo la
informaci�n suficiente de las partes anteriores del programa fuente que permita
proceder a la traducci�n.

Las limitaciones de memoria son ahora un problema mucho menor, y es posible

requerir que una unidad de compilaci�n entera se mantenga en memoria, en especial
si se dispone de la compilaci�n por separado en el lenguaje. Con todo, los
compiladores ocasionalmente encuentran �til generar archivos intermedios durante
alguna de las etapas del procesamiento. Algo t�pico de estos es la necesidad de
direcciones de correcci�n hacia atr�s durante la generaci�n de c�digo.