DEFINICIÓN
lenguaje de programación: es un conjunto de elementos y
símbolos que permiten ejecutar una serie acciones con las cueles controlamos el
computador .
Los lenguajes de programación se pueden clasificar
atendiendo a varios criterios:
Según el nivel de abstracción
Según la forma de ejecución
Según el paradigma de programación que poseen cada uno de
ellos
Según su nivel de abstracción
Lenguajes Maquina :están escritos en lenguajes directamente
inteligibles por la maquina (computadora), ya que sus instrucciones son cadenas
binarias (0 y 1).
Lenguajes de bajo nivel
Los lenguajes de bajo nivel son lenguajes de programación
que se acercan al funcionamiento de una computadora. El lenguaje de más bajo
nivel por excelencia es el código máquina.
Lenguajes de alto nivel
Lenguaje de alto nivel
Los lenguajes de alto nivel son normalmente fáciles de
aprender porque están formados por elementos de lenguajes naturales, como el
inglés
Según la forma de ejecución
Lenguajes compilados
Naturalmente, un programa que se escribe en un lenguaje de
alto nivel también tiene que traducirse a un código que pueda utilizar la
máquina.
Lenguajes interpretados
Se puede también 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 código objeto que se produce
durante la compilación para utilizarlo en una ejecución futura, el programador
sólo carga el programa fuente en la computadora junto con los datos que se van
a procesar.
Según el paradigma de programación
Un paradigma de programación representa un enfoque
particular o filosofía para la construcción del software. No es mejor uno que
otro, sino que cada uno tiene ventajas y desventajas. Dependiendo de la
situación un paradigma resulta más apropiado que otro.
Atendiendo al paradigma de programación, se pueden
clasificar los lenguajes en :
El paradigma imperativo o por procedimientos es considerado
el más común y está representado, por ejemplo, por el C o por BASIC.
El paradigma funcional está representado por la familia de
lenguajes LISP (en particular Scheme), ML o Haskell.
El paradigma lógico, un ejemplo es PROLOG.
El paradigma orientado a objetos. Un lenguaje completamente
orientado a objetos es Smalltalk
