Este documento resume la historia y características de los principales paradigmas de programación, incluyendo imperativa, orientada a objetos, funcional y lógica. También describe los modelos de cómputo subyacentes como la máquina de Turing y el cálculo lambda. Además, explica los conceptos de traducción de lenguajes, analizando la sintaxis y semántica de los programas.

1. Lenguajes de Programaciòn 14 de Agosto 2007 Elisa Raùl

2. HISTORIA Inicios 1954-1959 (Fortman, Algol 60, LISP, COBOL) 60’s verdadero auge de los lp´s (PL/I, BASIC, Algol68,Simula67) 70’s simplicidad y abstracción (Pascal, C, Prolog, Écheme,ML) 80´s y 90´s consolidación y nuevas direcciones ( Ada y Modula 2, Eiffel, C++, LEDA, Java)

3. Paradigma Forma de explicar el conocimiento a través de teorías, métodos y estándares. Las revoluciones científicas cuando un paradigma es: rechazado, reemplazado o reexaminado. En programación se considera que es la forma en que se conceptualiza el significado de elaborar, estructurar y organizar las tareas en una computadora.

4. Modelos de cómputo Paradigma Modelo Programación Imperativa: Ejecución secuencial de instrucciones con valores en memoria. Programación Orientada a Objetos: Cada objeto es una instancia de una clase particular tomada de una jerarquía de clases estructurada por la herencia. Màquina de Turing

5. Paradigma Modelo Programación Funcional: aplicación y definición recursiva de funciones a algunos valores. Programación Lógica : conjunto de axiomas que especifican las propiedades del cómputo. Como resultado es la deducción de consecuencias del programa. Càlculo Lambda Resoluciòn SLD

6. Caracterìsticas Paradigma Caracterìsticas Programación Imperativa Programación Orientada a Objetos: Programación Funcional: Programación Lógica : Propiedades: Variables, operaciones aritméticas control de flujo, asignación. Desventajas: Sintaxis,semántica, cuello de botella Von Neumann Propiedades: Encapsulamientos, subtipos, herencia, lookup dinámico Propiedades: No efecto lateral, no noción variable, funciones como objetos de datos de primera clase, manejo implícito de memoria. Propiedades: no noción de control de flujo, cómputo con relaciones, mecanismos de inferencia, backtracking automático.

7. Programaci ó n concurrente Es un paradigma en el que se especifica mediante dos o m á s programas secuenciales que pueden ser ejecutados concurrentemente como procesos paralelos.Tiene las caracter í s t icas de la especificaciones de ejecuci ó n concurrente, comunicaci ó n entre procesos y primitivas de sincronizaci ó n .

8. Traducci ó n de los Lenguajes de Programaci ó n Un traductor es un programa que recibe como entrada un programa codificado en un lenguaje fuente y produce un programa equivalente codificado en un lenguaje destino. Tipos de traductores: los compiladores e interpretes. Los traductores analizan dos cosas : La sintaxis y la sem á n tica.

9. La sintaxis es el conjunto de reglas que gobiernan la manera como se construyen los elementos del lenguaje. El analisis de la sintaxis se puede hacer de dos formas. Por medio de gram á t icas en forma Backus-Naur (BNF) y Diagramas de sintaxis.Por medio de la gram á t ica en forma Backus-Naur se puede analizar el conjunto de simbolos terminales, de variables, de producciones y variable inicial. Por medio de los diagramas de sintaxis se explica la gram á t ica mediante diagramas con una notaci ó n especial.

10. La sem á ntica es el conjunto de reglas que especifican el signifiado de los elementos del lenguaje. Existen tres tipos : Sem á ntica axiom á tica Semàntica Denotacional Semàntica operacional.