TAD CADENAS

Generadoras. Todo conjunto finito puede construirse a partir del vaco,

aadiendo sucesivamente elementos de uno en uno1

a.) CadenaVacia(Cadena)
{Ojetivo! Crea una cadena vaco
"alidas! #a cadena iniciali$ada%
c.) Cadena&n'lemento(Caracter,Cadena)
{Ojetivo! (ade un car)cter a la cadena
'ntradas! &na cadena * un car)cter
"alidas! #a cadena con el nuevo caracter si no e+ista
,recondici-n! Cadena iniciali$ada%

.)(adir (Car)cter, Cadena) ! cadena
{Ojetivo! (ade un car)cter a la cadena
'ntradas! &na cadena * un car)cter
"alidas! #a cadena con el nuevo caracter si no e+ista
,recondici-n! Cadena iniciali$ada%

.odificadoras. Conjunto de operaciones constructoras no /eneradoras.

f.) &nion (Cadena1, Cadena) !cadena0
{Ojetivo! 1eali$a la operaci-n de &ni-n de cadena
'ntradas! 2os cadenas
"alidas! &na nueva cadena con los elementos comunes * no comunes
de amas cadenas
,recondici-n! Cadenas iniciali$adas%

2estructoras. 's a3uel /rupo de operaciones 3ue permiten eliminar
ejemplares del tipo de dato. 2evuelven valores del mismo tipo.

4.)'liminar (Caracter, Cadena) !Cadena
{Ojetivo! 'limina un car)cter de la cadena
'ntradas! &na cadena * un caracter
"alidas! #a mismo cadena sin el caracter si 5ste e+ista
,recondici-n! Cadena iniciali$ada%

Oservadoras. 's a3uel /rupo de operaciones con al menos un
ar/umento del tipo especificado pero 3ue devuelven valores de otro tipo.

e.)'sCadenaVacia (Cadena) ! 6ooleano
{Ojetivo! 2etermina si el cadena contiene o no elementos
'ntradas! &na cadena
"alidas! Verdadero si la cadena est) vaco, falso en caso contrario
,recondici-n! Cadena iniciali$ada%

/.),ertenece ("ucadena,Cadena) ! "ucadena
{Ojetivo! 2evuelve una sucadena contenida en la cadena
'ntradas! &na sucadena * una cadena
"alidas! 2evuelve la sucadena
,recondici-n! Cadena iniciali$ada%

d.)#on/itud(Cadena) ! 7atural
{Ojetivo! Calcula el n8mero de elementos de la cadena
'ntradas! &na cadena
"alidas! 78mero de elementos 3ue contiene la cadena
,recondici-n! Cadena iniciali$ada%
TAD POLINOMIO
Generadoras. Todo conjunto finito puede construirse a partir del vaco,
aadiendo sucesivamente elementos de uno en uno1

a.) ,olinomioCero(,olinomio)
{Ojetivo! Crea una polinomio vacio
"alidas! 'l polinomio creado%

.) (adir (Termino, ,olinomio) ! ,olinomio
{Ojetivo! (ade un termino al polinomio
'ntradas! &n termino * un polinomio
"alidas! 'l polinomio con el nuevo termino
,recondici-n! ,olinomio iniciali$ado%

.odificadoras. Conjunto de operaciones constructoras no /eneradoras.

/.) "umar(,olinomio1, ,olinomio9) !,olinomio0
{Ojetivo! "uma dos polinomios
'ntradas! 2os polinomios
"alidas! &no nuevo polinomio con la suma de los otros dos
,recondici-n! ,olinomios iniciali$ados%

4.) .ultiplicar(,olinomio1, ,olinomio9) !,olinomio0
{Ojetivo! .ultiplica dos polinomios
'ntradas! 2os polinomios
"alidas! &no nuevo polinomio con el producto de los otros dos
,recondici-n! ,olinomios iniciali$ados%
2estructoras. 's a3uel /rupo de operaciones 3ue permiten eliminar
ejemplares del tipo de dato. 2evuelven valores del mismo tipo.

c.) 'liminar (Termino, ,olinomio) !,olinomio
{Ojetivo! 'limina un termino del polinomio
'ntradas! &n termino * un polinomio
"alidas! 'l mismo polinomio sin el termino
,recondici-n! ,olinomio iniciali$ado%

Oservadoras. 's a3uel /rupo de operaciones con al menos un
ar/umento del tipo especificado pero 3ue devuelven valores de otro tipo.

j.) 's,olinomioCero (,olinomio) ! 6ooleano
{Ojetivo! 2etermina si el polinomio contiene o no terminos
'ntradas! &n polinomio
"alidas! Verdadero si el polinomio esta vacio, falso en caso contrario
,recondici-n! ,olinomio iniciali$ado%

i.) 'valuar (punto,,olinomio) ! natural
{Ojetivo! 2evuelve el valor del polinomio en un punto
'ntradas! &n punto * un polinomio
"alidas! 2evuelve el valor del polinomio en el punto
,recondici-n! ,olinomio iniciali$ado%

d.) Grado(,olinomio) ! 7atural
{Ojetivo! Calcula el /rado del polinomio
'ntradas! &n polinomio
"alidas! 78mero de terminos 3ue contiene el polinomio
,recondici-n!,olinomio iniciali$ado%
e.) '+iste (termino,/rado) ! 6ooleano
{Ojetivo! 2etermina si e+iste un termino de un cierto /rado
'ntradas! un termino * el /rado
"alidas! Verdadero si e+iste el termino de ese /rado, falso en caso
contrario
,recondici-n! ,olinomio iniciali$ado%
f.) 2evolver