Facultad: informtica

4to Ao ingeniera en computacin y sistemas

Profesor: Ing. Edicsia Aguilar

Trabajo de: Compilacin

Elaborado por:

Oswaldo, Roberto, Elena, Jos Luis, Anayancy,

Nahima

Fecha: 13 de septiembre de 2017

 Clasificacin de los lenguajes de programacin

Los lenguajes de programacin son lenguajes creado por el ser humano para
poder comunicarse con las computadoras. As podramos decir que lenguaje de
programacin es el conjunto de smbolos y palabras que permiten al usuario de
una computadora darle instrucciones y rdenes para que la computadora los
ejecute.

Existen diferentes clases o tipos de lenguajes de programacin:

1 El Lenguaje Mquina: es el lenguaje de programacin que entiende

directamente la mquina (computadora). Este lenguaje de programacin utiliza
el alfabeto binario, es decir, el 0 y el 1.

Con estos dos nicos dgitos, tambin conocidos como bits, se forman lo que
se conoce como cadenas binarias (combinaciones de ceros y unos) son con las
que se escriben las instrucciones, y a travs de estas instrucciones el
microprocesador de la computadora entiende nuestras peticiones. El lenguaje
mquina fue el primer lenguaje de programacin. Este lenguaje de
programacin dejo de utilizarse por su gran dificultad y por la facilidad para
cometer errores al escribir las cadenas binarias.

2 Lenguajes de programacin de bajo nivel: Son mucho ms fciles de utilizar

que el lenguaje mquina, pero dependen mucho de la mquina o computadora
como suceda con el lenguaje mquina. El lenguaje ensamblador fue el primer
lenguaje de programacin que trato de sustituir el lenguaje mquina por otro
lenguaje que fuese ms parecido al de los seres humanos.

En este lenguaje se conoce como programa fuente, que traduce las

instrucciones a un programa escrito en lenguaje ensamblador por el
programador, y programa objeto es la traduccin a lenguaje mquina del
programa fuente.
Los lenguajes de este tipo pueden crear programas muy rpidos, pero son
difciles de aprender, son especficos de cada procesador (de cada mquina),
si nos llevamos el programa a otro computador ser preciso reescribir el
programa desde el comienzo.

3 Lenguajes de programacin de alto nivel: Este tipo de lenguajes de

programacin son independientes de la mquina, los podemos usar en
cualquier computador con muy pocas modificaciones o sin ellas, son muy
similares al lenguaje humano, pero precisan de un programa interprete o
compilador que traduzca este lenguaje de programacin de alto nivel a uno de
bajo nivel como el lenguaje de mquina que la computadora pueda entender.

Los lenguajes de programacin de alto nivel son ms fciles de aprender

porque se usan palabras o comandos del lenguaje natural, generalmente del
ingls. Este es el caso del BASIC, el lenguaje de programacin ms conocido.

Existen muchos lenguajes de programacin de alto nivel con sus diferentes

versiones. Por esta razn es difcil su tipificacin, pero una clasificacin muy
extendida desde el punto de vista de trabajar de los programas y la filosofa de
su creacin es la siguiente:

Lenguajes de programacin imperativos: entre ellos tenemos el Cobol, Pascal,

C y Ada.

Lenguajes de programacin declarativos: el Lisp y el Prolog.

Lenguajes de programacin orientados a objetos: el Smalltalk y el C++.

Lenguajes de programacin orientados al problema: son aquellos lenguajes

especficos para gestin.
Lenguajes de programacin naturales: son los nuevos lenguajes que pretender
aproximar el diseo y la construccin de programas al lenguaje de las
personas.

Otra clasificacin de los lenguajes de programacin de alto nivel, es teniendo

en cuenta el desarrollo de las computadoras segn sus diferentes
generaciones:

Lenguajes de programacin de primera generacin: el lenguaje mquina y el

ensamblador.

Lenguajes de programacin de segunda generacin: los primeros lenguajes de

programacin de alto nivel imperativo (FROTRAN, COBOL).

Lenguajes de programacin de tercera generacin: son lenguajes de

programacin de alto nivel imperativo pero mucho ms utilizados y vigentes en
la actualidad (ALGOL 8, PL/I, PASCAL, MODULA).

Lenguajes de programacin de cuarta generacin: usados en aplicaciones de

gestin y manejo de bases de datos (NATURAL, SQL).

Lenguajes de programacin de quinta generacin: creados para la inteligencia

artificial y para el procesamiento de lenguajes naturales (LISP, PROLOG).

Los lenguajes de programacin se pueden clasificar segn varios criterios. La

agrupacin ms importante es por: nivel de abstraccin, propsito, mtodo de
ejecucin y paradigma de programacin.

Clasificacin de los lenguajes de programacin segn su Nivel de

Abstraccin:
1. Lenguajes de Bajo Nivel son Lenguajes de cdigo mquina, son un
conjunto de instrucciones en cdigo binario que el ordenador es capaz
 de ejecutar directamente, especficos de cada tipo de procesador o CPU.
Ejemplos: Lenguaje de mquina y lenguajes ensambladores.
2. Lenguajes de Alto Nivel ms parecidos al lenguaje natural, cercanos al
problema, nos olvidamos de la estructura interna del ordenador
Ejemplos: C, Basic, Java.

Clasificacin de los lenguajes de programacin segn su Propsito:

1. Lenguajes de Propsito General permiten la implementacin de
prcticamente cualquier algoritmo, el nivel de abstraccin es ms
uniforme, proporciona razonable rendimiento. Ej Pascal, C, C++, Java,
Delphi, Lisp, Scheme.
2. Lenguajes de Propsito Especfico tienen por lo general un conjunto
muy restringido de caractersticas y un alto nivel de abstraccin para
cumplir tareas especificas como el procesamiento de textos, grficos,
audio, video e ingeniera. Ejemplos: Snobol, SQL, Matlab.
Clasificacin de los lenguajes de programacin segn su mtodo de
Ejecucin:
1. Lenguajes Compilados traducen el cdigo fuente del programa a
cdigo mquina o cdigo objeto. Ejemplos: C, Pascal
2. Lenguajes Interpretados ejecutan lnea a lnea las instrucciones de un
programa. Requieren del cdigo fuente para ejecutar el programa.
Ejemplos: Perl, Lisp.
Clasificacin de los lenguajes de programacin segn su Paradigma de
Programacin.
1. Lenguajes Imperativos son abstracciones de alguna secuencia de
instrucciones que especifican con detalle el orden de ejecucin del
programa. Ejemplos: Fortran, Algol, Ada, Pascal, C, C++
2. Lenguajes Declarativos expresan lo que el programa debe lograr sin
prescribir cmo hacerlo, en trminos de secuencias de acciones que
deben tomarse. Ejemplos: SQL, HTML, RPG
3. Lenguajes Funcionales constan de un conjunto de funciones pre-
definidas. Ejemplos: Lisp, Scheme, Common Lisp, ML, CAML
4. Lenguajes de Lgicos expresan tareas utilizando la lgica formal
matemtica. Ejemplo: Prolog.
 5. Lenguajes Orientados a Objetos crean un sistema de clases y objetos
siguiendo el esquema del mundo real para definir los objetos, acciones y
forma de comunican entre objetos. Ejemplos: C++, Java.

Lenguaje de especificacin

En el contexto de la ingeniera elctrica, la computacin y ramas afines, un

lenguaje de especificacin o lenguaje de descripcin es un lenguaje formal o
semi-formal cuya funcin es construir modelos de los sistemas que se desea
elaborar.

A diferencia de los lenguajes de programacin, que son lenguajes

interpretables o traducibles por una computadora hacia una representacin
ejecutable, los lenguajes de especificacin no son por lo general utilizados para
implementar el sistema, sino para especificarlo, conceptualizarlo o incluso
validarlo, aunque tambin suelen ser legibles para un programa de
computadora, que puede asistir en el proceso de validacin.

Las especificaciones hechas en un lenguaje de descripcin no suelen ser

interpretables o ejecutables, sin embargo existen algunos ambientes de
desarrollo basados en lenguajes de descripcin, que permiten la generacin del
sistema a partir del modelo. Los lenguajes de especificacin pueden dividirse
en semi-formales y formales.

Algunos lenguajes de especificacin

Alloy, lenguaje de especificaciones que utiliza la lgica de primer orden y se
basa en el uso de relaciones.
Autmatas formalismo utilizado para modelar sistemas discretos en general.
B, lenguaje de descripcin formal basado en la lgica de predicados.
Clculo Pi, lenguaje de especificacin para sistemas distribuidos y paralelos.
CCS, lenguaje formal basado en el lgebra de procesos.
CSP, lenguaje formal basado en el lgebra de procesos
Estelle, lenguaje formal basado en autmatas de estado finito para la
especificacin de sistemas distribuidos.
Larch, familia de lenguajes formales de especificacin.
Lotos, lenguaje formal basado en el lgebra de procesos.
Promela, lenguaje formal basado en la lgica temporal lineal y los autmatas
de Buchi.
Redes de Petri formalismo equivalente a los autmatas, utilizado para la
especificacin de sistemas discretos paralelos o distribuidos.
SDL, lenguaje visual para el diseo de sistemas distribuidos basado en
autmatas.
UML, notacin semiformal para modelar programas orientados a objetos.
VHDL, lenguaje de descripcin (e implantacin) de circuitos electrnicos.
Z, lenguaje de descripcin formal basada en la prueba automtica de teoremas
usando la lgica.
Z.120, estndar semiformal de la ITU-T para diagramas de flujo.