Programación IIFacultad de Ciencias de la Computación

MC Beatriz Beltrán Martínez

Introducción a la abstracción de datosMC Beatriz Beltrán Martínez

Primavera 2015

Introducción a la abstracción de datos• ¿Qué es abstracción?

• La abstracción consiste en aislar un elemento de su contexto o del resto de los elementos que lo acompañan. En programación, el término se refiere al énfasis en el "¿qué hace?" más que en el "¿cómo lo hace?"

FC

C -

BU

AP

P

rimav

era

2015

BB

M

3

• La abstracción es una estrategia de resolución de problemas en la cual el programador se concentra en resolver una parte del problema ignorando completamente los detalles sobre cómo se resuelven el resto de las partes.

• En este proceso de abstracción se considera que el resto de las partes ya han sido resueltas y por lo tanto pueden servir de apoyo para resolver la parte que recibe la atención.

FC

C -

BU

AP

P

rimav

era

2015

BB

M

4

Abstracción

• La abstracción es la estrategia de programación más importante en computación. Sin abstracción las personas serían incapaces de abordar los problemas complejos.

• La pericia de un programador no está en ser veloz para escribir líneas de programa, si no que en saber descubrir, en el proceso de diseño, cuáles son las partes del problema, y luego resolver cada una de ellas abstrayéndose de las otras.

FC

C -

BU

AP

P

rimav

era

2015

BB

M

5

Abstracción

• Un ejemplo de abstracción es el hecho de que uno pueda conducir un automóvil sin ser un mecánico (lo cual probablemente no era cierto con los primeros vehículos). Al conducir, uno se abstrae de cómo funciona la combustión en el motor. Sólo se requiere saber cómo se maneja el volante y los pedales, y cuales son las reglas del tránsito.

FC

C -

BU

AP

P

rimav

era

2015

BB

M

6

Abstracción

• Dos de los tipos mas importantes de abstracción son los siguientes: División en partes: Abstracción “Tiene un”

Dividir un sistema complejo en sus partes, y dividir las partes en sus componentes puede considerar algunas de éstas de forma aislada. Con la característica de la palabra «tiene-un».

División en especialización: Abstracción “Es un” La abstracción “Es-un” toma un sistema complejo, y lo ve

como una instancia de una abstracción más general. Se caracteriza por las sentencias que tienen las palabras «Es-un».

FC

C -

BU

AP

P

rimav

era

2015

BB

M

7

Abstracción

•Un proceso de generalización mediante la reducción de información de un concepto o un fenómeno observable, típicamente para retener solo la información que es relevante a un propósito particular. •Tratar de entender el problema para separar los detalles necesarios de los que no los son.

• Tratamos de obtener nuestra propia vista abstracta, o modelo, del problema.

•Este proceso de modelado es llamado abstracción.

8

BB

MF

CC

- B

UA

P

Prim

aver

a 20

15Abstracción

Conjunto de valores que sirve de dominio de ciertas operaciones.

Dominio(int)= ZDominio(float)=R

FC

C -

BU

AP

P

rimav

era

2015

BB

M

9

Tipo de datos

•Este concepto aparece a mediados de la década de los 70's•Tipo abstracto de dato (TDA)

• conjunto de valores que lo caracteriza.• operaciones que sobre él se pueden aplicar.• propiedades que determinan inequívocamente su

comportamiento.

FC

C -

BU

AP

P

rimav

era

2015

BB

M

10

Tipos de datos abstractos

• P/E Tipo int del Lenguaje C• Valores (rango) : -32..., 32..• Operaciones: suma, resta, producto, cociente,

módulo.• Propiedades: a+b=b+a, a*0=0, etc.

FC

C -

BU

AP

P

rimav

era

2015

BB

M

11

Tipos de datos abstractos

•¿Por qué abstracto?

•Proviene de “abstracción”, y responde al hecho de que los valores de un tipo pueden ser manipulados mediante sus operaciones si se saben las propiedades que éstas cumplen, sin que sea necesario ningún conocimiento acerca de su implementación en la máquina.

FC

C -

BU

AP

P

rimav

era

2015

BB

M

12

Tipo abstracto de datos

•Los Tipos de Datos Abstractos son una solución parcial a los modelos.

•El TDA define la interface a la abstracción de datos sin especificar detalles de la implementación.

13

BB

MF

CC

- B

UA

P

Prim

aver

a 20

15Tipos de datos abstractos

Modelo

•Un modelo es una abstracción u objeto conceptual usado en la creación de una fórmula predecible o una solución.

•Un modelo define una vista abstracta del problema, se enfoca solamente en aspectos relacionados y trata de definir propiedades:

• Los datos que son afectados;• Las operaciones que son identificadas;

•El tipo de dato abstracto (TDA) es un tipo de Modelo. 14

BB

MF

CC

- B

UA

P

Prim

aver

a 20

15

Propiedades de los TDA• Con abstracción, creamos una entidad bien-definida,

la cual puede ser adecuadamente manejada.• Estas entidades definen la estructura de datos de un

conjunto de ítems o elementos. • Por ejemplo, cada empleado administrado tiene un

nombre, fecha de nacimiento, número de seguridad social …

• La estructura de datos solamente puede ser accedida con operaciones bien definidas.• Este conjunto de operaciones se llama interface y

es exportada por la entidad.• Una entidad con las propiedades justamente descritas

se llama tipo de dato abstracto (TDA). 15

BB

MF

CC

- B

UA

P

Prim

aver

a 20

15

Definición de un TDA

• TDA se caracteriza por las siguientes propiedades: 1. Exporta un tipo. 2. Exporta un conjunto de operaciones. Este

conjunto es llamado interface.3. Las Operaciones de la interface son el único

mecanismo de acceso a la estructura de datos del tipo.

4. Axiomas y precondiciones definen el dominio de la aplicación del tipo.

16

BB

MF

CC

- B

UA

P

Prim

aver

a 20

15

Objetivo de un TDA• El fin que persigue el concepto de TDA es separar el

uso del tipo de dato, de su implementación.• Para conseguir este objetivo, la definición de un TDA

se divide en dos partes:• Especificación• Implantación

17

BB

MF

CC

- B

UA

P

Prim

aver

a 20

15

Especificación Sintáctica

•Qué hace? Especificación de las entidades y sus propiedades (interface).

•Definir el nombre de las entidades abstractas.

•Definir el nombre de las operaciones indicando el dominio (argumentos) y el co-dominio o rango (los valores de retorno).

18

BB

MF

CC

- B

UA

P

Prim

aver

a 20

15

Especificación Semántica

•Cómo lo hace? Descripción de la representación del objeto (estructuras de los datos) y desarrollo de las operaciones.•Definir el significado de cada operación usando los símbolos definidos en la especificación sintáctica.•La especificación puede ser de dos tipos:

• Informal, a través del lenguaje natural.• Formal, rigurosa y fundamentada

matemáticamente. 19

BB

MF

CC

- B

UA

P

Prim

aver

a 20

15

•Además:• {P} Pre-condición: condiciones que deben cumplirse

antes de realizar la operación.• {Q} Post-condición: condiciones que se cumplen

una vez realizada la operación.

•La notación usual es {P} S {Q}, donde S es la función o procedimiento.

20

BB

MF

CC

- B

UA

P

Prim

aver

a 20

15Especificación Semántica

Especificación de un TDA• La especificación de un TDA consiste en establecer las

propiedades que lo definen.• Para describir un TDA es necesario describir:

• Los valores que pueden tomar los datos de ese tipo.• Todas las operaciones realizables sobre de ellos.

• Una especificación debe poseer 4 propiedades:• Ser precisa: Solo dice lo imprescindible.• Ser general: Es adaptable a diferentes contextos.• Ser legible: Transmite a los usuarios del tipo y al

implementador el comportamiento del tipo.• No ambigua: Evita dobles interpretaciones. 21

BB

MF

CC

- B

UA

P

Prim

aver

a 20

15

Ejemplo: TDA Bolsa• Definición: Es una colección no ordenada de elementos con repetición.• Tipo: Bolsa.• Sintaxis:

CrearBolsa () BolsaBolsaVacia BolsaBolsaLlena BolsaPoner (Bolsa, Objeto) BolsaEsVacia (Bolsa) BooleanRetirar (Bolsa, Objeto) Objeto

• Semántica: b es Bolsa, e, f son elementosCrearBolsa () = BolsaVaciaEsVacia (CrearBolsa()) = VerdaderoEsVacia (Poner(CrearBolsa(), e)) = FalsoRetirar (BolsaVacia, e) = ErrorRetirar (Poner(CrearBolsa(), f), e) = f si f=ePoner (BolsaLlena, e) = Error 22

BB

MF

CC

- B

UA

P

Prim

aver

a 20

15

Ejemplo: TDA Bolsa• Definición: Es una colección no ordenada de elementos con

repetición.• Tipo: Bolsa.• Operaciones:

Función Construir_Bolsa () bolsa{postcondición: Devuelve una bolsa vacía}Función Poner (B: bolsa; e: elemento) bolsa{precondición: La bolsa no esta llena}{postcondición: Añade el elemento e a la bolsa}Función EsVacia (B: bolsa) boolean{postcondición: Devuelve verdadero si la bolsa no tiene elementos, falso en otro caso}Función Retirar (B: bolsa; e: elemento) elemento{precondición: La bolsa no esta vacía}{postcondición: Elimina el elemento e de la bolsa B} 23

BB

MF

CC

- B

UA

P

Prim

aver

a 20

15

Ejemplo: TDA Fracción

24

BB

MF

CC

- B

UA

P

Prim

aver

a 20

15

• Definición: Una fracción es un par ordenado de enteros siempre y cuando la segunda componente sea distinta de cero.

• Tipo: Fracción.• Tipo abstracto Racional: (e(1), e(2)).• Operaciones:

Función ConstruirFraccion (a,b: Entero) Fracción{precondición: b ≠ 0}{postcondición: e(1) = a AND e(2) = b}Función Numerador (r: Fracción) entero{postcondición: Numerador = e(1)}Función Denominador (r: Fracción) entero{postcondición: Denomidador = e(2)}Función Multiplicar (r1, r2: Fracción) Fracción{Inicio multiplicar = contruirFraccion (Numerador(r1) * Numerador(r2), Denominador(r1) * Denominador(r2)) Fin}

Ejemplo TDA bool• Definición: Tipo booleano • Tipo: bool• Sintaxis:

cierto, falso bool~ (bool) boolV(bool, bool) boolΛ (bool, bool) bool

• Semántica:~ cierto = falsob V cierto = ciertob V falso = bb Λ cierto = bb Λ falso = falso

25

BB

MF

CC

- B

UA

P

Prim

aver

a 20

15