Un lenguaje de programación es un idioma artificial diseñado para expresar computaciones que pueden ser llevadas a cabo por máquinas como las computadoras. Los lenguajes de programación se pueden clasificar según su nivel de abstracción, como lenguajes de máquina, de bajo nivel o de alto nivel, o según su forma de ejecución, como lenguajes compilados o interpretados. Los primeros lenguajes de programación fueron creados para facilitar la programación de computadoras a medida que esta tarea se hizo más compleja.