Análisis estructuralista informal de la teoría de los lenguajes de programación

Abstract

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.

The theory of programming languages explains how they are analyzed, designed and implement programs, according to the type of problem to be solved by a computer. In addition, the main problem with these languages is the quantity that we currently have in use, in addition to the different versions that have been developed. The intention throughout the work has been to show how with the metatheoretical framework, we can clearly elucidate the genuine character of the theory of programming languages, which affirms the consideration of this framework metatheoretical.