Un lenguaje de programación es un conjunto de sintaxis y reglas semánticas que definen los programas de la computadora.
Es una técnica estándar de comunicación para entregarle instrucciones a la computadora. Un lenguaje le da la capacidad al programador de especificarle a la misma, qué tipo de datos actúan y que acciones tomar bajo una variada gama de circunstancias, utilizando un lenguaje relativamente próximo al lenguaje humano.
Un programa escrito en un lenguaje de programación necesita pasar por un proceso de compilación, es decir, ser traducido al lenguaje máquina para que pueda ser ejecutado por el ordenador.

Referencia: http://es.wikipedia.org