TAD

http://www.icmc.usp.br/~sce182/tad.html

ndice > TAD

Instituto de Cincias Matemticas de So Carlos Departamento de Computao e Estatstica SCE182 - Algoritmos e Estruturas de Dados I Profs. Resp.: Graa Pimentel e Maria Cristina

Tipo Abstrato de Dados

definido como um modelo matemtico pelo par (v,o) onde v um conjunto de valores e o um conjunto de operaes sobre esses valores. Exemplo: tipo real associado aos seus valores e operaes vlidas. Uma vez que um TAD definido e as operaes associadas so especificadas, ns podemos implementar aquele tipo de dado. A caracterstica essencial de um TAD a separao entre conceito e implementao. O termo "ocultamento de informao" utilizado para descrever esta habilidade. Ao usurio so fornecidos a descrio dos valores e o conjunto de operaes do TAD, mas a implementao invisvel e inacessvel. A separao da definio do TAD de sua implementao permite que a mudana de implementao no altere o programa que usa o TAD. O TAD compilado separadamente, e uma mudana fora somente a compilao, de novo, do mdulo envolvido (seguida de link,etc.) Exemplo: TAD dicionrio INGLS-PORTUGUS (v,o) v: conjunto de pares de palavras o: operao: insero de um novo par, remoo de um par, consulta palavra Ingls, consulta palavra Portugus, alterao palavra Portugus Pascal permite implementar TAD ? No totalmente, como fazem Mdula-2 e ADA. As UNITS em Pascal representam meio caminho andado nessa direo. Exemplo: Interface de um TAD em Mdula-2
Definition Module complex; Export Qualified complex number, define, assign1, soma ... (tipo) (operaes) Type complex number; Procedure Define (var c: complex number); Procedure Assign1 (real, imag: real): complex number; Procedure Soma (c1, c2: complex number): complex number; END complex;

H dois arquivos em Mdula-2: definio e implementao Duas possveis Estruturas de Dados para o TAD complex number:
Type complex number = POINTER TO

1 de 2

25/2/2008 19:24

TAD

http://www.icmc.usp.br/~sce182/tad.html

RECORD real: REAL imag: REAL END; = POINTER TO ARRAY [1..2] of REAL;

ndice

2 de 2

25/2/2008 19:24