Programamcion

Capítulo 17
Tipos abstractos de datos tad/objetos


EJERCICIOS RESUELTOS

17.1. .

TAD Conjunto(Especificación de elementos sin duplicidades pueden estar en cualquier
orden, se usa para representar los conjuntos matemáticos con sus operaciones).

Operaciones, existen numerosas operaciones matemáticas sobre conjuntos, algunas de ellas:

Conjuntovacio.
Crea un conjunto sinelementos
Añadir(Conjunto, elemento).
Comprueba si el elemento forma parte del conjunto, en caso negativo es añadido. La nclusión modifica al conjunto.
Retirar(Conjunto, elemento).
En el caso de que el elemento pertenezca al conjunto es eliminado de este. La
nclusión modifica al conjunto.
Pertenece(Conjunto, elemento).
Verifica si el elemento forma parte del conjunto, en cuyo casodevuelve cierto.
Esvacio(Conjunto)
Verifica si el conjunto no tiene elementos, en cuyo caso devuelve cierto.
Cardinal(Conjunto)
Devuelve el número de elementos del conjunto
Union (Conjunto, Conjunto).
Realiza la operación matemática de la unión de dos conjuntos. La operación devuelve un conjunto con los elementos comunes y no comunes a los dos argumentos.
Intersección (Conjunto,Conjunto).
Realiza la nclusión matemática de la intersección de dos conjuntos. La operación devuelve un conjunto con los elementos comunes a los dos argumentos.
nclusión (Conjunto, Conjunto).
Verifica si el primer conjunto está incluido en el conjunto especificado en el segundo argumento, en cuyo caso devuelve cierto.


17.2.

TAD Conjunto(colección de elementos sin duplicidades,pueden estar en
cualquier orden, se usa para representar los conjuntos matemáticos con
sus operaciones).

Sintaxis

*Conjuntovacio -> Conjunto
*Añadir(Conjunto, Elemento) -> Conjunto
Retirar(Conjunto, Elemento) -> Conjunto
Pertenece(Conjunto, Elemento) -> Conjunto
Esvacio(Conjunto) -> boolean
Cardinal(Conjunto) -> entero
Union(Conjunto, Conjunto)-> Conjunto
Interseccion(Conjunto, Conjunto)-> Conjunto
Incluido(Conjunto, Conjunto) -> boolean
Semántica ( e1,e2 ( Elemento y ( C,D ( Conjunto

Añadir(Añadir(C, e1), e1) ( Añadir(C, e1)
Añadir(Añadir(C, e1), e2) ( Añadir(Añadir(C, e2), e1)
Retirar(Conjuntovacio, e1) ( Conjuntovacio
Retirar(Añadir(C, e1), e2) ( si e1 = e2 entonces Retirar(C,e2)sino Añadir(Retirar(C,e2),e1)
Pertenece(Conjuntovacio, e1) ( falso
Pertenece(Añadir(C, e2), e1) ( si e1 = e2 entonces cierto
sino Pertenece(C, e1)
Esvacio(Conjuntovacio) ( cierto
Esvacio(Añadir(C, e1)) ( falso
Cardinal(Conjuntovacio) ( Cero
Cardinal(Añadir(C, e1)) ( si Pertenece(C,e1) entonces
Cardinal(C)
sino 1 +Cardinal(C)
Union(Conjuntovacio,
Conjuntovacio) ( Conjuntovacio
Union(Conjuntovacio,
Añadir(C, e1)) ( Añadir(C, e1)
Union(Añadir(C, e1), D) ( Añadir(Union(C, D), e1)
Interseccion(Conjuntovacio,
Conjuntovacio) ( Conjuntovacio
Interseccion(Añadir(C, e1),Añadir(D, e1) ( Añadir(Intereseccion (C,D), e1)
Incluido(Conjuntovacio, Conjuntovacio) ( ciertoIncluido(Añadir(C, e1), Añadir(D, e1)) ( cierto si Incluido (C, D)


17.3..

ESPECIFICACIÓN INFORMAL

TAD Cadena (Secuencia de caracteres ASCII terminada por un byte nulo).

Operaciones

Cadenavacía.
Crea una cadena vacía
Asignar (Cadena, Cadena1).
Elimina el contenido de la primera cadena si lo hubiere y lo sustituye por la segunda.
Longitud (Cadena).
Devuelve el número de caracteres dela cadena sin contar el byte final.
Buscar (Cadena, Carácter)
Devuelve la posición de la primera ocurrencia del carácter por la izquierda.
Concatenar (Cadena1, Cadena2).
Añade el contenido de Cadena2 a la cadena del primer argumento.
Extraer (Cadena, Posición, NumCaracteres).
Devuelve la subcadena del primer argumento que comienza en la posición del segundo argumento y tiene tantos...