Cobol C Pascal Fortran 1. INTRODUCCIÓN SmallTalk Java C++

Evolución de los conceptos ABSTRACCIÓN DE DATOS Tipos de datos Elementales (HW) Estructurados (LP) Abstractos (U)

Tipos de datos: Elementales Enteros Reales Booleanos Caracteres Nivel: de la máquina Primitivos Tipo básico Proporcionados por el Hw

Tipos de datos: Estructurados Arreglos Registros Nivel: Del Lenguaje de Programación Proporcionado por los LP Con base en tipos elementales Se utilizan constructores de tipo que  al LP

Tipos de datos: Abstractos Stacks Colas, etc Nivel: Del usuario Definidos por el usuario para enriquecer el LP

Evolución de los conceptos ABSTRACCIÓN DE CONTROL Lógica del código Sentencias Unidades de Programas

Sentencias Constructores de código que facilitan la programación estructurada Asignación Decisión Iteración

Unidades de programas Permiten programación modular Generalizan la noción de operador Permiten encapsular parte de un algoritmo Tienen una única definición Tienen múltiples activaciones

Clasificación de los Lenguajes De Programación

Clasificación de los LP Lenguajes Naturales De Programación De Máquina Simbólicos Bajo nivel Alto Nivel Imperativos Funcionales Lógicos OO

Categorización de los LP L ENS LM LAN ForTran COBOL Pascal C C++ Delphi Mayor grado de abstracción

1.3 Criterios de :Definición y Diseño de LP

Lenguajes Naturales Conjunto de sonidos articulados con que el hombre manifiesta a otros lo que siente o piensa

Lenguajes de Programación Notación sistemática por la cual describimos procesos computacionales

Lenguajes de Máquina Las instrucciones se expresan como strings binarios que la CPU es capaz de entender, por lo tanto: Es característico de cada computador y Depende de la máquina

Lenguajes Simbólicos Manejan identificadores en vez de strings de bits, para: Operaciones Valores Localidades de almacenamiento Aparece la necesidad de otro Sw, puesto que NO es posible ejecutar notaciones diferentes del LM

Lenguajes Bajo Nivel Se denominan ensambladores Es necesario el conocimiento de la arquitectura subyacente. LP simbólico más cercano al LM La relación entre las sentencias del LM y el leng. ensamblador es 1:1 Los LP ensambladores utilizan símbolos llamados códigos mnemónicos: Add, Store, etc.

Lenguajes Alto Nivel LP que permite un estilo de escritura fácil de leer y comprender por otros programadores Permite crear programas portables, sin cambios sustanciales, por los que se dice, que son independientes de la máquina.

Lenguajes Imperativos Los primeros LP fueron creados en los 50's: Fortran, Pascal, C, Ada Se denominan también, procedurales Los LP que tienen a ForTran y COBOL como raíz, se denominan imperativos. Tienen como característica cambiar el estado de las variables por asignación. Están influenciados por la máquina en la que deben "correr": Máquina de Von Neuman. CPU RAM

Lenguajes Funcionales Los primeros aparecieron en los 60's: Lisp, Apl, Forth Se denominan también aplicativos. Aplican funciones, ya sea, recursivamente o por composición. Se caracterizan por una programación sin asignaciones , ie, puramente funcional. Los usuarios de los LP funcionales NO deben preocuparse de manejar el almacenamiento de datos.

Lenguajes Funcionales Ejemplos: x + y => (Plus x y) 2*y => (Times 2 y) x5 => (Exp x 5) 5xyz => (Times 5(Times x (Times y z))) ax2 + bx + c => ax2 + (bx + c) => (Plus (Times a (Exp x 2)) (Plus (Times b x) c ))

Lenguajes Lógicos Aparecieron en los 70's : PROLOG Son LP diseñados principalmente para aplicaciones de IA, máquinas de 5° generación. Los LP lógicos revisan la presencia de una determinada condición, la que, si es verdadera se ejecuta una acción apropiada Se basa en la noción de definir objetos y relaciones de inferencia en clases de objetos.

Lenguajes Lógicos Ejemplo: Una forma de programación lógica son las tablas de decisión utilizadas en aplicaciones administrativas. Acción 1 if (cond1) Acción 2 if (cond2) :

Lenguajes OO Ejemplos de estos lenguajes son: Smalltalk, Eiffel, C++, Java. Son LP que incorporan nuevas formas de pensar con respecto a cómo estructurar la información dentro del computador Se construyen complejos objetos de datos y se diseña un conjunto de funciones para operar con tales datos.

1.3 Criterios de :Definición y Diseño de LP Ortogonalidad Claridad Sintáctica Orientación Extensión Portabilidad Eficiencia

1.4 Sintáxis

ORTOGONALIDAD Dotar al lenguaje de la máxima generalidad posible de modo que NO existan restricciones o casos especiales. Ejemplos: Ventajas: Desventajas:

Ejemplo: Pascal Como ejemplo de FALTA de ortogonalidad en Pascal, el tipo de dato de un parámetro formal NO puede ser anónimo, es decir, no es posible declararlo explícitamente Procedure A(Var v : Array1..10 of Real);

Ejemplo: Pascal debiéndose declarar Type   Type Vector = Array1..10 of Real; Procedure A(var v : Vector);

Ventajas de LP Ortogonales Si un lenguaje es ortogonal, entonces tal LP: Es fácil de aprender Permite facilidad en la escritura de programas. Porque NO tiene excepciones ni casos especiales que recordar.

Desventajas de LP Ortogonales Si un lenguaje es ortogonal, entonces: Un programa generalmentes compilará SIN errores, aún cuando contenga combinaciones que son lógicamente incoherentes o extremadamente ineficientes

CLARIDAD SINTÁCTICA Permitir que las diferencias semánticas se manifiesten en diferencias sintácticas COBOL : Es claro

CLARIDAD SINTÁCTICA APL : No es claro, puesto que está lleno de símbolos. Su sintáxis es encriptada v 5 0 Facilita la escritura a programadores experimentados Son difíciles de leer al momento de efectuar modificaciones futuras.

ORIENTACIÓN Proveer una sintaxis comprometida con la orientación del lenguaje. Es más bien de carácter histórico Es un compromiso con las personas En general, la notación utilizada por un LP debiera ser consistente con las notaciones usadas en ese campo.

EXTENSIÓN Facilitar la implementación de estructuras inexistentes en función de las que éste provee, permitiendo al usuario: Definir sus propios EDT Codificar sus propios operadores

PORTABILIDAD Proveer una definición del lenguaje independiente de las características de una máquina en particular. Dos impedimentos para la independencia de la máquina son: La aritmética de la máquina y El tamaño de la word Incompatible con: Realidad Objet. Comerciales

Ejemplo: Java Java crea una versión ejecutable portable El proceso de compilación se detiene antes de generar el código de máquina: Código de Byte El proceso de traducción continúa en cada máquina donde se ejecutará el programa Código Byte HOT JAVA Cód. Ejecutable

EFICIENCIA En traducción: LP orientados a la educación. Rápida compilación En ejecución: LP orientados a rutinas muy utiliza- das, como la verificación de claves En construcción LP que permiten una rápida y clara construcción de programas y ayuda en el diagnóstico

1.4 Sintáxis Conjunto de reglas que determinan si las sentencias de un programa están bien formadas o no. Manual del usuario: Reglas de cómo escribir. Compilador: Mecanismo que determina si el programa está bien escrito

1.4 Sintáxis Objetivo: Proveer una notación que permita la comunicación entre el programador y el compilador (procesador del lenguaje). Criterios Sintácticos Elementos Sintácticos

Gramática

Criterios Sintácticos Legibilidad: COBOL: Write sueldo after advancing 2 lines Facilidad de escritura: APL: AA*-1 Invierte una matriz

Criterios Sintácticos Facilidad de traducción: El compilador debiera generar poco código Ausencia de ambigüedad: Evitar que una estructura tenga más de un significado

Criterios Sintácticos Por ejemplo, en Fortran: M(i) puede significar un elemento del arreglo M, ó M(i) una llamada a la función M. Con el parámetro i. Por ejemplo, en PL/1: A=B=C: Asignación múltiple B=C, A=B Asignación de un valor booleano: A=(B=C)

Criterios Sintácticos Solución en Pascal: If (x=0) then Begin If (y=0) S1; End else S2; Por ejemplo, en Pascal: If (x=0) then If (y=0) S1 else S2;

Elementos Sintácticos Set de Caracteres Identificadores Símbolos para operadores Palabras claves y reservadas Comentarios Abreviaciones Espacios

Elementos Sintácticos (Cont.) Delimitadores Formatos Fijo y Libre Expresiones Sentencias Estructura de Unidades de programa

Gramática

Set de Caracteres Datos estandarizados: Datos propios: ASCII - EBCDIC Algol: ASCII Extended APL

Identificadores Escritura básica de los LP. Tienen una cantidad máxima de símbolos definidos por la versión Generalmente es: Un string con letras y/o dígitos comenzando con letra La legibilidad aumenta si las versiones permiten identificadores de varios caracteres.

Símbolos para Operadores General: +, -, *, etc APL: Posee caracteres especiales Lisp: Plus, Times Fortan: .EQ., **, .GT. Pascal: div, mod COBOL: Add, Multiply

Palabras Claves y Reservadas Una palabra clave es un identificador que constituye la parte no cambiante de una instrucción. Una palabra reservada es una palabra clave no declarable como identificador de usuario.

Ventaja Palabras Reservadas La mayoría de los LP utilizan palabras reservadas, así: El análisis sintáctico es más fácil y, La detección de errores es más eficiente. Ejemplos:

Ejemplo en ForTran Las sentencias: Do , If NO son palabras reservadas, Son palabras claves, por lo tanto el programador las puede usar como identificadores.

Ejemplo en COBOL Posee demasiadas palabras reservadas, lo que hace imposible recordarlas todas. Esto facilita el camino para que el programador elija una de ellas como identificador, ocasionando ERRORES en la compilación.

Comentarios Auto documentación del código fuente. Comentarios en líneas separadas: Fortran: en la primera columna: C

Comentarios Comentarios delimitados por marcas especiales sin límite de líneas: Pascal: (* .. *) , { .. } C: /* .. */ Se indica el comienzo y termina con el fin de línea: Ada: - C++: // Fortan 90: !

Abreviaciones Relacionado con la legibilidad, por ejemplo: a = a+1  a++ a = a+b  a+=b a = a % b  a%=b

Espacios Su uso varía entre los LP ForTran: No son significativos SNOBOL 4: Genera confusión. Concatenación Separador entre elementos de una instrucción

Delimitadores Se utilizan para demarcar una unidad sintáctica como: Sentencia Expresión. Begin End, { } ( ) Ventajas

Delimitadores Su uso mejora la legibilidad Else colgante: If (x=0) then Begin If (y=0) S1; End else S2; Su uso mejora la legibilidad Simplifica el análisis sintáctico Permite remover la ambigüedad, definiendo en forma explícita los límites de una estructura

Formatos Fijo y Libre Es histórico, viene de la época de las tarjetas perforadas. Formato fijo: Las instrucciones deben aparecer en una determinada parte de la línea. Ejemplo: ForTran Reserva las primeras 5 posiciones de cada línea 1° columna: carácter C para comentario 6° columna: Indicador de continuación de línea. 7°- 72° : Instrucciones

Formatos Fijo y Libre Formato Libre: Las instrucciones se pueden escribir sin preocuparse de su posición en la línea o del largo de ella Ejemplo: Pascal, C, etc.

Expresiones Funciones que acceden a ODD de un programa y retornan un valor. Esta estructura sintáctica involucra: identificadores Operadores y Variables

Expresiones En un LP Imperativo: Las expresiones forman las operaciones básicas que permiten a las instrucciones cambiar el estado de las variables En LP funcionales: Las expresiones forman la secuencia básica de control que dirige la ejecución de un programa.

Sentencias Mínima unidad constitutiva de código Simples Estructuradas No permite instrucciones anidadas Permite instrucciones anidadas

Estructuras de Unidades de Programas Formas que los LP utilizan para describir una organización sintáctica de: Programa Principal - Subprogramas en la que hay una desagrupación de código que evolucionó hacia la programación estructurada. Definición Separada Definición Anidada Definición separada de datos

Gramática Representa la definición formal de la sintaxis de un lenguaje. Consta de un conjunto de reglas que especifican las NORMAS de escritura para formar estructuras en un lenguaje.

Metalenguajes Gramática formal destinada a la descripción de un lenguaje. Existen tres metalenguajes comúnmente utilizados BNF (Backus-Naur-Form) Diagramas sintácticos CBL (COBOL-Like)

1.5 Semántica

BNF (Backus - Naur Form) Notación desarrollada por los especialistas Backus y Naur para definir lenguaje Algol 60 Metasímbolos: < >: indica símbolo NO-TERMINAL o meta variable ::= : "Se define como" |: " o" { }n: Repetición. Mínimo n veces. identificador: Palabra reservada, constante o carácter TERMINAL.

BNF Número real, identificador . <real> ::= <secuencia> <secuencia> <secuencia> ::= <dígito> {<dígito>}0 <dígito> ::= |1 |2 |3 |...8|9 <identificador> ::= <letra> {<letra> | <dígito>}0 <letra> ::= A |B |C |...Y |Z|Aa|b|c...y|z

BNF Expresión aritmética término término a*b - c/d a * b factor | <término> +<término> |<término> -<término>  <exp>::= <término> <término>::= <factor> |<factor> * <factor> |<factor> / <factor> <factor>::= <identificador> |<constante> (<exp>)

BNF Sentencia For de Pascal <s- for> ::= For <identificador> := <intervalo> do <sentencia> <intervalo> ::= < inicial> to <final> | <inicial> downto < final> <inicial> ::= <exp> <final> ::= <exp>

BNF Recursivas . <entero>::= <dígito> | <dígito><entero> dígito>::= 0|1||..|9 . <real> ::= <secuencia> <secuencia> <secuencia> ::= <dígito> | <dígito> <secuencia>

BNF Recursivas <identificador> ::= <letra> | <letra> <secuencia> <secuencia> ::= <carácter> |<carácter><secuencia> <letra> | <dígito> <carácter> ::= Multilista: (1 2 (3 4 (5)6)7 8) <Mlista> ::= ( ) | ( <lista> ) <lista> ::= <elemento> | <elemento> <lista> <elemento>::= <átomo> | <Mlista>

BNF Sentencia Pascal <sentencia> ::= <simple> | <compuesta> <simple>::= <s-asig> |<s-inv> |<s-dec> |<s-iter> <compuesta>::= Begin <grupo-sentencia> End <grupo-sentencia>::= <simple> |<simple> ;<grupo-sentencia>

BNF Otra vez la expresión aritmética REC término término a*b - c/d a * b factor | <término> +<exp> |<término> - <exp>  <exp>::= <término> <término>::= <factor> |<factor> * <término> |<factor> / <término> <factor>::= <identificador> |<constante> (<exp>) Ejemplo: (a+b)*c

BNF Expresión Recursiva Término + Factor Identificador a * b c b*c a + b*c

BNF Expresión Recursiva Término - Expresión b - c Factor - Término Expresión a - b - c Identificador Factor Término a Identificador Factor Identificador b c

BNF Expresión Recursiva Término Factor * Término (a +b) *c (Expresión) Factor Identificador Término + Expresión Factor Término c Identificador Factor a Identificador b

BNF Sentencias Pascal <s-While>::= While <exp B> do <s-If>::= If <exp B> then <sentencia> |If <exp B> then <sentencia> else <sentencia>

BNF Sentencias C <do-while>::= {printf("Número "); scanf("%d",&n); }while (n<=0); <do-while>::= do <sentencia> while <exp B>

BNF Sentencias C <switch>::= switch (<exp>) switch (x) {case 1: cout<<"es UNO";break; case 2: case 3: cout <<"es dos o tres";break; default : cout <<"es distinto de 1,2 ó 3"; } <switch>::= switch (<exp>) {<secuencia>} <secuencia> ::= <caso> <secuencia> <caso> <caso><defecto> <caso> ::= case <constante> : <sentencias>; | case <constante> <sentencias>; break; : <defecto> ::= default :<sentencias>; <constante>::= enteros | caracteres

Diagramas Sintácticos Constituyen un método de descripción de lenguajes, equivalente a la BNF, originalmente propuesto por N. Wirth. para definir sintáxis de Pascal. Equivalencias entre BNF y Diagramas sintácticos:

Diagramas Sintácticos <S> ::= <v1> | <v2> ··· | <vn> Cada ocurrencia de un símbolo terminal corresponde al diagrama  Vn V1 V2  Cada ocurrencia de un símbolo no terminal corresponde al diagrama X

Diagramas Sintácticos Una producción de la forma: <S> ::= {<x>}0 corresponde al siguiente diagrama Una producción de la forma: <S> ::= <x>{<x>}0 corresponde al siguiente diagrama (mientras) (repetir) X X

Diagramas Sintácticos Pascal Identificador: Letra: A B z _ Letra Dígito Dígito: 1 9

Diagramas Sintácticos Pascal Número Entero: Dígito Número Real: Dígito

Diagramas Sintácticos Pascal Sentencia: Sentencia Compuesta: Compuesta Simple Simple ; Begin End Sentencia Simple: Invocación Asignación Decisión Iteración

Diagramas Sintácticos Pascal Sentencia Asignación: Identificador := Exp Sentencia if: If Exp B then Sentencia else Sentencia while: Exp B do Sentencia While

CBL COBOL - like Constituye una extensión de la BNF destinada a la descripción sintáctica del lenguaje Cobol.

CBL COBOL - like  x     x ... Elementos opcionales se denotan entre paréntesis cuadrados  x  Elementos alternativos se listan verticalmente entre paréntesis llave Elementos alternativos opcionales se listan verticalmente entre paréntesis cuadrados   La repetición de los elementos se indica mediante tres puntos a continuación de una ocurrencia del elemento  x ...

CBL COBOL - like <entero> ::= [ + ] <digito> ... <identificador> ::= <letra> ... <digito> <letra> - <identificador> IS NOT NUMERIC ALPHABETIC <condición>::=

1.5 Semántica

1.5 Semántica La sintáxis se refiere sólo a la forma de un programa. Está fuertemente ligada a la semántica la que da el significado al programa. Se define como un conjunto de reglas que describen el comportamiento de ese lenguaje en tiempo de ejecución ¿Qué ocurre con la ejecución de un programa ? ¿Qué sentencias se ejecutarán? ¿Qué valores se asignan a determinadas variables? ¿Qué salidas se obtienen?

Ejemplo Una expresión sintáctica, mediante BNF, como <fecha> ::= <d><d>/<d><d>/<d><d><d><d> puede tener dos interpretaciones semánticas; por ejemplo: 09/04/2002 se entiende como 9 de Abril de 2002 en Chile 4 de Septiembre de 2002 en EEUU.

Métodos formales Métodos formales de semántica: Axiomático : Cálculo del predicado (PROLOG) Denotacional : Teoría de las funciones (Lisp) Compilador : Máquina teórica Para especificar la semántica de una sentencia, lo haremos vía definición

1.6 Procesadores El diseño de compiladores es el corazón de la implementación de un lenguaje. DEFINICIÓN Es una máquina capaz de ejecutar acciones expresadas en algún lenguaje concreto, actualmente, sólo lenguaje de máquina.

Procesadores En teoría, es posible construir: Desventajas: Computadores - LISP Computadores - C, etc. Desventajas: Son máquinas poco flexibles De alto costo. Se favorece la construcción de máquinas que operen con LP de bajo nivel. TRADUCTOR

Traductores Preprocesador Compilador Intérprete Ensamblador Ligador Es un decodificador que acepta programas escritos en algún lenguaje fuente y genera programas, funcionalmente equivalentes, en algún lenguaje objeto Programa en Lenguaje Fuente Traductor Programa en Lenguaje Objeto Preprocesador Compilador Intérprete Ensamblador Ligador Cargador

Capítulo 2

Programa en extensión de LAN Pre-Procesador Traductor, cuyo lenguaje fuente es una extensión de un lenguaje de alto nivel.l lenguaje objeto es el estándar del lenguaje de alto nivel. Ej: C, C++, etc. Programa en extensión de LAN Preprocesador Programa en LAN estándar Pre-procesador Compilador Ensamblador Cargador C++ C Leng. Ensam. Código Reubicable Ejecutable

Compilador Es un traductor cuyo lenguaje fuente es un lenguaje de alto nivel lenguaje objeto es un lenguaje intermedio orientado a la máquina. código objeto Programa en Lenguaje de Alto Nivel Compilador Programa en L orientado a la Máquina Análisis lexicográfico Análisis sintáctico Generación de código Optimización

Compilador: Análisis lexicográfico Reconocimiento y clasificación de tokens básicos: Constantes Identificadores Palabras reservadas, etc Construcción de la tabla de símbolos Lista de todos los símbolos y sus atributos usados en un programa (variables, etiquetas, rutinas, etc)

Compilador: Análisis sintáctico Generación de un árbol de reconocimiento usando una representación interna de la gramática del lenguaje como guía. Expresión Término + Factor Identificador a * b c a + b*c

Compilador: Generación de código Enlace entre la sintáxis y la semántica (o representación máquina) de un lenguaje. Convierte el árbol de reconocimiento en una lista equivalente de instrucciones en lenguaje de máquina.

Compilador: Optimización Refinar el código generado para mejorar el rendimiento en tiempo de ejecución Ubicación de Construcciones semánticas redundantes Uso ineficiente de registros, etc.

Intérprete Es un procesador cuyo lenguaje concreto es un lenguaje de alto nivel. Ningún computador es capaz de ejecutar un código distinto al de máquina Se debe simular mediante software la existencia de un computador cuyo lenguaje de máquina es un lenguaje de alto nivel

Diferencias: Compilador-Intérprete El compilador : El intérprete : Sólo traduce Decodifica y ejecuta Puede procesar varias veces algunas e ignorar completamente otras instrucciones Traduce sólo una vez cada sentencia Acepta las instrucciones según su secuencialidad física Acepta las instrucciones según su secuencialidad lógica

Ensamblador Traductor, cuyo Lenguaje fuente es un lenguaje ensamblador (representación simbólica de un LM) Lenguaje objeto es el LM del computador Programa en Leng. Ensam. Ensamblador Programa en LM

Programa en L orientado a la máquina Ligador Traductor cuyo Lenguaje fuente es lenguaje orientado a la máquina Enlaza de manera conjunta código compilado independientemente en UN solo módulo de carga, libre de referencias de un módulo a otro. Lenguaje objeto es el L orientado a la máquina, pero denominado código reubicable Programa en L orientado a la máquina Linker Programa en LM código reubicable

Programa en código reubicable Cargador Traductor cuyo lenguaje fuente es lenguaje orientado a la máquina reubicable Carga el programa en diversas localidades de memoria, actualizando las tablas de datos en que indican puntos de código reubicable que serán modificados para la ejecución del programa. Lenguaje objeto es el LM del computador. Módulo ejecutable Programa Ejecutable Programa en código reubicable Loader Programa en LM código real