Los lenguajes se pueden clasificar de diferentes formas. Se pueden clasificar por su propósito, como lenguajes de programación, lenguajes de marcado o lenguajes naturales. Otra clasificación es por su paradigma, incluyendo lenguajes imperativos, declarativos y funcionales. Finalmente, los lenguajes también se diferencian por su nivel de abstracción como de bajo nivel y de alto nivel.