说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 枚举类型定义
1)  enumeration type definition
枚举类型定义
2)  enum-type
枚举类型
3)  enumeration-literal-definition
枚举文字定义
4)  enumerated scalar type
枚举标量类型
5)  enumerated data type
枚举数据类型
6)  enumeration type representation
枚举类型表示法
补充资料:枚举


枚举
enumeration

  枚举[.口皿n日旧位”;。yMepa”。,1 算法理论的分支枚举理论(enun祀ration thoo卿)中的基本概念,而枚举理论是研究被任意构造对象(c onst几‘ti说。均ect)配数的对象类的一般性质.经常作为构造元素自然数是所讨论类的元素的配数. 用自然数来枚举非数值的对象(如逻辑公式)以及把关于这些对象的断言转化到自然数的形式算术的论域之中的想法,首先是由K.G浏el用于B汾no算术的G衣划不完全性定理(G乙deljlleOlrLP】e叻瑞tllco比m)证明之中.此后此想法用于像T园吨机(T明ngn叼ch-ine),部分递归函数(partial暇~丘mction)和递归可枚举集等算法理论中基本对象的枚举.把适当枚举赋值于这些对象类,在许多情况下可以更确切地解释这些对象的性质并使它们的一些重要的新性质更为显然.这样就产生了系统使用任意集的枚举的想法.在这想法的实现中,可以看出许多算法理论的熟知结果,实际上是枚举理论中一般规则的推论.(关于枚举理论的结构,它特殊的概念和方法的产生,以及枚举理论中指导原则的形成,见【l]一[4I).特别地在使用了范畴(categOW)理论的语言后更成功,它可使得我们用一全新观点看待枚举理论(见闻). 一个枚举集(entt比屺ra挂dset)是一个对吸二(A,,),其中A是一可数集,而,是一由自然数集N到A上的映射.映射,被称为集合A的枚举(即切m曰泊加n).若·v(n)=a,则n称为在枚举?中对象a的数(nUmber).一集合A的枚举v,归约(阁uce)到A的枚举,:(枚举的归约关系记为()是指,一个一元一般递归函数关使得vl伪)“协(f(n))对一切。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条