La teoría de los lenguajes de programación explica cómo se analizan, diseñan e implementan programas,
de acuerdo al tipo de problema a resolver por una computadora. Además, el principal problema que presentan dichos lenguajes es la cantidad que tenemos actualmente en uso, además de las diferentes versiones que se han desarrollado. La intención a lo largo del trabajo ha consistido en mostrar cómo con el marco metateórico indicado, se puede elucidar claramente el carácter genuino de la teoría de los lenguajes de programación, lo que afirma la consideración de este marco metateórico.
