Thus a language is computable just in case there is a procedure that is able to correctly tell whether arbitrary words are in the language.
Έτσι, μία γλώσσα είναι υπολογίσιμη σε περίπτωση που υπάρχει μία διαδικασία που είναι σε θέση να επιβεβαιώσει σωστά αν αυθαίρετες λέξεις ανήκουν στη γλώσσα.