Glossaris

Problema amb llenguatge característic enumerable recursivament; problema per al qual existeix un algorisme que és capaç de detectar els elements que són solució però no necessariament els que no ho són.