אוסף של פעולות על קבוצת נתונים יקרא טיפוס נתונים מופשט.

אוסף של פרוצדורות, אחת לכל פעולה, הממשות את הפעולות של טיפוס הנתונים המופשט.

נממש מחסנית באמצעות מערך(אינסופי) ומצביע $top$ לראש המחסנית:

• אתחול מבצע $top=0;$.
• הוספת איבר תתבצע $top=top+1;A[top]=x;$
• נוכל לקרוא לראש המחסנית ע"י $if (top>0)\;return A[top];$
• נוכל להוציא איבר כך: $if(top>0)\;top=top-1$.
• נוכל לבדוק האם המחסנית ריקה ע"י $top== 0$.

העקרון המנחה שלנו בבניית המחסנית הוא העקרון $LIFO$ אשר הוא Last in - first out. בעברית: אחרון שנכנס הוא הראשון לצאת.

הפעולות שניצור יהיו:

• יצירת מחסנית חדשה ריקה: $create()$.

• הוספת איבר $x$ לאוסף האיברים במחסנית $S$ תתבצע: $push(S,\;x)$.

• החזרת האיבר האחרון שהוכנס ל-$S$ ועדיין לא הוצא: $top(S)$.

• הוצאת האיבר האחרון שהוכנס ל-$S$ ועדיין לא הוצא: $pop(S)$.

• בדיקה האם המחסנית ריקה: $is\_empty(S)$ (יחזיר $true$ אם $S$ ריקה ואחרת $false$)

נגדיר את הצומת:

typedef struct node {
	DATA_TYPE info;
	struct node *next;
} NODE;

typedef NODE* STACK;

ואז הפעולות שלנו יראו כך:

void push(STACK *S, DATA_TYPE x)
{
	NODE *p;
	p = malloc(sizeof(NODE));
	p->info = x;
	p->next = *S;
	*S = p;
}

void pop(STACK *S)
{
	STACK t;
	t = (*S)->next;
	free(*S);
	*S = t;
}

נבנה את המחסנית שלנו באמצעות מערך בגודל קבוע וכאשר הוא מתמלא לחלוטין נקצה מחדש מערך נוסף ונקשר אותו ברשימה מקושרת.

כעת נבנה תור, כאשר העקרון המנחה הוא $FIFO$. כלומר, הראשון שנכנס הוא הראשון לצאת.
תכונות מבנה הנתונים שלנו יהיו:

• אתחול($create()$) יוצרת ומחזירה תור חדש שאוסף האיברים שלו ריק.
• הוספת איבר($enqueue(Q,\;x)$) מוסיפה את האיבר $x$ לסוף אוסף האיברים הנמצאים בתור $Q$.
• הוצאת איבר($dequeue(Q)$) מוציאה ומחזירה את האיבר הישן ביותר בתור.
• הצצה לראש התור($head(Q)$) מחזירה את האיבר הישן ביותר בתור ללא הוצאתו.
• בדיקת ריקנות($is\_empty(Q)$) מחזירה $true$ אם אוסף האיברים של $Q$ ריק ו-$false$ אחרת.

נממש כעת את מבנה הנתונים שלנו בכמה דרכים:

create(Q):
	f = r = 0;

head(Q):
	return Q[f];

enqueue(Q, x):
	if ((r + 1) % n != f):
		Q[r] = x;
		r = (r + 1) % n;

dequeue(Q):
	if (f != r):
		x = Q[f];
		f = (f + 1) % n;
		return x;

is_empty(Q):
	return (f == r);