اذا لم تجد ما تبحث عنه يمكنك استخدام كلمات أكثر دقة.
فلتكن لغة أي : مجموعة سلاسل من المركبة من رموز . ولتكن M آلة تورنغ بحيث أنه لكل يتحقق التالي:
حينها نقول أنَّ M تقرر اللغة L , ونكتب . نسمي L لغة عودية( recursive language) إذا يوجد آلة تورنغ تقررها .