מילון אונליין

  חיפוש ברשת      מילון      חיפוש בפורום

 

递归可枚举集合 – מילון עברי-אנגלי

לצערנו, לא נמצאו תוצאות באנגלית עבור "递归可枚举集合"
Wikipedia 维基中文 免费百科全书הורד מילון בבילון 9 למחשב שלך
递归可枚举集合
在可计算性理论或更少称谓的递归论中，可数集合 S 被称为递归可枚举的、计算可枚举的、半可判定的或可证明的，如果

  • 有一个算法，使得在给定一个输入，典型的是一个整数、一个整数的元组或一个字符的序列的时候，最终会停机，当且仅当输入是 S 的一个元素。
或者等价的说，

  • 有"生成" S 的成员的算法。这意味着它的输出简单的是 S 成员的一个列表: s1, s2, s3, ... 如果需要它可以永远运行下去。
包含所有可递归枚举集合的复杂性类是 RE。

访问 Wikipedia.org... 网页


本文章的材料选自维基百科(R), 并有 GNU 免费文件许

递归可枚举集合 – מילון עברי-עברי

לצערנו, לא נמצאו תוצאות בעברית עבור "递归可枚举集合"
Wikipedia 维基中文 免费百科全书הורד מילון בבילון 9 למחשב שלך
递归可枚举集合
在可计算性理论或更少称谓的递归论中，可数集合 S 被称为递归可枚举的、计算可枚举的、半可判定的或可证明的，如果

  • 有一个算法，使得在给定一个输入，典型的是一个整数、一个整数的元组或一个字符的序列的时候，最终会停机，当且仅当输入是 S 的一个元素。
或者等价的说，

  • 有"生成" S 的成员的算法。这意味着它的输出简单的是 S 成员的一个列表: s1, s2, s3, ... 如果需要它可以永远运行下去。
包含所有可递归枚举集合的复杂性类是 RE。

访问 Wikipedia.org... 网页


本文章的材料选自维基百科(R), 并有 GNU 免费文件许




© 2007 מילון G בבילון אונליין - נתמך ע"י מילון בבילון 9