Un lenguaje formal que permite que nos comuniquemos con un ordenador e ingresemos instrucciones. Todo lenguaje de programación cuenta con un léxico, una sintaxis y una semántica.