Compiladores

1.- ¿Qué es un compilador?
Los compiladores son programas de computadora que traducen un lenguaje a otro.
Un compilador toma como su entrada un programa escrito en su lenguaje fuente y produce
un programa equivalente escrito en su lenguaje objetivo. Por lo regular, el lenguaje fuente es un lenguaje de alto nivel, tal como C o C++, mientras que el lenguaje objetivo es código objeto (tambiénllamado en ocasiones código de máquina)

2.- ¿Por qué compiladores? Una breve historia
Con el advenimiento de la computadora con programa almacenado, iniciado por John von Neumann a finales de la década de 1940, se hizo necesario escribir secuencias de códigos, o programas, que darían como resultado que estas computadoras realizaran los cálculos deseados.
Al principio estos programas se escribíanen lenguaje de máquina: códigos numericos que representaban las operaciones reales de la Máquina que iban a efectuarse. Por Ejemplo: C7 06 0000 0002

Por supuesto, la escritura de tales códigos es muy tediosa u consume mucho tiempo, por lo que esta forma de codificación pronto fue remplazada por el Lenguaje ensamblador, en el cual las instrucciones y las localidades de memoria son formassimbólicas dadas. Por ejemplo, la instrucción en lenguajes ensamblador. MOV x,2

Un ensamblador traduce los códigos simbólicos y las localidades de memoria de lenguaje ensamblador a los código numéricos correspondientes del lenguaje de maquina.
El lenguaje ensamblador mejoró enormemente la velocidad y exactitud con la que podían Escribirse los programas, y en la actualidad todavía se encuentra enuno especia Cuando se necesita una gran velocidad o brevedad en el código. Sin embargo, el lenguaje ensamblador tiene varios defectos: aún no es fácil de escribir y es difícil de leer y comprender, además, el lenguaje ensamblador depende en extremo de la máquina en particular para la cual se haya escrito, de manera que el código escrito para una computadora debe volver a escribirse por completopara otra máquina.
El desarrollo del lenguaje FORTRAN y su compilador, llevado a cabo por un equipo en IBM dirigido por John Backus entre 1954 y 1957 demostró que estos temores eran infundados.
No obstante, el éxito de este proyecto se debió sólo a un gran esfuerzo. Ya que la mayoría de los procesos involucrados n la traducción de lenguajes de programación no fueron bien comprendidos en el momento.Más o menos al mismo tiempo en que el primero compilador se estaba desarrollando, Noam Chomsky comenzó a estudiar la estructura del lenguaje natural. Sus hallazgos finalmente hicieron que la construcción de compiladores se volviera mucho más fácil e incluso pudiera ser automatizado hasta cierto punto. Los estudios de Chomsky condujeron a la clasificación de los lenguajes de acuerdo con lacomplejidad de sus gramáticas (las reglas que especifican su estructura) y la potencia de los algoritmos necesarios para reconocerlas. Las jerarquías de Chomsky, como ahora se le conoce, se compone de cuatro niveles de gramáticas, denominadas gramáticas tipo 0, tipo 1, tipo 2 y tipo 3, cada una de las cuales es una especialización de sus predecesora. Las gramáticas de tipo 2 o gramáticas libres decontexto, demostraron ser las más útiles para lenguajes de programación, en la actualidad son la manera estándar para representar la estructura de los lenguajes de programación.
Los autómatas finitos y las expresiones regulares, que corresponden a las gramáticas de tipo 3 de Chomsky, se encuentran estrechamente relacionados con las gramáticas libres de contexto.
INTÉRPRETES
Un intérprete es untraductor de lenguaje, igual que un compilador, pero difiere de éste en que ejecuta el programa fuente inmediatamente, en vez de generar un código objeto que se ejecuta después de que se completa la traducción. En principio, cualquier lenguaje de programación se puede interpretar o compilar, pero se puede preferir un intérprete a un compilador dependiendo del lenguaje que se esté usando y de la...