Un lenguaje de programación es un lenguaje formal que permite a un programador escribir instrucciones para crear programas que controlen la lógica y comportamiento de una máquina mediante símbolos, palabras clave y reglas. Estos lenguajes facilitan la comunicación entre programadores y máquinas al especificar datos, acciones y almacenamiento de manera precisa.