tesis


INTRODUCCIÓN
En el mundo de la programación existen diversos lenguajes que se han ido creando con el paso del tiempo y que se han perfeccionado debido a las necesidades de los programadores de la época a la que pertenecen. Los primeros lenguajes de programación eran de tipo lineal, ya que un programa se recorría desde un punto marcado como inicio hasta llegar a un punto fin. Con el tiempo sefueron creando nuevos lenguajes y en nuestros días los más utilizados son los llamados “orientados a objetos”.

HISTORIA
El concepto de tipo de dato abstracto (tda, abstract data type), fue propuesto por primera vez hacia 1974 por John Guttag y otros, pero no fue hasta 1975 que por primera vez liskov lo propuso para el lenguaje clu.
El lenguaje turbo pascal fue determinante para la comúnaceptación de los tdas con la introducción de las units, si bien estas no cumplen con las características básicas de un tipo de dato abstracto como por ejemplo la encapsulación de los datos. El lenguaje Ada pudo implementar exitosamente los tdas con sus packages. Vale recordar que estos dos últimos lenguajes soportan formalmente la programación modular.








DEFINICIÓN
Con mucha frecuenciase utilizan los términos tda y abstracción de datos de manera equivalente, y esto es debido a la similitud e interdependencia de ambos. Sin embargo, es importante definir por separado los dos conceptos.
La abstracción de datos consiste en ocultar las características de un objeto y obviarlas, de manera que solamente utilizamos el nombre del objeto en nuestro programa. Esto es similar a unasituación de la vida cotidiana. Cuando yo digo la palabra “perro”, usted no necesita que yo le diga lo que hace el perro. Usted ya sabe la forma que tiene un perro y también sabe que los perros ladran. De manera que yo abstraigo todas las características de todos los perros en un solo término, al cual llamo “perro”. A esto se le llama ‘abstracción’ y es un concepto muy útil en la programación, ya que unusuario no necesita mencionar todas las características y funciones de un objeto cada vez que éste se utiliza, sino que son declaradas por separado en el programa y simplemente se utiliza el término abstracto (“perro”) para mencionarlo.
En el ejemplo anterior, “perro” es un tipo de dato abstracto y todo el proceso de definirlo, implementarlo y mencionarlo es a lo que llamamos abstracción dedatos.

SEPARACIÓN DE LA INTERFAZ E IMPLEMENTACIÓN
Cuando se usa en un programa de computación, un tda es representado por su interfaz, la cual sirve como cubierta a la correspondiente implementación. la idea es que los usuarios de un tda tengan que preocuparse sólo por la interfaz, pero no por la implementación, ya que esta puede ir cambiando con el tiempo y, si no existiera encapsulación, afectara los programas que usan el dato. Esto se basa en el concepto de ocultación de información, una protección para el programa de decisiones de diseño que son objeto de cambio.
La solidez de un tda reposa en la idea de que la implementación está escondida al usuario. Solo la interfaz es pública. Esto significa que el tda puede ser implementado de diferentes formas, pero mientras se mantengaconsistente con la interfaz, los programas que lo usan no se ven afectados.


De forma similar, un tda árbol binario de búsqueda puede ser representado de muchas maneras: árbol binario, árbol avl, árbol rojo-negro, arreglo, etc. a pesar de la implementación un árbol binario siempre tiene las mismas operaciones (insertar, eliminar, encontrar, etc.) caracterización[editar]
Un tda está caracterizado porun conjunto de operaciones (funciones) al cual se denomina usualmente como interfaz pública y representa el comportamiento del tda; mientras que la implementación como la parte privada del tda está oculta al programa cliente que lo usa. todos los lenguajes de alto nivel tienen predefinidos tda; que son los tipos denominados simples y las estructuras predefinidas, y estos tienen sus interfaces...