Un lenguaje de programación es un conjunto de símbolos unido a un conjunto de reglas -que sirven para combinar dichos símbolos- y que se utilizan para expresar órdenes.

Los lenguajes de programación están compuestos por un léxico (conjunto de símbolos permitidos o vocabulario), una sintaxis (reglas que indican cómo realizar las construcciones del lenguaje) y una semántica (reglas que permiten determinar el significado de cualquier construcción del lenguaje).

Para que una computadora pueda procesar un programa escrito en un determinado lenguaje de programación es necesario realizar antes una traducción del programa al lenguaje que entienda esa computadora según una serie de fases.