datos abstractos

Tipo de Datos Abstracto - TDA
Una función es una generalización del concepto operador para ser aplicado a operaciones generales definidas por un programador. Una función puede ser aplicada a diferentes datos. Con funciones se logra una ocultación de información, denominado encapsulación. Un concepto similar es la abstracción de datos. Un tipo de datos abstracto – TDA define una nueva clase deobjeto o concepto que puede manejarse con independencia de la estructura de datos para representarlo.
Para ello es necesario especificar:
Las operaciones que se puede realizar con los objetos.
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óndel 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ólola 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 laoperació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 loslenguajes 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 deun 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, enPASCAL 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:
Operadores unarios: {+, -}
Operadores binarios: {+, -, /,* ,div, mod}.
Esto es una abstracción matemática que define los números enteros y sus propiedades. De esta forma definido se espera que los números enterosasociados a sus operaciones se comporten de manera apropiada en cualquier computador en la que se ejecute un programa.
Los TDAs son generalizaciones de los tipos de datos básicos y de las operaciones primitivas. Además, un TDA encapsula cierto tipo de datos en el sentido que es posible poner la definición del tipo y todas las operaciones con ese tipo en una sección de un programa.
Cada conjuntode operaciones define un TDA distinto. Por ejemplo, se puede definir un tipo de datos abstracto CONJUNTO [Aho1988] con el cual se pueden definir las siguientes operaciones:
ANULA(A) Hace vacío al conjunto A
UNION(A, B, C) Construye el conjunto C a partir de la unión de los conjuntos A y B.
TAMAÑO(A) Entrega la cantidad de elementos del conjunto A.
Existen muchas estructuras de datos que se...