11/04/2012

1
Estructuras de datos y Programacin (LSI) Estructuras de datos y Programacin (LSI)
Programacin (PI PUI)
T E ifi i d l TAD
Ing. Analia Mndez Ing. Raquel Zarco
Tema: Especificacin de los TAD
Ing. Analia Mndez Ing. Raquel Zarco
Ao: 2012
11/04/2012
2
Especificacin de los TAD
Objetivo: Describir el comportamiento del TAD.
Consta de dos partes: Consta de dos partes:
Descripcin matemtica del conjunto de datos
Descripcin de las operaciones definidas en p p
ciertos elementos de ese conjunto de datos.
P d t f Puede tener enfoques:
Informal: describe en lenguaje natural los datos y
las operaciones relacionadas las operaciones relacionadas
Formal: incluye un conjunto de axiomas que
describen las operaciones en su aspecto sintctico
y semntico
11/04/2012
3
Especificacin informal de un TAD
Consta de dos partes:
Detallar en los datos del tipo los valores que Detallar en los datos del tipo los valores que
pueden tomar
Describir las operaciones relacionndolas con los
datos
Formato: Formato:
TAD nombre del tipo (valores y su descripcin)
Operacin (argumentos)
Descripcin funcional p
11/04/2012
4
Especificacin formal de un TAD
Proporciona un conjunto de axiomas que describen el
comportamiento de todas las operaciones, debe permitir p p , p
verificar la correccin de la implementacin del TAD
Cabecera
( ) TAD nombredeltipo (valores que puede tomar)
Sintaxis: lista las operaciones mostrando los tipos de los
argumentos y el tipo del resultado a gu e tos y e tpo de esutado
Operacin(Tipo argumento) Tipo resultado
Semntica: se dan valores particulares a los argumentos
d l i bti i lt d de las operaciones y se obtiene una expresin resultado
Operacin(Valores particulares argumentos) Expresin resultado
11/04/2012
5
Especificacin formal de un TAD
Al hacer una especificacin formal siempre hay
operaciones definidas por s mismas que se consideran p p q
constructores del TAD
Mediante estos constructores se generan todos los
valores posibles del TAD valores posibles del TAD
Normalmente se elige como constructor a la operacin
que inicializa q
11/04/2012
6
Especificacin informal del TAD Arreglo
TAD Arreglo(N elementos almacenados en forma
consecutiva, todos poseen el mismo tipo de dato) , p p )
Operaciones
Arreglo()
Constructor, inicializa los elementos
setElemento( Arreglo valor posicin) setElemento( Arreglo, valor, posicin)
Asigna el valor al elemento del arreglo en la posicin indicada
getElemento(Arreglo, posicin)
Devuelve el elemento del arreglo ubicado en la posicin indicada
AgregarElementos(Arreglo)
Recorre el arreglo agregando elementos, utiliza setElemento() g g g , ()
11/04/2012
7
Especificacin informal del TAD Arreglo
Operaciones (continuacion)
Buscar(Arreglo, valor) ( g , )
Busca en el arreglo el valor ingresado e informa por pantalla si lo
encontr o no
Eliminar(Arreglo) Eliminar(Arreglo)
Elimina en el arreglo los elementos repetidos colocando cero
Mostrar(Arreglo)
Muestra todos los elementos del arreglo, utiliza getElemento()
11/04/2012
8
Especificacin formal del TAD Arreglo
TAD Arreglo(N elementos almacenados en forma
consecutiva, todos poseen el mismo tipo de dato) , p p )
Sintaxis
Arreglo() ->Arreglo
setElemento( Arreglo, valor, posicin) ->elemento del Arreglo
getElemento(Arreglo posicin) ->Elemento getElemento(Arreglo, posicin) >Elemento
AgregarElementos(Arreglo) ->Arreglo
Buscar(Arreglo, valor) ->boolean
Eliminar(Arreglo) ->Arreglo
Mostrar(Arreglo) ->nulo (void)
11/04/2012
9
Especificacin formal del TAD Arreglo
Semntica Semntica
Dados los elementos e
0
. . . e
N
del arregloA
y las posiciones i y j en el arregloA y p y j g
setElemento( A, valor, i) A[i] =valor
getElemento(A i) Devolver A[i] getElemento(A, i) Devolver A[i]
AgregarElementos(Arreglo) A[i] hacer setElemento(A,valor,i)
Buscar(Arreglo, valor) si A[i] ==valor, entonces devolver verdadero
sino devolver falso
Eliminar(Arreglo) A[i] ==A[j] hacer setElemento(A, 0, j)
Mostrar(Arreglo) A[i] hacer imprimir getElemento(A, i) ( g ) [] p g ( , )
11/04/2012
10
Bibliografia
o WEISS MARK ALLEN.
Estructuras de datos en JAVA.
Addison-Wesley- 2006.
o CAIRO, OSVALDO.
Estructuras de datos.
M G Hill 2006 McGraw-Hill - 2006.