Tipos Abstractos de Datos (TAD)

Un TAD es una especificación abstracta de un tipo de datos en la que se describen:

• Los valores del tipo
• Su interfaz: las operaciones que pueden realizarse con los valores del tipo

También, un TAD es una generalización de los tipos de datos simples soportados por los lenguajes de programación; y los procedimientos son las generalizaciones de las operaciones primitivas. Ejemplo: TAD Matriz de Enteros

• Definición del tipo MATRIZ_ENTEROS: es una agrupación de números enteros ordenados por filas y columnas; el número de elementos en cada fila y cada columna es el mismo.
• La operaciones definidas para el TAD MATRIZ de ENTEROS son: suma,  multiplicación e inversa:
• Suma Matrices (A, B: MATRIZ) devuelve C: MATRIZ: se suma elemento a elemento, cada numero entero de la matriz A con el correspondiente número entero de la matriz B. Condición: A y B tienen igual número de filas y columnas.
• Multiplicar Matrices (A, B: MATRIZ) devuelve C: MATRIZ: se multiplican dos matrices que cumplen la condición ...
• Inversa Matriz (A: MATRIZ) devuelve C: MATRIZ: esta se calcula...

Con esta definición el TAD Matriz_Enteros se podría implementar en lenguaje C como sigue:

  #define NUM_FILAS 10

 #define NUM_COLUMNAS 10
 /* Definimos el TAD */

 typedef int t_matriz[NUM_FILAS][NUM_COLUMNAS];
 /* Definimos una variable */

 t_matriz M;

 /*  Caso Suma_Matrices /*  
 void Suma_Matrices (t_matriz A, t_matriz B, t_matriz C) 

 {

   int i, j;

   for (i=0; i < NUM_FILAS; i++)

       for (j=0; j < NUM_COLUMNAS; j++)

            C [i] [j] = A [i] [j] + B [i] [j] ;

 }