Un lenguaje de programación es un conjunto de símbolos y reglas que definen su estructura y significado para controlar el comportamiento lógico y físico de una máquina. Se clasifican según su nivel de abstracción, siendo los de bajo nivel más cercanos al hardware y los de alto nivel más fáciles de aprender para los humanos. Existen diferentes tipos de lenguajes como imperativos, funcionales y lógicos dependiendo del paradigma de programación.