Estructura de Programas

Definicin de lenguajes de un computador:

Son lenguajes permiten expresar los programas o el conjunto de instrucciones que el
operador humano desea que la computadora ejecute.
Tipos:
Hay varias formas de clasificar los lenguajes de programacin y una de ellas sera por
la cercana o lejana a la mquina. De este modo podemos distinguir tres tipos de lenguajes:
- Lenguajes de bajo nivel: Son aquellos que se encuentran ms cerca de la mquina que del
hombre. Esto significa que se acercan al lenguaje usado por el ordenador, ceros y unos. Por
ejemplo: Ensamblador, Cdigo mquina, etc.
- Lenguajes de medio nivel: Se encuentran a medio camino de la mquina y el hombre.
Aglutinan las instrucciones complejas a etiquetas o nombres y que estn compuestas por
instrucciones sencillas. Ejemplo: C (KERN78, KERN88) y el FORTH (KELL86)
- Lenguajes de alto nivel: La abstraccin es mucho mayor, las instrucciones son muy
complejas, estando ms cerca del entendimiento humano que de la mquina, y a diferencia
del medio y bajo nivel son independientes de la plataforma.
El lenguaje mquina:
Es la forma ms baja de un lenguaje de programacin. Cada instruccin en un
programa se representa por un cdigo numrico, y unas direcciones (que son otros cdigos
numricos) que se utiliza para referir las asignaciones de memoria del ordenador.
El lenguaje ensamblador o assembler:
Es esencialmente una versin simblica de un lenguaje mquina. Cada cdigo de
operacin se indica por un cdigo simblico.
Macros:
Muchos ensambladores soportan macros predefinidos, y otras soportan macros
definidos (y repetidamente redefinidles) por el programador que implican secuencias de
lneas del texto en las cuales las variables y las constantes estn empotradas. Las macros
fueron usados para adaptar sistemas de software de gran escala para clientes especficos en
la era del mainframe, y tambin fueron usados por el personal del cliente para satisfacer las
necesidades de sus patrones haciendo versiones especficas de los sistemas operativos del
fabricante.

Lenguajes orientados a procedimientos:

Estos lenguajes estaban orientados a los procedimientos, esto es, requeran que los
programadores resolvieran los problemas mediante la lgica tradicional de programacin.
As el programador codifica o escribe las instrucciones en la secuencia en la que deben
ejecutarse para resolver el problema. Ejemplos de este tipo de lenguajes son el COBOL y el
FORTRAN, ambos introducidos a fines de los cincuentas.
Procesadores de lenguaje:
Es el nombre genrico que reciben todas las aplicaciones informticas en las cuales
uno de los datos fundamentales de entrada es un lenguaje. La definicin anterior afecta a una
gran variedad de herramientas software, algunas de ellas son las siguientes (expresando entre
parntesis el trmino equivalente en lengua inglesa):
Traductores (translators)
Compiladores (compilers)
Ensambladores (assemblers)
Montadores de enlaces o enlazadores (linkers)
Cargadores (loaders)
Intrpretes (interpreters)
Desensambladores (dissemblers)
Decompiladores (decompilers)
Depuradores (debuggers)
Analizadores de rendimiento (profilers)
Optimizadores de cdigo (code optimizers)
Compresores (compressors)
Preprocesadores (preprocessors)
Formateadores (formatters)
Editores (editors)
Traductor:
Es un programa que procesa un texto fuente y genera un texto objeto. El traductor
est escrito en un lenguaje de implementacin.
Ensambladores:
Si el lenguaje fuente es el lenguaje ensamblador (en ingls assembly) y el lenguaje
objeto es el lenguaje mquina, entonces al traductor se le llama ensamblador (en ingls
assembler).
Los ensambladores son traductores sencillos, en los que el lenguaje fuente tiene una
estructura simple, que permite una traduccin de una sentencia fuente a una instruccin en
lenguaje mquina, guardndose en casi todos los casos esta relacin uno a uno.

Compiladores:
Los compiladores son programas que reciben un lenguaje fuente y lo transforman a
un programa objeto, que puede ser ensamblador o de cdigo mquina.
Un traductor que transforma textos fuente de lenguajes de alto nivel a lenguajes de
bajo nivel se le denomina compilador (en ingls compiler).
El tiempo que se necesita para traducir un lenguaje de alto nivel a lenguaje objeto se
denomina tiempo de compilacin (compilation time). El tiempo que tarda en ejecutarse un
programa objeto se denomina tiempo de ejecucin (run time).
Intrpretes:
Son programas que simplemente ejecutan las instrucciones que encuentran en el
texto fuente. En muchos casos coexisten en memoria el programa fuente y el programa
intrprete.
Cargadores:
El cargador se encarga de colocar el fichero ejecutable en memoria, asignando el
espacio necesario al programa en memoria y pasando el control a la primera de las
instrucciones a ejecutar, comenzando a continuacin la fase de ejecucin. El cargador es un
programa incluido con el sistema operativo. As en el sistema operativo MS-DOSel cargador
est dentro del intrprete de comandos COMMAND.COM.
Ejecucin de un programa:
Casi todos los lenguajes de programacin se basan en el mismo principio:
el programa consiste en un conjunto de comandos que el equipo debe ejecutar. El equipo
ejecuta los comandos a medida que va leyendo el archivo (de arriba hacia abajo) hasta que
alcanza un comando (al que a menudo se hace referencia como un comando ramificado) que
ordena al equipo ir a una ubicacin especfica del programa. En cierto modo, se parece a la
bsqueda del tesoro, donde el equipo debe seguir las pistas y ejecutar los comandos hasta
alcanzar el final del programa y detenerse.