Ένας του οποίου σχετίζονται γλώσσα είναι ένα αναδρομικά απαριθμήσιμο γλώσσα. Ισοδύναμα, υπάρχει ένας αλγόριθμος που σταματά και εξόδους 1 για κάθε περίπτωση έχοντας μια απάντηση "Ναι", αλλά για περιπτώσεις έχοντας ένα "όχι" απάντηση επιτρέπεται είτε όχι να σταματήσει ή να σταματήσει και εξόδου 0.