Estructura de Datos.

1. Realizar una especificación informal del TAD Conjunto con las operaciones: ConjuntoVacio, Esvacio, Añadir un elemento al conjunto, Pertenece un elemento al conjunto, Retirar un elemento del conjunto, Union de dos conjuntos, Intersección de dos conjuntos e Inclusión de conjuntos.
TAD Conjunto(colección de elementos sin duplicidades, pueden estar en cualquier orden, se usa para representar los conjuntos matemáticos con sus operaciones).
Operaciones, se ponen las operaciones básicas sobre conjuntos:
Conjuntovacio.
Crea un conjunto sin elementos.
Esvacio(Conjunto).
Verifica si el conjunto no tiene elementos, en cuyo caso devuelve cierto.
Añadir(Conjunto, elemento).
Comprueba si el elemento forma parte del …ver más…

Antecesor(Natural) _ >Natural
Diferencia(Natural,Natural) _ >Natural
Menor(Natural,Natural) _ >Natural
4. Diseñar el TAD Bolsa como una colección de elementos no ordenados y que pueden estar repetidos. Las operaciones del tipo abstracto son CrearBolsa, Añadir un elemento, BolsaVacia (verifica si tiene elemento), Dentro (verifica si un elementos pertenece a la bolsa), Cuantos (determina el número de veces que se encuentra un elemento), Union y Total. Realizar la especificación informal y formal considerando como constructores las operaciones CrearBolsa y Añadir.
TAD Bolsa colección de elementos no ordenados y que pueden estar repetidos).
Operaciones, se ponen las operaciones básicas sobre Bolsa:
CearBolsa
Crea una bolsa sin elementos.
AñadirUnElemento(Bolsa,Elemento)
Añade un elemento a la bolsa.
BolsaVacia(Bolsa)
Verifica si la bolsa posee elementos.
Dentro(Bolsa,Elemento)
Verifica si un elemento pertenece a la bolsa.
Cuantos(Bolsa,Elemento)
Cuenta el numero de veces ue se repite un elemento en la bolsa.
Union(Bolsa,Bolsa)
Realiza la unión de bolsas.
Total.
Determina el total.
Especificacion Formal.
TAD Bolsa colección de elementos no ordenados y que pueden estar repetidos).
Sintaxis:
*CrearBolsa() -> Bolsa
*Añadir(Bolsa,elemento) ->Bolsa
BolsaVacia(Bolsa) ->Boolean
Dentro(Bolsa,elemento) ->Boolean
Cuantos(Bolsa,elemento) ->int.
Union(Bolsa,Bolsa) ->Bolsa
Total(Bolsa,Bolsa)