Professional Documents
Culture Documents
Departamento de Informática
EX UMBRA
IN
SOLEM
Prof. Hubert Hoffmann N.
El efecto que se produce al actuar con las operaciones sobre los mismos.
Así un TDA es una generalización de los tipos de datos primitivos de un lenguaje de
programación. Un TDA encapsula la definición del tipo y todas las operaciones con este tipo.
Los lenguajes de programación entregan al programador ciertos tipos de datos básicos o
primitivos, especificando el conjunto de valores que una variable de uno de esos tipos puede
tomar y el conjunto de operaciones realizables sobre los mismos.
El número de tipo de datos varía de un lenguaje de programación a otro. Por ejemplo, LISP puro
tiene sólo la expresión simbólica como tipo de dato, en cambio ADA tiene seis tipos de datos
básicos: enumeration, integer, real, array, record, y acces.
Los lenguajes de programación tienen sus propias reglas para sus tipos de datos. Por ejemplo, si
se declara en C/C++
unsigned int x, y;
indica que las dos variables son del tipo int y el rango de valores que pueden tomar es 0 a 65.535.
Si se realiza la operación x/y su resultado será de tipo int. En cambio si una de las variables fuese
de punto flotante el resultado será de punto flotante.
En el caso de FORTRAN77 las variables de tipo entero no se declaran, se usan las letras I, J, K,
L, M o N como inicial del nombre de la variable para indicar que una variable es del tipo entero.
Además, los tipos de datos básicos o primitivos que entregan los lenguajes de programación,
también proporcionan algún soporte para combinar datos entre sí de diferentes formas. Esto se
realiza por medio de estructuras de datos. De esta forma, los programadores son capaces de
definir sus propios tipos de datos combinando varios tipos básicos para crear tipos agregados o
compuestos, como son los arreglos y las estructuras (registros).
La instrucción n = 5+3 de un programa donde = es el operador de asignación, el contenido de la
localidad de almacenamiento dado por n será el valor 8. En cambio, si n = ’O’ + ’K’, n contendrá
la cadena OK. Cada tipo de datos no solamente es reconocido por los elementos de datos que
puede tomar, sino por las operaciones asociadas a él. A un conjunto de elementos de datos se le
conoce como dominio de datos.
Por ejemplo, en PASCAL el dominio entero se describe como: D = {0, 1, 2, ....., max}. Con el
identificador constante max, que corresponde al entero más grande. Las operaciones para este
dominio son:
406502027.doc 1 de 4 15-01-19
Universidad Técnica Federico Santa María
Departamento de Informática
EX UMBRA
IN
SOLEM
Prof. Hubert Hoffmann N.
406502027.doc 2 de 4 15-01-19
Universidad Técnica Federico Santa María
Departamento de Informática
EX UMBRA
IN
SOLEM
Prof. Hubert Hoffmann N.
0
1
2
3
4
5
6
7
8
9
10
11
12
13
14
Aunque el programador declara un arreglo de dos dimensiones, el computador tiene sólo una
memoria de una dimensión, lo que muestra en la figura. En el arreglo bidimensional se quiere
tener acceso al elemento marcado utilizando dos índices i y j, a[i][j]. En este caso con i=2 y j=0. La
transformación de estos índices es realizada aplicando la fórmula:
a[i][j] = b[i * n + j]
n es la cantidad de columnas del arreglo bidimensional. La aplicación de esta fórmula entrega el
siguiente resultado:
a[2][0] = b[6]
Este resultado corresponde al caso que los datos de un arreglo bidimensional están almacenados
por filas. Una fórmula similar se obtiene si los datos están almacenados por columnas.
Otro ejemplo para un tipo de dato abstracto es un objeto círculo para el cual es necesario
especificar que operaciones puede realizarse con él y el efecto que se produce al actuar sobre él,
por ejemplo:
float entregaRadio(circulo: c)
{Necesita: un circulo c
Entrega: el radio del círculo c}
La estructura de datos lista también puede ser tratada como un TDA. Los detalles de la
implantación de la estructura de datos lista no le interesan al programador que utiliza esta
estructura. El término tipo de datos abstracto se refiere al hecho que se acentúan las operaciones
permitidas y no los detalles de la representación de los datos en el programa, es decir se conocen
solamente las propiedades funcionales incluyendo los casos de error.
La abstracción permite simplificar el análisis y resolución de un problema separando las
características que son relevantes de aquellas que no lo son. La relevancia dependerá
fuertemente del contexto.
Hay muchas formas para especificar un TDA. Una de esas formas usa la estructura de una
función en C/C++. Un ejemplo es el TDA RACIONAL [Tenenbaum1993], que corresponde al
concepto matemático de número racional. Un número racional es un número que puede
406502027.doc 3 de 4 15-01-19
Universidad Técnica Federico Santa María
Departamento de Informática
EX UMBRA
IN
SOLEM
Prof. Hubert Hoffmann N.
expresarse como el cociente de dos enteros. Las operaciones que se definen con números
racionales son:
La suma.
La multiplicación.
La prueba de igualdad.
La especificación de este TDA en un lenguaje formal de especificación es la siguiente:
/* Definición de valores */
abstract typedef <int, int> RACIONAL;
condición RACIONAL[1] != 0;
/* Definición de operadores */
abstract RACIONAL crearRacional(a, b)
int a, b;
precondición b != 0;
postcondición crearRacional[0] == a;
crearRacional[1] == b;
abstract igualRacional(a, b)
int a, b;
postcondición igualRacional == (a[0]*b[1] == b[0]*a[1]);
El concepto TDA se puede resumir con la siguiente figura, en la cual se muestra como un TDA
especifica el QUÉ pero no el CÓMO. El CÓMO está encapsulado.
¿ QUÉ ?
Condición Condición
¿ CÓMO ?
previa posterior
406502027.doc 4 de 4 15-01-19