If you do not find what you're looking for, you can use more accurate words.
فلتكن لغة أي : مجموعة سلاسل من المركبة من رموز . ولتكن M آلة تورنغ بحيث أنه لكل يتحقق التالي:
حينها نقول أنَّ M تقرر اللغة L , ونكتب . نسمي L لغة عودية( recursive language) إذا يوجد آلة تورنغ تقررها .