Listas Estáticas como TAD em C

Disciplina: Estrutura de Dados

Tema: Tipo Abstrato de Dados LISTA – Implementação Estática em C

Pré-requisitos: Variáveis, structs, ponteiros e funções em C

1. Revisão: Tipos de Dados e Tipos Abstratos de Dados (TAD)

1.1 Tipos de Dados em C

Um tipo de dado define:

O conjunto de valores que uma variável pode armazenar
As operações válidas sobre esses valores

Exemplos em C:

Categoria	Exemplos
Tipos simples	`int`, `float`, `double`, `char`, `bool`
Tipos estruturados	`struct`, `union`, `enum`
Tipos derivados	arrays, ponteiros

// Exemplo: tipo estruturado
struct Ponto {
    int x;
    int y;
};
// Valores: qualquer par (x, y) de inteiros
// Operações: acesso a campos, atribuição, passar como parâmetro

1.2 Tipo Abstrato de Dados (TAD) – Definição Formal

"Um Tipo Abstrato de Dados (ADT) é um modelo matemático definido por seu comportamento (semântica) do ponto de vista do usuário, especificando os valores possíveis e as operações sobre esses valores, independentemente de como são implementados." [[31]]

Em notação matemática, um TAD pode ser visto como uma tupla (V, O), onde:

V = conjunto de valores possíveis
O = conjunto de operações válidas sobre V [[3]]

1.3 Definição Intuitiva

"Um TAD é um 'container' de dados que especifica o que pode ser armazenado e quais operações podem ser realizadas, escondendo como tudo isso é implementado na memória."

Ideias-chave: