Un lenguaje de programación es un lenguaje formal diseñado para organizar algoritmos y procesos lógicos que serán ejecutados por un ordenador. Los lenguajes se clasifican como de bajo, alto o medio nivel dependiendo de su cercanía al hardware. También se clasifican como imperativos o funcionales dependiendo de si usan órdenes secuenciales o funciones. Algunos lenguajes populares son BASIC, COBOL, FORTRAN y Java.