Un lenguaje de programación es un lenguaje inventado para controlar una máquina como un ordenador. Existen muchos tipos de lenguajes de programación que se diferencian por su nivel de abstracción, propósito, paradigma de programación y forma de ejecución. Los lenguajes evolucionan hacia mayores niveles de abstracción pero los de generaciones anteriores todavía se usan.