Glossaris

Conjunt amb funció característica recursiva i total; conjunt per al qual existeix un algorisme que el reconeix,és a dir,que pot decidir la pertinença de qualsevol element al conjunt.