تسمى اللغة حسابية (مرادف: متكررة ، حاسمه) إذا كان هناك دالة حسابية د والتي تكون لكل كلمة ت فوق الحرف ، د(ت)=1إذا كانت الكلمة موجودة في اللغة و د(ت)=0 إذا لم تكن الكلمة موجودة في اللغة .
A language is called computable (synonyms: recursive, decidable) if there is a computable function such that for each word over the alphabet, if the word is in the language and if the word is not in the language.