Un lenguaje de programación es un lenguaje formal diseñado para realizar procesos en computadoras. Los lenguajes de programación se clasifican como bajos, medios o altos dependiendo de su nivel de abstracción y cercanía al lenguaje de la máquina. Los lenguajes bajos se traducen directamente a código de máquina, los medios requieren una traducción adicional, y los altos son los más abstractos y se parecen más al lenguaje natural.