La teoría de lenguajes de programación se encarga del diseño, análisis y clasificación de lenguajes de programación. Un lenguaje de programación es un conjunto de símbolos y reglas que se usan para expresar algoritmos y escribir programas que permiten la comunicación usuario-máquina. Algunos ejemplos de lenguajes de programación son Fortran, Algol, Ada, Pascal, C y C++.