Un lenguaje de programación permite crear programas mediante instrucciones, operadores y reglas de sintaxis para comunicarse con hardware y software. Los lenguajes se clasifican por su nivel de abstracción (bajo o alto), propósito (general o específico), método de ejecución (compilado o interpretado), y paradigma (imperativo, declarativo, funcional, lógico u orientado a objetos).

1. Definición:
Un lenguaje de programación es aquel elemento dentro de la informática que nos permite
crear programas mediante un conjunto de instrucciones, operadores y reglas de sintaxis;
que pone a disposición del programador para que este pueda comunicarse con los
dispositivos hardware y software existentes.
Clasificación de los lenguajes de programación
Según su Nivel de Abstracción:
1. Lenguajes de Bajo Nivel son Lenguajes de código máquina, son un conjunto de
instrucciones en código binario que el ordenador es capaz de ejecutar directamente,
específicos de cada tipo de procesador o CPU. Ejemplos: Lenguaje de máquina y
lenguajes ensambladores.
2. Lenguajes de Alto Nivel más parecidos al lenguaje natural, cercanos al problema,
nos olvidamos de la estructura interna del ordenador Ejemplos: C, Basic, Java.
Según su Propósito:
1. Lenguajes de Propósito General permiten la implementación de prácticamente
cualquier algoritmo, el nivel de abstracción es más uniforme, proporciona razonable
rendimiento. Ej Pascal, C, C++, Java, Delphi, Lisp, Scheme.
2. Lenguajes de Propósito Específico tienen por lo general un conjunto muy
restringido de características y un alto nivel de abstracción para cumplir tareas
especificas como el procesamiento de textos, gráficos, audio, video e ingeniería.
Ejemplos: Snobol, SQL, Matlab.
Según su método de Ejecución:
1. Lenguajes Compilados traducen el código fuente del programa a código máquina o
código objeto. Ejemplos: C, Pascal
2. Lenguajes Interpretados ejecutan línea a línea las instrucciones de un programa.
Requieren del código fuente para ejecutar el programa. Ejemplos: Perl, Lisp.

2. Según su Paradigma de Programación.
1. Lenguajes Imperativos son abstracciones de alguna secuencia de instrucciones que
especifican con detalle el orden de ejecución del programa. Ejemplos: Fortran,
Algol, Ada, Pascal, C, C++
2. Lenguajes Declarativos expresan lo que el programa debe lograr sin prescribir
cómo hacerlo, en términos 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 Lógicos expresan tareas utilizando la lógica formal matemática.
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.