Un lenguaje de programación es un lenguaje formal que proporciona una serie de instrucciones que permiten a un programador escribir secuencias de órdenes y algoritmos a modo de controlar el comportamiento físico y lógico de una computadora con el objetivo de que produzca diversas clases de datos. A todo este conjunto de órdenes y datos escritos mediante un lenguaje de programación se le conoce como programa.
Los lenguajes que los programadores generalmente usan para escribir código, se llaman "lenguajes de alto nivel". Este código se puede compilar en un "lenguaje de bajo nivel", que es reconocido directamente por el hardware de la computadora.
Los lenguajes de alto nivel están diseñados para ser fáciles de leer y entender. Esto permite a los programadores escribir código fuente de forma natural utilizando palabras y símbolos lógicos.
Algunos ejemplos de lenguajes de alto nivel son: Java, PHP, Python, Javascript, C++, C#. Los lenguajes como C++ y C# se llaman "lenguajes compilados", ya que el código fuente se debe compilar primero antes de ejecutarse. Los lenguajes como PHP, Python, Javascript se llaman "lenguajes interpretados", ya que el código fuente puede ejecutarse a través de un interprete sin compilar.
Los lenguajes de bajo nivel incluyen ensamblador y lenguajes de máquina. Un lenguaje ensamblador contiene una lista de instrucciones básicas y es mucho más difícil de leer que un lenguaje de alto nivel. El código máquina, o lenguaje maquina, contiene una serie de códigos binarios que son entendidos directamente por la CPU de una computadora. No hace falta decir que el lenguaje máquina no esta diseñado para ser legible por humanos.