Un lenguaje de programación es un lenguaje formal diseñado para realizar procesos en máquinas como las computadoras. Existen lenguajes de alto, medio y bajo nivel. Los lenguajes de alto nivel como PHP, Java y Python expresan algoritmos de una manera adecuada al pensamiento humano mientras que los lenguajes de bajo nivel como el de máquina y ensamblador controlan directamente el hardware. Los lenguajes de programación tienen características como simplicidad, abstracción y eficiencia.