enumerable أمثلة على

• A language which is accepted by such a Turing machine is called a recursively enumerable language.
  اللغة التي تقبلها آلة تورنغ كهذه تسمى اللغة المعدودة بشكل متكرر.
• The first condition suggests why the term semidecidable is sometimes used; the second suggests why computably enumerable is used.
  فالحالة الأولى توضِّح لماذا يُسْتَخدَم مصطلح "قابلة للحسم جزئيًا" في بعض الأحيان؛ في حين أنّ الحالة الثانية تشير إلى سبب استخدام مصطلح "قابلة للإحصاء حسابيًا".
• The definition of a recursively enumerable set as the domain of a partial function, rather than the range of a total recursive function, is common in contemporary texts.
  إنّ تعريف المجموعة التي يمكن إحصاء تكرارها بأنّها مجال أي دالة جزئية – وليست بالأحرى نطاق أي دالة كلية متكرّرة – لهو تعريفٌ شائع في النصوص المعاصرة.
• A formal system is said to be recursive (i.e. effective) or recursively enumerable if the set of axioms and the set of inference rules are decidable sets or semidecidable sets, respectively.
  يقال إن النظام الشكلي يكون متميزًا بالاستدعاء الذاتي (أي الفاعلية) إذا كانت مجموعة البديهيات ومجموعة قواعد الاستدلال عبارة عن مجموعات يمكن تقريرها أو مجموعات شبه محددة، حسب السياق.
• The Diophantine characterizations of a recursively enumerable set, while not as straightforward or intuitive as the first definitions, were found by Yuri Matiyasevich as part of the negative solution to Hilbert's Tenth Problem.
  إن الخصائص الديوفانتية لأي مجموعة مرقّمة بشكلٍ عوديّ (أو يمكن إحصاء تكرارها)- وإن لم تكن بنفس وضوح وحدسية التعريفات السابقة- قد تم اكتشافها بواسطة يوري ماتياسيفيتش كجزء من الحل الهادم للمسألة العاشرة لهيلبرت .