PONTIFICIA UNIVERSIDAD CATLICA

DEL ECUADOR
SEDE SANTO
LENGUAJES DE
PROGRAMACIN
Segn la definicin terica, como lenguaje se entiende a un sistema de
comunicacin que posee una determinada estructura, contenido y uso. La
programacin es, en el vocabulario propio de la informtica, el
procedimiento de escritura del cdigo fuente de un software. De esta
manera, puede decirse que la programacin le indica al programa
informtico qu accin tiene que llevar a cabo y cul es el modo de
concretarla.
Los lenguajes de programacin son leguajes creados para dar instrucciones
a un computador, y este a su vez realice acciones en la solucin de algn
problema. En s son cdigos interpretados por un ordenador. Los lenguajes
de programacin nacen con el propsito de estandarizar la programacin de
las computadoras, sin que importe su sistema operativo o los dispositivos
que esta posee.
DIFERENCIA ENTRE LENGUAJES DE PROGRAMACIN Y
LENGUAJE INFORMTICOS
El lenguaje de programacin tiene la capacidad de especificar, de forma
precisa, cules son los datos que debe trabajar un equipo informtico, de
qu modo deben ser conservados o transferidos dichos datos y qu
instrucciones debe poner en marcha la computadora ante ciertas
circunstancias.
Los lenguajes informticos tienden a confundirse con el lenguaje de
programacin, pero lo cierto es que los lenguajes informticos engloban a
los lenguajes de programacin.
El Lenguaje de programacin est formado por un conjunto de smbolos y
reglas sintcticas y semnticas que definen su estructura y el significado de
sus elementos y expresiones. Al proceso por el cual se escribe, se prueba,
se depura, se compila y se mantiene el cdigo fuente mientras que el
lenguaje informtico no tiene funciones aritmticas o variables.
Como lenguajes de programacin tenemos a
java y como lenguaje
informtico podemos mencionar a HTML
CLASIFICACIN DE LOS LENGUAJES DE
PROGRAMACIN SEGN SU NIVEL DE
ABSTRACCIN
El nivel de abstraccin de un lenguaje nos indica que tan semejante al
lenguaje de una computadora, es el lenguaje de programacin, en este caso
la abstraccin es un principio por el cual se asla toda aquella informacin
que no resulta relevante a un determinado nivel de conocimiento. Se
clasifica en:
1) LENGUAJES DE BAJO NIVEL
Los lenguajes de mquinas son los que estn escritos en cdigos,
entendibles para la mquina,
sus instrucciones son las cadenas binarias de 0 y 1. Proporciona poca o
ninguna abstraccin del microprocesador de un ordenador, son
dependientes del hardware, no pueden migrarse, ya que estn diseados

PONTIFICIA UNIVERSIDAD CATLICA

DEL ECUADOR
SEDE SANTO
especficamente para un hardware. Tambin utilizado para programar
controladores (drivers). Se clasifican en:
a.

LENGUAJE DE MQUINA.- Es directo ya que no requiere traduccin,

esto debido a que se directamente en 0 y 1, est compuesto por un
conjunto de instrucciones tomadas por la mquina.
b.
LENGUAJE ENSAMBLADOR.- Es el que utiliza abreviaturas para
programar, traduce estas abreviaturas a 0 y 1, secuencia de
sentencias
lgicas.
Es
especfico
a cierta arquitectura de
computador fsico o virtual. Expresa instrucciones de una forma ms
natural.

2) LENGUAJES DE MEDIO NIVEL

Mantienen algunas cualidades del lenguaje de bajo nivel, pero permite un
mayor grado de abstraccin. Tienen sintaxis, vocabulario y gramtica de los
lenguajes de alto nivel. El lenguaje C, es un lenguaje de nivel medio, ya que
realiza operaciones lgicas y de desplazamientos con bits.
3) LENGUAJES DE ALTO NIVEL
Se caracterizan por expresar los algoritmos de una manera adecuada
entendible al lenguaje humano, se crearon para el usuario comn pudiese
solucionar ciertos problemas sencillos de procesamiento de datos de una
manera ms fcil y rpida. Son normalmente fciles de aprender porque
estn formados por elementos de lenguajes naturales. Entre los principales
lenguajes de alto nivel tenemos:
FORTRA
N
COBOL
PL/1
BASI
C
PASCA
L ADA
CLASIFICACIN DE LOS LENGUAJES DE
PROGRAMACIN SEGN SU FORMA DE
EJECUCUN

1) Lenguajes compilados

PONTIFICIA UNIVERSIDAD CATLICA

DEL ECUADOR
SEDE SANTO
Naturalmente, un programa que se escribe en un lenguaje de alto nivel tambin tiene
que traducirse a un cdigo que pueda utilizar la mquina. Los programas traductores
que pueden realizar esta operacin se llaman compiladores. stos, como los
programas ensambladores avanzados, pueden generar muchas lneas de cdigo de
mquina por cada proposicin del programa fuente. Se requiere una corrida de
compilacin antes de procesar los datos de un problema.
Los compiladores son aquellos cuya funcin es traducir un programa escrito en un
determinado lenguaje a un idioma que la computadora entienda (lenguaje mquina
con cdigo binario).
Al usar un lenguaje compilado (como lo son los lenguajes del popular Visual Studio de
Microsoft), el programa desarrollado nunca se ejecuta mientras haya errores, sino
hasta que luego de haber compilado el programa, ya no aparecen errores en el
cdigo.
2) Lenguajes interpretados
Se puede tambin utilizar una alternativa diferente de los compiladores para traducir
lenguajes de alto nivel. En vez de traducir el programa fuente y grabar en forma
permanente el cdigo objeto que se produce durante la corrida de compilacin para
utilizarlo en una corrida de produccin futura, el programador slo carga el programa
fuente en la computadora junto con los datos que se van a procesar. A continuacin,
un programa intrprete, almacenado en el sistema operativo del disco, o incluido de
manera permanente dentro de la mquina, convierte cada proposicin del programa
fuente en lenguaje de mquina conforme vaya siendo necesario durante el proceso
de los datos. No se graba el cdigo objeto para utilizarlo posteriormente.
3) Lenguajes interpretados
La siguiente vez que se utilice una instruccin, se le debe interpretar otra vez y
traducir a lenguaje mquina. Por ejemplo, durante el procesamiento repetitivo de los
pasos de un ciclo, cada instruccin del ciclo tendr que volver a ser interpretado cada
vez que se ejecute el ciclo, lo cual hace que el programa sea ms lento en tiempo de
ejecucin (porque se va revisando el cdigo en tiempo de ejecucin) pero ms rpido
en tiempo de diseo (porque no se tiene que estar compilando a cada momento el
cdigo completo). El intrprete elimina la necesidad de realizar una corrida de
compilacin despus de cada modificacin del programa cuando se quiere agregar
funciones o corregir errores; pero es obvio que un programa objeto compilado con
antelacin deber ejecutarse con mucha mayor rapidez que uno que se debe
interpretar a cada paso durante una corrida de produccin.
CLASIFICACIN DE LOS LENGUAJES DE
PROGRAMACIN SEGN SU PARADIGMA
DE PROGRAMACIN
1) Lenguajes procedurales.
Establecen como debe ejecutarse una tarea, dividindola en partes que especifican
como realizar cada una de las subtareas asociadas. Estos lenguajes se fundamentan
en el uso de variables para almacenar valores y el uso de instrucciones que indican

PONTIFICIA UNIVERSIDAD CATLICA

DEL ECUADOR
SEDE SANTO
las operaciones a realizar sobre los datos almacenados. La mayora de los lenguajes
de alto nivel son de este tipo: FORTRAN, BASIC, PASCAL, ADA, MODULA-2
2) Lenguajes declarativos.
En este caso, el proceso por el cual se ejecuta el programa no aparece de forma
explcita en el programa, el programador no tiene que indicar el proceso detallado de
cmo realizar la tarea. De hecho en estos lenguajes los programas se construyen
mediante descripciones de funciones (lenguajes funcionales, como LIPS) o
expresiones lgicas que indican las relaciones entre determinadas estructuras de
datos (lenguajes de programacin lgica, como PROLOG).
3) Orientados a objetos.
El diseo de los programas se centra ms en los datos y su estructura. Los programas
consisten en descripciones de unidades denominadas objetos, que encapsulan los
datos (almacenados en variables) y las operaciones que actan sobre ellos (que
indican el comportamiento del objeto). El lenguaje ms usado dentro de este tipo es
el C++.
4) Orientados al problema.
Estn diseados para problemas especficos, principalmente de gestin. En estos
lenguajes, los programas estn formados por sentencias que ordenan que se quiere
hacer. Generalmente, estos lenguajes suelen ser generadores de aplicaciones que
permiten automatizar en la medida de lo posible la tarea de desarrollo de software de
aplicaciones de gestin
Paradigma Funcional: este paradigma concibe a la computacin como la evaluacin
de funciones matemticas y evita declarar y cambiar datos. En otras palabras, hace
hincapi en la aplicacin de las funciones y composicin entre ellas, ms que en los
cambios de estados y la ejecucin secuencial de comandos (como lo hace el
paradigma procedimental). Permite resolver ciertos problemas de forma elegante y
los lenguajes puramente funcionales evitan los efectos secundarios comunes en otro
tipo de programaciones.
Paradigma lgico: se basa en la definicin de reglas lgicas para luego, a travs de
un motor de inferencias lgicas, responder preguntas planteadas al sistema y as
resolver los problemas.
Ejemplo. Prolog.
Otros paradigmas y subparadigmas son: paradigma orientado al sujeto, paradigma
reflectante, programacin basada en reglas, paradigma basado en restricciones,
programacin basada en prototipos, etc.
CONCLUSIO
NES

PONTIFICIA UNIVERSIDAD CATLICA

DEL ECUADOR
SEDE SANTO
Existen diferentes lenguajes y formas de programar, en las cuales podemos decidir
cul escogemos dependiendo del objetivo al cual queremos llegar
Una vez establecidas las diversas diferencias entre lenguaje de programacin y
lenguaje Informtico podemos concluir que estos dos lenguajes son completamente
distintos ya que el primero est conformado por un conjunto de smbolos y reglas
sintcticas y semnticas a diferencia del lenguaje informtico que no utiliza la
aritmtica, ni variables. Lo que si podemos dejar en claro es que el lenguaje
informtico engloba al lenguaje de programacin.