Escolar Documentos
Profissional Documentos
Cultura Documentos
Sintaxis
Consta de unas definiciones, denominadas reglas sintcticas o producciones que
especifican la secuencia de smbolos que forman una frase del lenguaje. Estas reglas
dicen si una frase est bien escrita o no.
Las reglas sintcticas pueden contener dos tipos de elementos:
Existen diversas formas de especificar las reglas, pero nicamente vamos a ver dos de
ellas:
Notacin BNF (Backus-Naur Form). Es de las primeras notaciones que se empez a
utilizar para especificar lenguajes de programacin.
Notacin BNF:
Los elementos terminales, o sea, que pertenecen al vocabulario, se escriben tal cual.
Los elementos no terminales se escriben entre los smbolos <>.
Ejemplo: Descripcin sintctica de una expresin matemtica en notacin BNF:
---> 4*(3+1)
<expresin> ::= <numero> | (<expresin>) | <expresin><operador><expresin>
<operador> ::= + | - | * | /
<numero> ::= <digito> | <numero><digito>
<digito> ::= 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 0
Semntica
Define el significado de las construcciones sintcticas del lenguaje y de las expresiones
y tipos de datos utilizadas
Ejemplo:
if (a>b) max := a else max := b;
Las instrucciones del lenguaje son las instrucciones del microprocesador del
ordenador, que normalmente son demasiado simples.
B8 03 00
05 05 00
No depende del procesador, por lo que el mismo programa sirve para diferentes
ordenadores.
encontrar la solucin
- Orientados a objetos
- Funcion
ales
- Logicos
Estticos: Los requisitos de memoria del programa se pueden calcular antes de ejecutar
el programa. No permiten recursividad. Fortran, Cobol.
Pila
Fija
1945- En 1945, el matemtico y qumico Jonh (Janos) von Neumann presenta los principios
generales que debe seguir una mquina de propsito general.
El primer lenguaje en el que se programaron los ordenadores fue el propio del
procesador, es decir, instrucciones anlogas a las presentes en la mquina de Von
Neumann. Sin embargo era necesario tener en cuenta los detalles propios de la mquina
para poder realizar cualquier clculo y adems era muy tedioso introducir el programa
en el ordenador.
1951 En 1951, apenas siete aos despus de que Von Neumann introdujera el concepto de
programa almacenado en memoria, Wilkes, Wheeler y Gill describen un cargador de
programas que realiza la conversin de valores decimales a binarios para permitir una
mayor comodidad en la codificacin de instrucciones y direcciones. Con objeto de
simplificar la programacin, los ensambladores fueron enriquecindose
paulatinamente, hasta convertirse en traductores de representaciones simblicas
(mnemotcnicas) del lenguaje mquina (lenguajes ensambladores) al propio lenguaje
mquina.
Los lenguajes ensambladores siguen siendo prximos a los lenguajes de mquina y, si
bien simplifican considerablemente el proceso de la programacin, mantienen dos de
sus principales inconvenientes: requieren un excesivo nivel de detalle en la escritura de
programas y son dependientes del sistema computador concreto, de cuyas instrucciones
elementales hace representacin simblica.
Es por ello que se intent crear un nuevo lenguaje que no estuviese basado directamente
en las instrucciones propias de la mquina (que no dependiese de la mquina concreta),
sino en una abstraccin de stas y que fuese ms cmoda para el programador. De la
misma forma, no se utilizaran directamente los dispositivos fsicos (registros, celdas de
memoria, etc.) sino abstracciones de stos (variables.) De esta forma surge un nuevo
concepto de lenguaje de programacin, donde cada lenguaje lleva asociado una
mquina abstracta sobre el que se puede ejecutar su cdigo.
Si deseamos ejecutar sobre un ordenador concreto los programas escritos en un lenguaje
de alto nivel, debemos traducirlos a otros equivalentes en un cdigo mquina concreto
(manualmente o mediante un proceso denominado compilacin) o disponer de una
herramienta que lea el programa e interprete paso a paso el significado de cada
sentencia del programa (proceso de interpretacin).
1957- Trabajando en esta direccin, entre 1954 y 1958, John Backus lider un grupo de
trabajo que tena por objeto la realizacin de un traductor a cdigo mquina de frmulas
matemticas que expresaran clculos. El resultado fue tanto la especificacin de un
lenguaje de alto nivel, el Fortran, como la realizacin de un compilador que traduca
dicho lenguaje al cdigo mquina de un ordenador concreto (IBM 704).
Alrededor del ao 1960 se crearon tres lenguajes decisivos: el Algol 60, el Cobol y el
Lisp.
1958- El Lisp, diseado por John McCarthy, fue tambin un lenguaje muy innovador en el
sentido de que se aleja mucho del concepto de la mquina de Von Neumann. Se basa
casi exclusivamente en el uso de funciones y en el clculo lambda y su objetivo
principal era el clculo simblico. Fue el precursor de los denominados lenguajes
funcionales. Este lenguaje ha sido ampliamente utilizado en el mbito de la inteligencia
artificial.
1959- El Cobol fue encargado por el Departamento de Defensa de EUA. Su objetivo era
claramente prctico y aunque se realiz sin tener en cuenta algunos de los avances
realizados en el momento en el diseo de lenguajes de programacin, fue innovador en
Traductores e intrpretes.
Para que un procesador ejecute un programa escrito en un lenguaje de alto nivel es
necesario que lo transforme a su equivalente en lenguaje mquina. Para ello existen dos
posibilidades, la interpretacin y la traduccin.
Interpretacin:
Un intrprete traduce y ejecuta sentencia a sentencia el programa original (programa
fuente.)
Programa fuente
Intrprete
Traduccin:
Traduce el programa original en un programa escrito en lenguaje mquina.
Comparacin compiladores-intrpretes:
Actualmente casi todos los lenguajes son compilados o una mezcla entre los dos
(Prolog, Java.)
Fases del proceso de compilacin:
Tipos de errores: