Oscar Floreano RobledoITESM Campus León

Primeros Lenguajes◦ (1954 -1957) Fortran◦ (1958 -1959) LISP◦ (1958 -1960) Algo60◦ (1959 -1960) COBOL

Otros Lenguajes◦ (1972) C◦ (1986) C++◦ (1994) Java

Traductores◦ Programa que interpreta un código fuente y

produce uno en otro lenguaje distinto◦ Tipos de traductores

Intérprete Compilador

Sintaxis◦ Reglas que rigen el lenguaje.◦ Descripción

Gramática forma Backus-Naur(BNF) Diagramas de sintaxis

◦ Gramática Conjunto de variables y terminales Producciones Variable Inicial

Semántica◦ Reglas que especifican el significado de los elementos◦ Tutoriales◦ Manuales de Referencia◦ Semántica Formal

Axiomática Denotacional Operacional

Paradigmas◦ Es el conjunto de ideas, modelos o patrones que

forman una percepción sobre algún objeto, situación, cosa ó persona.

◦ Un cambio de paradigma en la ciencia significa un gran cambio.

Paradigmas de Programación◦ Forma de organizar y esquematizar la manera en

la que trabaja la computadora

Modelos de Computo◦ A cada paradigma corresponde un modelo.◦ Este determina la manera en que se concibe el

computo.

Programación Imperativo

Máquina de Turing

Programación Funcional

Cálculo Lambda

Programación Lógico

Resolución SLD

Programación Imperativa◦ Ejecución Secuencial◦ Opera sobre valores en memoria◦ Variables◦ Asignación ◦ Control de flujo◦ Desventajas

Sitaxis Semática Cuello de Botella de Von Neuman

Programación Funcional◦ Funciones recursivas◦ No declaración de variables◦ Las funciones son objetos de datos◦ Manejo implícito de la memoria

Programación Lógica◦ Conjunto de axiomas, deducción de

consecuencias◦ No control de flujo◦ Cómputo con relaciones◦ Mecanismo de inferencias◦ Back tracking automático

Programación Orientada a Objetos◦ Clases. Los objetos son instancias de clases◦ Herencia◦ Encapsulamiento◦ Lookup dinámico

Programación Concurrente◦ Dos ó mas programas secuencias, pueden ser

ejecutados concurrentemente o como procesos paralelos

◦ Especificación de ejecución Concurrente◦ Comunicación entre procesos◦ Primitivas de sincronización

Departamento de Ciencias ComputacionalesITESM-CEMEdgar E. Vallejo C.