Oscar Floreano Robledo ITESM 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

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

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

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

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

Modelos de Computo

A cada paradigma corresponde un modelo.

Este determina la manera en que se concibe el computo.

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 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 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

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 Computacionales ITESM-CEM Edgar E. Vallejo C.

Departamento de Ciencias Computacionales

ITESM-CEM

Edgar E. Vallejo C.