وهكذا، تحسب اللغة فقط في حالة أنه يوجد إجراء قادر على إخبارنا بشكل صحيح عن ما إذا كانت الكلمات التعسفية موجودة في اللغة .
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.