递归可枚举集合 🎲
在可计算性理论中，一个集合是递归可枚举的，如果存在一台图灵机能够枚举它的所有元素，即按顺序生成集合中的成员。
Пока нет связанных полок. Скоро появятся.
🌐 English — Recursively enumerable set
In computability theory, a set is recursively enumerable if there exists a Turing machine that can enumerate its elements, that is, generate all members of the set one after another.
🌐 中文 — 递归可枚举集合
在可计算性理论中，一个集合是递归可枚举的，如果存在一台图灵机能够枚举它的所有元素，即按顺序生成集合中的成员。
🌐 العربية — مجموعة قابلة للتعداد تكراريًا
في نظرية الحوسبة، تكون المجموعة قابلة للتعداد تكراريًا إذا أمكن لآلة تورينج تعداد عناصرها، أي أن هناك إجراءً فعّالاً يولد عناصر المجموعة واحدًا تلو الآخر.
🌐 Español — Conjunto recursivamente enumerable
En teoría de la computabilidad, un conjunto es recursivamente enumerable si existe una máquina de Turing que enumera sus elementos, es decir, que puede generar todos los miembros del conjunto uno tras otro.
🌐 Français — Ensemble récursivement énumérable
En théorie de la calculabilité, un ensemble est récursivement énumérable s’il existe une machine de Turing capable d’énumérer ses éléments, c’est-à-dire de générer successivement tous les membres de l’ensemble.
🌐 de — Rekursiv aufzählbare Menge
In der Berechenbarkeitstheorie heißt eine Menge rekursiv aufzählbar, wenn eine Turingmaschine existiert, die ihre Elemente aufzählen kann, also die Mitglieder der Menge nacheinander erzeugen kann.
🌐 pt — Conjunto recursivamente enumerável
Na teoria da computabilidade, um conjunto é recursivamente enumerável se existe uma máquina de Turing que enumera seus elementos, ou seja, que pode gerar sucessivamente todos os membros do conjunto.
🌐 tr — Özyinelemeli olarak sayılabilir küme
Hesaplanabilirlik teorisinde, bir küme özyinelemeli olarak sayılabilir ise, elemanlarını sırayla üretebilen bir Turing makinesi vardır; yani kümenin tüm üyeleri etkin bir yöntemle numaralandırılabilir.
🌐 hi — पुनरावर्ती रूप से गणनीय समुच्चय
संगणनीयता सिद्धांत में, एक समुच्चय पुनरावर्ती रूप से गणनीय होता है यदि कोई ट्यूरिंग मशीन उसके सभी अवयवों को क्रमशः उत्पन्न कर सकती है।