English  

كتب turing machine languages

اذا لم تجد ما تبحث عنه يمكنك استخدام كلمات أكثر دقة.

عرض المزيد

لغات آلة تورنغ (معلومة)


فلتكن لغة أي : مجموعة سلاسل من المركبة من رموز . ولتكن M آلة تورنغ بحيث أنه لكل يتحقق التالي:

  • إذا حينها :
  • إذا حينها :

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

المصدر: wikipedia.org