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.
Тако је језик за израчунавање само у случају да постоји процедура која је у стању да правилно каже да ли су произвољне речи у језику.