Es el conjunto de símbolos, vocablos y reglas de sintaxis que controlan el comportamiento físico y lógico de una computadora. Permite al programador, entre otras cosas, especificar los datos que van a ser procesados y almacenados en ella.