O colecţie de articole in care doar mai devreme adăugat element poate fi accesat. De bază operaţiuni sunt adăugaţi (coada) sau enqueue şi şterge (la cap) sau dequeue. Returnează şterge elementul eliminat. , De asemenea, cunoscut ca "primul-în urgenţele" sau FIFO. Definiţie formală: este convenabil de a defini şterge sau dequeue în materie de eliminare şi o nouă operaţiune, fata. New() de operaţiuni, Adauga (v, Q), front(Q) şi remove(Q) pot fi definite cu semantica axiomatice, după cum urmează.

1. new() întoarce o coadă
2. fata (Adauga (v, new())) = v
3. elimina (Adauga (v, new())) = new()
4. fata (Adauga (v, Adauga (w, Q))) = fata (a se adăuga (w, Q))
5. elimina (Adauga (v, Adauga (w, Q))) = adăuga (v, elimina (a se adăuga (w, Q)))