zsdfghj

En la Teoría de lenguajes de programación, la semántica es el campo que tiene que ver con el estudio riguroso desde un punto de vista matemático del significado de los lenguajes de programación. Estose hace evaluando el significado de cadenas sintácticamente legales definidas por un lenguaje de programación específico, mostrando el proceso computacional involucrado. En el caso de que laevaluación fuera de cadenas sintácticamente ilegales, el resultado sería no-cómputo. La semántica describe el proceso que una computadora sigue cuando ejecuta un programa en ese lenguaje específico. Esto sepuede mostrar describiendo la relación entre la entrada y la salida de un programa, o una explicación de cómo el programa se ejecutará en cierta plataforma, y consecuentemente creando un modelo decomputación.
Hay muchos enfoques a las semánticas formales, las cuales pertenecen a tres categorías principales:
• Semántica denotacional, por medio de las cuales cada frase en el lenguaje esinterpretada como una denotación. Tales denotaciones a menudo son objetos matemáticos que habitan espacios matemáticos, pero no es un requerimiento que éstas deban serlo. Como una necesidad práctica, lasdenotaciones se describen usando alguna forma de notación matemática, la cual en turno puede ser formalizada como un metalenguaje denotativo. Por ejemplo, las semánticas denotacionales de lenguajesfuncionales muchas veces traducen el lenguaje en teoría de dominio. Las descripciones semánticas denotacionales también pueden servir como traducciones de composición de un lenguaje de programación en elmetalenguaje denotativo y se utiliza como base para el diseño de compiladores.
• Semántica operacional, donde la ejecución del lenguaje se describe directamente (en vez de hacerse mediante el uso de unatraducción). Las semánticas operacionales tienen que ver con la interpretación, aunque nuevamente el “lenguaje de implementación” del intérprete es de forma general un formalismo matemático. Las...